Module halo2

Modules

• testing_utils
• utils
• verifier
• wrapper

Structs

• DslOperations
• EvmProof
• Halo2Prover
  A prover that can generate proofs with the Halo2
• Halo2ProvingMetadata
• Halo2ProvingPinning
  Necessary metadata to prove a Halo2 circuit Attention: Deserializer of this struct is not generic. It only works for verifier/wrapper circuit.

Type Aliases

• Halo2Params