Struct ConstraintSystem 

pub struct ConstraintSystem<F: Field> { /* private fields */ }

A constraint system with multiplication constraints over witness indices.

Contains multiplication constraints of the form A * B = C where A, B, C are operands (XOR combinations of witness values). Constraints directly reference WitnessIndex positions in the witness array.

This struct does not guarantee power-of-two constraint counts or witness size.

Implementations

impl<F: Field> ConstraintSystem<F>

pub const fn new( constants: Vec<F>, n_inout: u32, n_precommit: u32, n_private: u32, log_public: u32, mul_constraints: Vec<MulConstraint<WitnessIndex>>, one_wire_index: u32, ) -> Self

Create a new constraint system.

pub fn constants(&self) -> &[F]

pub const fn n_inout(&self) -> u32

pub const fn n_precommit(&self) -> u32

pub const fn n_private(&self) -> u32

pub const fn log_public(&self) -> u32

pub const fn n_public(&self) -> u32

pub fn mul_constraints(&self) -> &[MulConstraint<WitnessIndex>]

pub const fn one_wire(&self) -> WitnessIndex

pub fn validate(&self, witness: &Witness<F>)

Validate that a witness satisfies all multiplication constraints.

Trait Implementations

impl<F: Clone + Field> Clone for ConstraintSystem<F>

fn clone(&self) -> ConstraintSystem<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for ConstraintSystem<F>

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

Formats the value using the given formatter.