Struct ConstraintSystemPadded 

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

A constraint system with blinding and power-of-two padding.

Wraps a ConstraintSystem, adds dummy constraints for blinding, and pads the total number of constraints to a power of two (required by the prover’s multilinear extension protocol).

Implementations

impl<F: Field> ConstraintSystemPadded<F>

pub fn new(cs: ConstraintSystem<F>, blinding_info: BlindingInfo) -> Self

Create a new padded constraint system with blinding.

This:

1. Adds dummy multiplication constraints for blinding (3 wires each: A * B = C)
2. Pads the total constraint count to a power of two with one * one = one constraints
3. Calculates the log_size based on witness requirements
4. Computes mask buffer dimensions for the ZK mulcheck mask polynomial

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 const fn one_wire(&self) -> WitnessIndex

pub const fn log_precommit(&self) -> u32

pub const fn precommit_size(&self) -> usize

pub const fn log_private(&self) -> u32

pub const fn private_size(&self) -> usize

pub const fn blinding_info(&self) -> &BlindingInfo

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

pub const fn mask_dims(&self) -> (usize, usize)

Returns the mask buffer dimensions (m_n, m_d) for the ZK mulcheck mask polynomial.

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

Trait Implementations

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

fn clone(&self) -> ConstraintSystemPadded<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 ConstraintSystemPadded<F>

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

Formats the value using the given formatter.