Modules§
Structs§
- DslOperations
- Fr
- This represents an element of $\mathbb{F}_r$ where
- Halo2
Prover - A prover that can generate proofs with the Halo2
- Halo2
Proving Metadata - Halo2
Proving Pinning - Necessary metadata to prove a Halo2 circuit Attention: Deserializer of this struct is not generic. It only works for verifier/wrapper circuit.
- RawEvm
Proof