Struct WitnessIndex

pub struct WitnessIndex<'cs, 'alloc, P = PackedType<OptimalUnderlier, B128>>
where
    P: PackedField,
    P::Scalar: TowerField,
{ /* private fields */ }

Holds witness column data for all tables in a constraint system, indexed by column ID.

The struct has two lifetimes: 'cs is the lifetime of the constraint system, and 'alloc is the lifetime of the bump allocator. The reason these must be separate is that the witness index gets converted into a multilinear extension index, which maintains references to the data allocated by the allocator, but does not need to maintain a reference to the constraint system, which can then be dropped.

Implementations

impl<'cs, 'alloc, F: TowerField, P: PackedField<Scalar = F>> WitnessIndex<'cs, 'alloc, P>

pub fn new(cs: &'cs ConstraintSystem<F>, allocator: &'alloc Bump) -> Self

Creates and allocates the witness index for a constraint system.

pub fn init_table( &mut self, table_id: TableId, size: usize, ) -> Result<&mut TableWitnessIndex<'cs, 'alloc, P>, Error>

pub fn get_table( &mut self, table_id: TableId, ) -> Option<&mut TableWitnessIndex<'cs, 'alloc, P>>

pub fn fill_table_sequential<T: TableFiller<P>>( &mut self, filler: &T, rows: &[T::Event], ) -> Result<(), Error>

pub fn fill_table_parallel<T>( &mut self, filler: &T, rows: &[T::Event], ) -> Result<(), Error>

where T: TableFiller<P> + Sync, T::Event: Sync,

pub fn table_sizes(&self) -> Vec<usize>

Returns the sizes of all tables in the witness, indexed by table ID.

pub fn into_multilinear_extension_index( self, ) -> MultilinearExtensionIndex<'alloc, P>

where P: PackedExtension<B1> + PackedExtension<B8> + PackedExtension<B16> + PackedExtension<B32> + PackedExtension<B64> + PackedExtension<B128>,

Trait Implementations

impl<'cs, 'alloc, P> Debug for WitnessIndex<'cs, 'alloc, P>

where P: PackedField + Debug, P::Scalar: TowerField + Debug,

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

Formats the value using the given formatter.