Struct ProcessorAir 

pub struct ProcessorAir;

Miden VM Processor AIR implementation.

Auxiliary trace building is handled separately via AuxBuilder.

Public-input-dependent boundary checks are performed in LiftedAir::reduced_aux_values. Aux columns are NOT initialized with boundary terms – they start at identity. The verifier independently computes expected boundary messages from variable length public values and checks them against the final column values.

Trait Implementations

impl BaseAir<Felt> for ProcessorAir

fn width(&self) -> usize

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

fn num_public_values(&self) -> usize

Return the number of expected public values.

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

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

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

Which main trace columns have their next row accessed by this AIR’s constraints.

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

Which preprocessed trace columns have their next row accessed by this AIR’s constraints.

fn num_constraints(&self) -> Option<usize>

Optional hint for the number of constraints in this AIR.

fn max_constraint_degree(&self) -> Option<usize>

Optional hint for the maximum constraint degree in this AIR.

impl Clone for ProcessorAir

fn clone(&self) -> ProcessorAir

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProcessorAir

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

Formats the value using the given formatter.

impl Default for ProcessorAir

fn default() -> ProcessorAir

Returns the “default value” for a type.

impl<EF> LiftedAir<Felt, EF> for ProcessorAir

where EF: ExtensionField<Felt>,

fn num_var_len_public_inputs(&self) -> usize

Returns the number of variable-length public input slices.

The Miden VM AIR uses a single variable-length slice that contains all kernel procedure digests as concatenated field elements (each digest is WORD_SIZE elements). The verifier framework uses this count to validate that the correct number of slices is provided.

fn periodic_columns(&self) -> Vec<Vec<Felt>>

Return the periodic table data: a list of columns, each a Vec<F> of evaluations.

fn num_randomness(&self) -> usize

Number of extension-field challenges required for the auxiliary trace.

fn aux_width(&self) -> usize

Number of extension-field columns in the auxiliary trace.

fn num_aux_values(&self) -> usize

Number of extension-field aux values committed to the Fiat-Shamir transcript.

fn reduced_aux_values( &self, aux_values: &[EF], challenges: &[EF], public_values: &[Felt], var_len_public_inputs: &[&[Felt]], ) -> Result<ReducedAuxValues<EF>, Box<dyn Error + Send + Sync>>

where EF: ExtensionField<Felt>,

Reduce this AIR’s aux values to a ReducedAuxValues contribution.

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

where AB: LiftedAirBuilder<F = Felt>,

Evaluate all AIR constraints using the provided builder.

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

Return a matrix with all periodic columns extended to a common height.

fn air_layout(&self) -> AirLayout

Return the AirLayout describing this AIR’s dimensions.

fn validate(&self) -> Result<(), AirValidationError>

Validate that this AIR satisfies the LiftedAir contract.

fn log_quotient_degree(&self) -> usize

where Self: Sized,

Log₂ of the number of quotient chunks, inferred from symbolic constraint analysis.

fn constraint_degree(&self) -> usize

where Self: Sized,

Number of quotient chunks: 2^log_quotient_degree().

fn is_valid_builder<AB>(&self, builder: &AB) -> Result<(), AirValidationError>

where AB: LiftedAirBuilder<F = F>,

Check that a builder’s dimensions match this AIR.

impl Copy for ProcessorAir