
New Agora topic: Formal verification of zero knowledge gadgets
As you likely know, zero knowledge proofs are coming to Tezos.
Here are some links:
https://forum.tezosagora.org/t/private-assets/2123
But how can you be sure that the R1CS gadgets are correct? R1...