Module prover 

Structs

Halo2ProvingMetadata

Serializable metadata that accompanies a Halo2 proving key.

Halo2ProvingPinning

A proving key together with the metadata needed to reconstruct prover circuits.

StaticVerifierProof

Output of StaticVerifierCircuit::prove.

Type Aliases

Halo2Params

KZG parameters for the Halo2 BN256 proving system.