Struct BenchmarkAir 

pub struct BenchmarkAir {
    pub num_columns: usize,
    pub total_constraints: usize,
    pub total_interaction_pairs: usize,
}

Fields

num_columns: usize

total_constraints: usize

Total boolean constraints in this AIR (spread across columns round-robin).

total_interaction_pairs: usize

Total send+receive pairs in this AIR (spread across columns round-robin).

Trait Implementations

impl<AB: AirBuilder + InteractionBuilder> Air<AB> for BenchmarkAir

fn eval(&self, builder: &mut AB)

Evaluate all AIR constraints using the provided builder.

impl<F> BaseAir<F> for BenchmarkAir

fn width(&self) -> usize

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

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

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

impl<F> BaseAirWithPublicValues<F> for BenchmarkAir

fn num_public_values(&self) -> usize

Return the number of expected public values.

impl Clone for BenchmarkAir

fn clone(&self) -> BenchmarkAir

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BenchmarkAir

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

Formats the value using the given formatter.

impl<F> PartitionedBaseAir<F> for BenchmarkAir

fn cached_main_widths(&self) -> Vec<usize>

By default, an AIR has no cached main trace.

fn common_main_width(&self) -> usize

By default, an AIR has only one private main trace.