Expand description
Core datatypes common to prover and verifier of Binius64.
Most imporantly it hosts the definition of a ConstraintSystem.
Re-exports§
pub use error::ConstraintSystemError;pub use error::ConstraintViolation;pub use error::VerificationError;pub use error::VerificationM4Error;pub use word::Word;pub use constraint_system::*;
Modules§
- constraint_
system - Constraint system and related definitions.
- error
- Hosts error definitions for the core crate.
- word
Wordrelated definitions.