Georg Wiese comments

Results 4 comments of


                                            Georg Wiese

Plonk: Add solidity verifier

Thanks for the review! The integration test fails now, as it did before this PR. I'll try to fix tests in the next PR, which is about splitting the `zokrates_bellman`...

Use of key/value paired objects in the options list

Hi all, I'm not sure whether I'll find time any time soon to work on the PR, unfortunately. Feel free to take this as a base and work on it,...

Circuit is satisfied but plonk proof verification fails

Debugging the program, all I can see is that the [very last verification check](https://github.com/matter-labs/bellman/blob/09474aa6fcb200a7da96f46495452fae92503ed8/src/plonk/better_cs/verifier.rs#L408-L413) fails, not sure how to go from there. @shamatar Could you point me to a minimal...

`Circuit::configure()` forces you to know the circuit configuration at compile time

So it turns out that this is fixed in the PSE fork by https://github.com/privacy-scaling-explorations/halo2/pull/168: One can activate the `circuit-params` feature, which adds two functions to the `Circuit` trait: ```rust fn...