Expand description
Interface between the circuit and prover/verifier
Structs§
- MixState
- Poly
ExtStep Def - Protocol
Info - A protocol info string for the proof system and circuits. Used to seed the Fiat-Shamir transcript and provide domain separation between different protocol and circuit versions.
Enums§
Constants§
- PROOF_
SYSTEM_ INFO - Versioned info string for the proof system.
- REGISTER_
GROUP_ ACCUM - REGISTER_
GROUP_ CODE - REGISTER_
GROUP_ DATA
Traits§
- Circuit
Core Def - traits implemented by generated rust code used in both prover and verifier
- Circuit
Info - PolyExt
- PolyFp
- Taps
Provider