snark_verifier::system

Module halo2

Help

Expand description

halo2_proofs proof system

Modules§

strategy: Verifier strategy
transcript: Transcripts implemented with both halo2_proofs::transcript and crate::util::transcript.

Structs§

Config: Configuration for converting a VerifyingKey of halo2_proofs into PlonkProtocol.

Functions§

compile: Convert a VerifyingKey of halo2_proofs into PlonkProtocol.
transcript_initial_state: Returns the transcript initial state of the VerifyingKey. Roundabout way to do it because VerifyingKey doesn’t expose the field.