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 word::Word;
pub use constraint_system::*;
Modules§
- constraint_
system - Constraint system and related definitions.
- consts
- Protocol-level constants for the Binius64 constraint system.
- error
- Hosts error definitions for the core crate.
- verify
- Routines for checking whether the constraint system is satisfied with the given value vector.
- word
Word
related definitions.