search

zcash / halo2

The Halo2 zero-knowledge proving system
https://zcash.github.io/halo2/
Other
729 stars 496 forks source link

Implement the recursive proof verifier #569

Open str4d opened 2 years ago

str4d commented 2 years ago

This will be the equivalent of halo2_proofs::plonk::verifier, but for the recursive proofs generated by halo2.

ebfull commented 2 years ago

The way this verifier will work is it will read from a proof string via some transcript interface and look almost identical to the verifier outside the circuit in terms of logic, except obviously it'll be doing circuit synthesis instead.