SimpleEvalEnv

ivc::expr_eval

Type Alias SimpleEvalEnv 

Source 
pub type SimpleEvalEnv<Curve, const N_COL: usize, const N_FSEL: usize> = GenericEvalEnv<Curve, N_COL, N_FSEL, Evaluations<<Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<Curve as AffineRepr>::ScalarField>>>;

Aliased Type§

pub struct SimpleEvalEnv<Curve, const N_COL: usize, const N_FSEL: usize> {
    pub ext_witness: ExtendedWitness<Curve, PlonkishWitnessGeneric<N_COL, N_FSEL, <Curve as AffineRepr>::ScalarField, Evaluations<<Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<Curve as AffineRepr>::ScalarField>>>>,
    pub alphas: Alphas<<Curve as AffineRepr>::ScalarField>,
    pub challenges: [<Curve as AffineRepr>::ScalarField; 3],
    pub error_vec: Evaluations<<Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<Curve as AffineRepr>::ScalarField>>,
    pub u: <Curve as AffineRepr>::ScalarField,
}

Fields§

§ext_witness: ExtendedWitness<Curve, PlonkishWitnessGeneric<N_COL, N_FSEL, <Curve as AffineRepr>::ScalarField, Evaluations<<Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<Curve as AffineRepr>::ScalarField>>>>§alphas: Alphas<<Curve as AffineRepr>::ScalarField>§challenges: [<Curve as AffineRepr>::ScalarField; 3]§error_vec: Evaluations<<Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<Curve as AffineRepr>::ScalarField>>§u: <Curve as AffineRepr>::ScalarField

The scalar u that is used to homogenize the polynomials