Expand description
Verifier implementation
Re-exports§
pub use folder::GenericVerifierConstraintFolder;
Modules§
- constraints
- folder
- Constraint folder
Structs§
- Multi
Trace Stark Verifier - Verifies a partitioned proof of multi-matrix AIRs.
Verifier implementation
pub use folder::GenericVerifierConstraintFolder;