Struct miden_air::ProcessorAir

pub struct ProcessorAir { /* private fields */ }

TODO: add docs

Implementations

impl ProcessorAir

pub fn last_step(&self) -> usize

Returns last step of the execution trace.

Trait Implementations

impl Air for ProcessorAir

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

Returns a set of periodic columns for the ProcessorAir.

type BaseField = BaseElement

Base field for the computation described by this AIR. STARK protocol for this computation may be executed in the base field, or in an extension of the base fields as specified by ProofOptions struct.

type PublicInputs = PublicInputs

A type defining shape of public inputs for the computation described by this protocol. This could be any type as long as it can be serialized into a sequence of field elements.

fn new( trace_info: TraceInfo, pub_inputs: PublicInputs, options: WinterProofOptions ) -> Self

Returns new instance of AIR for this computation instantiated from the provided parameters, which have the following meaning:

fn get_assertions(&self) -> Vec<Assertion<Felt>>

Returns a set of assertions against a concrete execution trace of this computation.

fn get_aux_assertions<E: FieldElement<BaseField = Self::BaseField>>( &self, aux_rand_elements: &AuxTraceRandElements<E> ) -> Vec<Assertion<E>>

Returns a set of assertions placed against auxiliary trace segments.

fn evaluate_transition<E: FieldElement<BaseField = Felt>>( &self, frame: &EvaluationFrame<E>, periodic_values: &[E], result: &mut [E] )

Evaluates transition constraints over the specified evaluation frame.

fn evaluate_aux_transition<F, E>( &self, main_frame: &EvaluationFrame<F>, aux_frame: &EvaluationFrame<E>, _periodic_values: &[F], aux_rand_elements: &AuxTraceRandElements<E>, result: &mut [E] )

where F: FieldElement<BaseField = Felt>, E: FieldElement<BaseField = Felt> + ExtensionOf<F>,

Evaluates transition constraints over the specified evaluation frames for the main and auxiliary trace segments.

fn context(&self) -> &AirContext<Felt>

Returns context for this instance of the computation.

fn get_periodic_column_polys(&self) -> Vec<Vec<Self::BaseField>>

Returns polynomial for all periodic columns.

fn get_transition_constraints<E>( &self, composition_coefficients: &[E] ) -> TransitionConstraints<E>

where E: FieldElement<BaseField = Self::BaseField>,

Groups transition constraints together by their degree.

fn get_boundary_constraints<E>( &self, aux_rand_elements: &AuxTraceRandElements<E>, composition_coefficients: &[E] ) -> BoundaryConstraints<E>

where E: FieldElement<BaseField = Self::BaseField>,

Convert assertions returned from get_assertions() and get_aux_assertions() methods into boundary constraints.

fn options(&self) -> &ProofOptions

Returns options which specify STARK protocol parameters for an instance of the computation described by this AIR.

fn trace_info(&self) -> &TraceInfo

Returns info of the execution trace for an instance of the computation described by this AIR.

fn trace_length(&self) -> usize

Returns length of the execution trace for an instance of the computation described by this AIR.

fn trace_layout(&self) -> &TraceLayout

Returns a description of how execution trace columns are arranged into segments for an instance of a computation described by this AIR.

fn trace_poly_degree(&self) -> usize

Returns degree of trace polynomials for an instance of the computation described by this AIR.

fn trace_domain_generator(&self) -> Self::BaseField

Returns the generator of the trace domain for an instance of the computation described by this AIR.

fn ce_blowup_factor(&self) -> usize

Returns constraint evaluation domain blowup factor for the computation described by this AIR.

fn ce_domain_size(&self) -> usize

Returns size of the constraint evaluation domain.

fn lde_blowup_factor(&self) -> usize

Returns low-degree extension domain blowup factor for the computation described by this AIR. This is guaranteed to be a power of two, and is always either equal to or greater than ce_blowup_factor.

fn lde_domain_size(&self) -> usize

Returns the size of the low-degree extension domain.

fn lde_domain_generator(&self) -> Self::BaseField

Returns the generator of the low-degree extension domain for an instance of the computation described by this AIR.

fn domain_offset(&self) -> Self::BaseField

Returns the offset by which the domain for low-degree extension is shifted in relation to the execution trace domain.

fn get_aux_trace_segment_random_elements<E, R>( &self, aux_segment_idx: usize, public_coin: &mut R ) -> Result<Vec<E>, RandomCoinError>

where E: FieldElement<BaseField = Self::BaseField>, R: RandomCoin<BaseField = Self::BaseField>,

Returns a vector of field elements required for construction of an auxiliary trace segment with the specified index.

fn get_constraint_composition_coefficients<E, R>( &self, public_coin: &mut R ) -> Result<ConstraintCompositionCoefficients<E>, RandomCoinError>

where E: FieldElement<BaseField = Self::BaseField>, R: RandomCoin<BaseField = Self::BaseField>,

Returns coefficients needed for random linear combination during construction of constraint composition polynomial.

fn get_deep_composition_coefficients<E, R>( &self, public_coin: &mut R ) -> Result<DeepCompositionCoefficients<E>, RandomCoinError>

where E: FieldElement<BaseField = Self::BaseField>, R: RandomCoin<BaseField = Self::BaseField>,

Returns coefficients needed for random linear combinations during construction of DEEP composition polynomial.