Struct Witness 

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

Owns the source tables together with the stacked committed polynomial.

Implementations

impl<F: Field> Witness<F>

pub fn new(tables: Vec<Table<F>>, folding: usize) -> Self

Stacks the given tables into a single committed polynomial.

Algorithm

• Sort tables by arity ascending; reverse-iterate to place largest first.
• Each column occupies one slot of size 2^arity.
• Selector bit-width equals the stacked arity minus the table arity.
• Total stacked size is rounded up to the next power of two.
• Unused tail entries stay zero.

Panics

• Table list must be non-empty.
• Tables below the preprocessing depth are zero-padded to that depth.

pub fn new_interleaved(tables: Vec<Table<F>>, folding: usize) -> Self

Stacks the given tables with local variables before selector variables.

Layout

Current new stores each column contiguously as:

    P(selector_bits, local_bits)

This constructor stores each column strided by selector bits as:

    P(local_bits, selector_bits)

Local table evaluation order is preserved. Only selector bitstrings are reversed from the prefix-oriented planner so mixed-arity selector codes remain suffix-disjoint.

Panics

• Table list must be non-empty.
• Tables below the preprocessing depth are zero-padded to that depth.

pub const fn num_variables(&self) -> usize

Returns the number of variables of the stacked polynomial.

pub fn table_shapes(&self) -> Vec<TableShape>

Returns verifier table shapes after witness normalization/padding.

pub const fn poly(&self) -> &Poly<F>

Returns the stacked committed polynomial.

Trait Implementations

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

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

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

Formats the value using the given formatter.