Struct WitnessGenerator 

pub struct WitnessGenerator<F: Field, LayoutRef = Arc<WitnessLayout<F>>> { /* private fields */ }

Generates witness values by evaluating circuit operations with concrete field elements.

Implements CircuitBuilder with WitnessWire as the wire type. Operations like add and mul compute actual field values and populate the witness array. Captures the first constraint violation as an error for debugging.

LayoutRef is any pointer to a WitnessLayout, chosen by the caller:

• &WitnessLayout<F> — a zero-cost borrow, tied to the borrow’s lifetime.
• Arc<WitnessLayout<F>> — shared and 'static (the default).

A 'static generator is what lets its CircuitElems live in a 'static transparent closure. Sharing an Arc gives that without cloning the layout, so the wrapper channels use it.

Implementations

impl<F: Field, LayoutRef: Deref<Target = WitnessLayout<F>>> WitnessGenerator<F, LayoutRef>

pub fn new(layout: LayoutRef) -> Self

pub fn write_inout(&mut self, wire: ConstraintWire, value: F) -> WitnessWire<F>

pub fn write_precommit( &mut self, wire: ConstraintWire, value: F, ) -> WitnessWire<F>

pub fn build(self) -> Result<Witness<F>, WitnessError>

pub const fn error(&self) -> Option<&Backtrace>

Trait Implementations

impl<F: Field, LayoutRef: Deref<Target = WitnessLayout<F>>> CircuitBuilder for WitnessGenerator<F, LayoutRef>

type Wire = WitnessWire<F>

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, LayoutRef: Debug> Debug for WitnessGenerator<F, LayoutRef>

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

Formats the value using the given formatter.