Enum PairCol

pub enum PairCol {
    Preprocessed(usize),
    Main(usize),
}

A reference to a column in a PAIR (Preprocessed AIR).

Variants

Preprocessed(usize)

A preprocessed (fixed) column at the specified index.

These columns contain values that are determined during the setup phase and remain constant across all proof generations.

Main(usize)

A main trace column at the specified index.

These columns contain witness values that vary between different executions and are filled during trace generation.

Implementations

impl PairCol

pub const fn get<T: Copy>(&self, preprocessed: &[T], main: &[T]) -> T

Retrieves the value corresponding to the appropriate column.

Arguments

• preprocessed - Slice containing preprocessed row
• main - Slice containing main trace row

Panics

Panics if the column index is out of bounds for the respective rows.

Trait Implementations

impl Clone for PairCol

fn clone(&self) -> PairCol

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PairCol

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

Formats the value using the given formatter.

impl Copy for PairCol