Struct ivc::expr_eval::GenericEvalEnv

pub struct GenericEvalEnv<Curve: KimchiCurve, const N_COL: usize, const N_FSEL: usize, Eval: CombinableEvals<Curve::ScalarField>> {
    pub ext_witness: ExtendedWitness<Curve, PlonkishWitnessGeneric<N_COL, N_FSEL, Curve::ScalarField, Eval>>,
    pub alphas: Alphas<Curve::ScalarField>,
    pub challenges: [Curve::ScalarField; 3],
    pub error_vec: Eval,
    pub u: Curve::ScalarField,
}

Minimal environment needed for evaluating constraints.

Fields

ext_witness: ExtendedWitness<Curve, PlonkishWitnessGeneric<N_COL, N_FSEL, Curve::ScalarField, Eval>>

alphas: Alphas<Curve::ScalarField>

challenges: [Curve::ScalarField; 3]

error_vec: Eval

u: Curve::ScalarField

The scalar u that is used to homogenize the polynomials

Implementations

impl<Curve: KimchiCurve, const N_COL: usize, const N_FSEL: usize, Evals: CombinableEvals<Curve::ScalarField>> GenericEvalEnv<Curve, N_COL, N_FSEL, Evals>

pub fn process_extended_folding_column<FC: FoldingConfig<Column = GenericColumn, Curve = Curve, Challenge = PlonkishChallenge>>( &self, col: &ExtendedFoldingColumn<FC> ) -> EvalLeaf<'_, Curve::ScalarField>

pub fn eval_naive_fexpr<'a, FC: FoldingConfig<Column = GenericColumn, Curve = Curve, Challenge = PlonkishChallenge>>( &'a self, exp: &FoldingExp<FC> ) -> EvalLeaf<'a, Curve::ScalarField>

Evaluates the expression in the provided side

pub fn eval_naive_fcompat<'a, FC: FoldingConfig<Column = GenericColumn, Curve = Curve, Challenge = PlonkishChallenge>>( &'a self, exp: &FoldingCompatibleExpr<FC> ) -> EvalLeaf<'a, Curve::ScalarField>

For FoldingCompatibleExp