Ivo Kubjas
Ivo Kubjas
Thanks for the reply and looking into it. In that case there are definitely drawbacks for using subversion-resistant setup. As there already are known setups for KZG SRS which imo...
Thanks for the clarification. I understood at first that there is overhead for every proof creation and verification. But if there is only a one-time cost per setup, then it...
Hmm, there may be several aspects here which may be related, but would have to debug further to figure out the issue: * commitment info is quite recent addition to...
@mattstam - looking at the failing test `TestProveAndVerify`, I see that the proving and verification key is deserialized from file. For which circuit the keys have been generated? Is there...
But in this case, how does the proving key and verification key depend on the circuit? In TestSetup ```go // Compile the circuit var myCircuit Circuit ccs, err := frontend.Compile(bn254.ID.ScalarField(),...
All in all, I do not understand the MPC setup code very well. But something seems to be off here, maybe the proving key is generated for some particular circuit?...
Would it be possible to check if #1372 fixes the issue?
Yeah, we completely agree - docs.gnark.io is stale. The main issue there is that it is difficult to keep the documentation site and gnark consistent with each other, there are...
Your're right, currently we do not have MarshalSolidity method for Groth16 proofs. It would definitely be useful to add. Meanwhile, please have a look how the proof is exported for...
Implemented in #1063. See additional remarks in #1094.