Struct ConstraintSystem

pub struct ConstraintSystem {
    pub value_vec_layout: ValueVecLayout,
    pub constants: Vec<Word>,
    pub and_constraints: Vec<AndConstraint>,
    pub mul_constraints: Vec<MulConstraint>,
}

The ConstraintSystem is the core data structure in Binius64 that defines the computational constraints to be proven in zero-knowledge. It represents a system of equations over 64-bit words that must be satisfied by a valid values vector ValueVec.

Clone

While this type is cloneable it may be expensive to do so since the constraint systems often can have millions of constraints.

Fields

value_vec_layout: ValueVecLayout

Description of the value vector layout expected by this constraint system.

constants: Vec<Word>

The constants that this constraint system defines.

Those constants will be going to be available for constraints in the value vector. Those are known to both prover and verifier.

and_constraints: Vec<AndConstraint>

List of AND constraints that must be satisfied by the values vector.

mul_constraints: Vec<MulConstraint>

List of MUL constraints that must be satisfied by the values vector.

Implementations

impl ConstraintSystem

pub const SERIALIZATION_VERSION: u32 = 2u32

Serialization format version for compatibility checking

impl ConstraintSystem

pub fn new( constants: Vec<Word>, value_vec_layout: ValueVecLayout, and_constraints: Vec<AndConstraint>, mul_constraints: Vec<MulConstraint>, ) -> Self

Creates a new constraint system.

pub fn validate(&self) -> Result<(), ConstraintSystemError>

Ensures that this constraint system is well-formed and ready for proving.

Specifically checks that:

• the value vec layout is valid.
• every shifted value index is canonical.
• referenced values indices are in the range.
• constraints do not reference values in the padding area.
• shifts amounts are valid.

pub fn validate_and_prepare(&mut self) -> Result<(), ConstraintSystemError>

Validates and prepares this constraint system for proving/verifying.

This function performs the following:

1. Validates the value vector layout (including public input checks)
2. Validates the constraints.
3. Pads the AND and MUL constraints to the next po2 size

pub fn n_and_constraints(&self) -> usize

Returns the number of AND constraints in the system.

pub fn n_mul_constraints(&self) -> usize

Returns the number of MUL constraints in the system.

pub fn value_vec_len(&self) -> usize

The total length of the ValueVec expected by this constraint system.

pub fn new_value_vec(&self) -> ValueVec

Create a new ValueVec with the size expected by this constraint system.

Trait Implementations

impl Clone for ConstraintSystem

fn clone(&self) -> ConstraintSystem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ConstraintSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl DeserializeBytes for ConstraintSystem

fn deserialize(read_buf: impl Buf) -> Result<Self, SerializationError>

where Self: Sized,

impl SerializeBytes for ConstraintSystem

fn serialize(&self, write_buf: impl BufMut) -> Result<(), SerializationError>