Expand description
This module contains type aliases and custom Error definition for
convenient proof generation.
Constants§
- EXTENSION_
DEGREE - The extension degree of the field used in the proof system.
Type Aliases§
- AllRecursive
Circuits - A type alias for the set of preprocessed circuits necessary to generate succinct block proofs.
- Config
- The recursive circuit configuration to be used to shrink and aggregate proofs.
- Field
- The base field on which statements are being proven.
- Hash
- Hasher
- Plonky
Proof Intern - A type alias for proofs generated by the zkEVM.
- Verifier
Data - A type alias for the verifier data necessary to verify succinct block
proofs.
While the prover state
AllRecursiveCircuitscan also verify proofs, thisVerifierDatais much lighter, allowing anyone to verify block proofs, regardless of the underlying hardware.