Module halo2

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.