Struct EvalHelper 

pub struct EvalHelper<'a, F> {
    pub constraints_dag: &'a SymbolicExpressionDag<F>,
    pub interactions: Vec<SymbolicInteraction<F>>,
    pub public_values: Vec<F>,
    pub preprocessed_trace: Option<StridedColMajorMatrixView<'a, F>>,
    pub needs_next: bool,
    pub constraint_degree: u8,
}

For a single AIR

Fields

constraints_dag: &'a SymbolicExpressionDag<F>

AIR constraints

interactions: Vec<SymbolicInteraction<F>>

Interactions

public_values: Vec<F>

preprocessed_trace: Option<StridedColMajorMatrixView<'a, F>>

needs_next: bool

constraint_degree: u8

Implementations

impl<'a, F: TwoAdicField> EvalHelper<'a, F>

pub fn view_mats<PB>( &self, ctx: &'a AirProvingContext<PB>, ) -> Vec<(StridedColMajorMatrixView<'a, F>, bool)>

where PB: ProverBackend<Val = F, Matrix = ColMajorMatrix<F>>,

Returns list of (ref to column-major matrix, is_rot) pairs in the order:

• (if has_preprocessed) (preprocessed, false), (preprocessed, true)
• (cached_0, false), (cached_0, true), …, (cached_{m-1}, false), (cached_{m-1}, true)
• (common, false), (common, true)

Note: currently every matrix returns both non-rotated and rotated versions. This will change in the future for perf.

pub fn has_preprocessed(&self) -> bool

pub fn acc_constraints<FF: ExtensionField<F>, EF: ExtensionField<FF>>( &self, row_parts: &[Vec<FF>], lambda_pows: &[EF], ) -> EF

See Self::evaluator.

pub fn acc_interactions<FF, EF>( &self, row_parts: &[Vec<FF>], beta_pows: &[EF], eq_3bs: &[EF], ) -> [EF; 2]

where FF: ExtensionField<F>, EF: ExtensionField<FF> + ExtensionField<F>,

See Self::evaluator.

Returns sum of ordered list of interactions, weighted by eq(\xi_3, b_{T,\hat\sigma}) terms as (numerator, denominator) pair.

Note: the denominator does not include the alpha term.

pub fn eval_interactions<FF, EF>( &self, row_parts: &[Vec<FF>], beta_pows: &[EF], ) -> Vec<(FF, EF)>

where FF: ExtensionField<F>, EF: ExtensionField<FF> + ExtensionField<F>,