Struct SyntheticAir 

pub struct SyntheticAir { /* private fields */ }

A parametric AIR that matches the prover-observable shape of a captured AIR record. See module docs for the construction trick.

Implementations

impl SyntheticAir

pub fn from_shape(s: &SyntheticShape) -> Self

pub fn width(&self) -> usize

pub fn num_constraints(&self) -> usize

pub fn num_interactions(&self) -> usize

pub fn generate_trace<F: Field>(&self, log_height: usize) -> RowMajorMatrix<F>

Generate an all-zeros trace at the given log_height. Width matches self.width(). Trace is trivially valid (every constraint and interaction count multiplies by column 0 = 0).

Trait Implementations

impl<AB: InteractionBuilder> Air<AB> for SyntheticAir

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

Evaluate all AIR constraints using the provided builder.

impl<F: Field> BaseAir<F> for SyntheticAir

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: Field> BaseAirWithPublicValues<F> for SyntheticAir

fn num_public_values(&self) -> usize

Return the number of expected public values.

impl Clone for SyntheticAir

fn clone(&self) -> SyntheticAir

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SyntheticAir

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

Formats the value using the given formatter.

impl<F: Field> PartitionedBaseAir<F> for SyntheticAir

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.