Crate binius_core

Source
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.