Struct ConstraintBuilder 

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

Builds constraint systems symbolically by recording operations as constraints.

Implements CircuitBuilder with ConstraintWire as the wire type. Operations like add and mul allocate new wires and record constraints without evaluating values.

Implementations

impl<F: Field> ConstraintBuilder<F>

pub fn new() -> Self

pub const fn alloc_inout(&mut self) -> ConstraintWire

pub const fn alloc_precommit(&mut self) -> ConstraintWire

pub fn build(self) -> ConstraintSystemIR<F>

Trait Implementations

impl<F: Field> CircuitBuilder for ConstraintBuilder<F>

type Wire = ConstraintWire

type Field = F

fn assert_zero(&mut self, wire: Self::Wire)

fn assert_eq(&mut self, lhs: Self::Wire, rhs: Self::Wire)

fn constant(&mut self, val: F) -> Self::Wire

fn add(&mut self, lhs: Self::Wire, rhs: Self::Wire) -> Self::Wire

fn mul(&mut self, lhs: Self::Wire, rhs: Self::Wire) -> Self::Wire

fn hint<H: Fn([F; IN]) -> [F; OUT], const IN: usize, const OUT: usize>( &mut self, inputs: [Self::Wire; IN], _f: H, ) -> [Self::Wire; OUT]

fn hint_varsize<H: FnOnce(&[F]) -> Vec<F>>( &mut self, inputs: &[Self::Wire], out_len: usize, _f: H, ) -> Vec<Self::Wire>

Runtime-arity variant of hint: takes a slice of input wires and an out_len, with a closure mapping the input values to out_len output values. Emits no constraints; the outputs are public-derivable (allocated in the derived segment) iff every input is, matching hint. The closure is invoked at most once — value-generating builders run it, the symbolic builder skips it.

fn sub(&mut self, lhs: Self::Wire, rhs: Self::Wire) -> Self::Wire

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

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

Formats the value using the given formatter.