Struct WitnessFiller 

pub struct WitnessFiller<'a> { /* private fields */ }

A helper struct for filling witness values in a circuit.

Implementations

impl WitnessFiller<'_>

pub fn into_value_vec(self) -> ValueVec

Destruct the witness filler and extracts the underlying value vector.

pub const fn value_vec(&self) -> &ValueVec

Returns a reference to the underlying value vector.

pub fn pack_bytes_le(&mut self, wires: &[Wire], bytes: &[u8])

Populates the given wires from bytes as little-endian packed 64-bit words.

If bytes is not a multiple of 8, the last word is zero-padded. Any wires past those needed to hold bytes are filled with Word::ZERO.

Panics

Panics if bytes.len() exceeds wires.len() * 8.

Trait Implementations

impl Index<Wire> for WitnessFiller<'_>

fn index(&self, wire: Wire) -> &Self::Output

Panics

Panics if the wire’s storage is a pooled scratch slot shared with another value.

type Output = Word

The returned type after indexing.

impl IndexMut<Wire> for WitnessFiller<'_>

fn index_mut(&mut self, wire: Wire) -> &mut Self::Output

Panics

Panics if the wire’s storage is a pooled scratch slot shared with another value.