Trait BaseAir

pub trait BaseAir<F>: Sync {
    // Required method
    fn width(&self) -> usize;

    // Provided method
    fn preprocessed_trace(&self) -> Option<RowMajorMatrix<F>> { ... }
}

The underlying structure of an AIR.

Required Methods

fn width(&self) -> usize

The number of columns (a.k.a. registers) in this AIR.

Provided Methods

fn preprocessed_trace(&self) -> Option<RowMajorMatrix<F>>

Return an optional preprocessed trace matrix to be included in the prover’s trace.

Implementors