Trait BaseAir

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

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

An AIR (algebraic intermediate representation).

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>>

Implementors