Struct TableWitnessSegment

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

A vertical segment of a table witness index.

This provides runtime-checked access to slices of the witness columns. This is used separately from TableWitnessIndex so that witness population can be parallelized over segments.

Implementations

impl<'a, P> TableWitnessSegment<'a, P>

where P: PackedField, P::Scalar: TowerField,

pub fn log_size(&self) -> usize

impl<'a, F: TowerField, P: PackedField<Scalar = F>> TableWitnessSegment<'a, P>

pub fn get<FSub: TowerField, const V: usize>( &self, col: Col<FSub, V>, ) -> Result<Ref<'_, [PackedSubfield<P, FSub>]>, Error>

where P: PackedExtension<FSub>,

pub fn get_mut<FSub: TowerField, const V: usize>( &self, col: Col<FSub, V>, ) -> Result<RefMut<'_, [PackedSubfield<P, FSub>]>, Error>

where P: PackedExtension<FSub>, F: ExtensionField<FSub>,

pub fn get_scalars<FSub: TowerField, const V: usize>( &self, col: Col<FSub, V>, ) -> Result<Ref<'_, [FSub]>, Error>

where P: PackedExtension<FSub>, F: ExtensionField<FSub>, PackedSubfield<P, FSub>: PackedFieldIndexable,

pub fn get_scalars_mut<FSub: TowerField, const V: usize>( &self, col: Col<FSub, V>, ) -> Result<RefMut<'_, [FSub]>, Error>

where P: PackedExtension<FSub>, F: ExtensionField<FSub>, PackedSubfield<P, FSub>: PackedFieldIndexable,

pub fn get_as<T: Pod, FSub: TowerField, const V: usize>( &self, col: Col<FSub, V>, ) -> Result<Ref<'_, [T]>, Error>

where P: PackedExtension<FSub> + PackedFieldIndexable, F: ExtensionField<FSub> + Pod,

pub fn get_mut_as<T: Pod, FSub: TowerField, const V: usize>( &self, col: Col<FSub, V>, ) -> Result<RefMut<'_, [T]>, Error>

where P: PackedExtension<FSub> + PackedFieldIndexable, F: ExtensionField<FSub> + Pod,

pub fn eval_expr<FSub: TowerField, const V: usize>( &self, expr: &Expr<FSub, V>, ) -> Result<impl Iterator<Item = PackedSubfield<P, FSub>>, Error>

where P: PackedExtension<FSub>,

Evaluate an expression over columns that are assumed to be already populated.

This function evaluates an expression over the columns in the segment and returns an iterator over the packed elements. This borrows the columns segments it reads from, so they must not be borrowed mutably elsewhere (which is possible due to runtime-checked column borrowing).

pub fn size(&self) -> usize

Trait Implementations

impl<'a, P> Debug for TableWitnessSegment<'a, P>

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

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

Formats the value using the given formatter.