Type Alias VerifierIndex

Source

pub type VerifierIndex<F> = VerifierIndex<<F as FieldWitness>::OtherCurve, OpeningProof<<F as FieldWitness>::OtherCurve>>;

Aliased Type§

pub struct VerifierIndex<F> {Show 27 fields
    pub domain: Radix2EvaluationDomain<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>,
    pub max_poly_size: usize,
    pub zk_rows: u64,
    pub srs: Arc<<OpeningProof<<F as FieldWitness>::OtherCurve> as OpenProof<<F as FieldWitness>::OtherCurve>>::SRS>,
    pub public: usize,
    pub prev_challenges: usize,
    pub sigma_comm: [PolyComm<<F as FieldWitness>::OtherCurve>; 7],
    pub coefficients_comm: [PolyComm<<F as FieldWitness>::OtherCurve>; 15],
    pub generic_comm: PolyComm<<F as FieldWitness>::OtherCurve>,
    pub psm_comm: PolyComm<<F as FieldWitness>::OtherCurve>,
    pub complete_add_comm: PolyComm<<F as FieldWitness>::OtherCurve>,
    pub mul_comm: PolyComm<<F as FieldWitness>::OtherCurve>,
    pub emul_comm: PolyComm<<F as FieldWitness>::OtherCurve>,
    pub endomul_scalar_comm: PolyComm<<F as FieldWitness>::OtherCurve>,
    pub range_check0_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>,
    pub range_check1_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>,
    pub foreign_field_add_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>,
    pub foreign_field_mul_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>,
    pub xor_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>,
    pub rot_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>,
    pub shift: [<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField; 7],
    pub permutation_vanishing_polynomial_m: OnceCell<DensePolynomial<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>>,
    pub w: OnceCell<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>,
    pub endo: <<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField,
    pub lookup_index: Option<LookupVerifierIndex<<F as FieldWitness>::OtherCurve>>,
    pub linearization: Linearization<Vec<PolishToken<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>>>,
    pub powers_of_alpha: Alphas<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>,
}

Fields§

§domain: Radix2EvaluationDomain<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>

evaluation domain

§max_poly_size: usize

maximal size of polynomial section

§zk_rows: u64

the number of randomized rows to achieve zero knowledge

§srs: Arc<<OpeningProof<<F as FieldWitness>::OtherCurve> as OpenProof<<F as FieldWitness>::OtherCurve>>::SRS>

polynomial commitment keys

§public: usize

number of public inputs

§prev_challenges: usize

number of previous evaluation challenges, for recursive proving

§sigma_comm: [PolyComm<<F as FieldWitness>::OtherCurve>; 7]

permutation commitment array

§coefficients_comm: [PolyComm<<F as FieldWitness>::OtherCurve>; 15]

coefficient commitment array

§generic_comm: PolyComm<<F as FieldWitness>::OtherCurve>

coefficient commitment array

§psm_comm: PolyComm<<F as FieldWitness>::OtherCurve>

poseidon constraint selector polynomial commitment

§complete_add_comm: PolyComm<<F as FieldWitness>::OtherCurve>

EC addition selector polynomial commitment

§mul_comm: PolyComm<<F as FieldWitness>::OtherCurve>

EC variable base scalar multiplication selector polynomial commitment

§emul_comm: PolyComm<<F as FieldWitness>::OtherCurve>

endoscalar multiplication selector polynomial commitment

§endomul_scalar_comm: PolyComm<<F as FieldWitness>::OtherCurve>

endoscalar multiplication scalar computation selector polynomial commitment

§range_check0_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>

RangeCheck0 polynomial commitments

§range_check1_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>

RangeCheck1 polynomial commitments

§foreign_field_add_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>

Foreign field addition gates polynomial commitments

§foreign_field_mul_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>

Foreign field multiplication gates polynomial commitments

§xor_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>

Xor commitments

§rot_comm: Option<PolyComm<<F as FieldWitness>::OtherCurve>>

Rot commitments

§shift: [<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField; 7]

wire coordinate shifts

§

permutation_vanishing_polynomial_m: OnceCell<DensePolynomial<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>>

zero-knowledge polynomial

§w: OnceCell<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>

domain offset for zero-knowledge

§endo: <<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField

endoscalar coefficient

§lookup_index: Option<LookupVerifierIndex<<F as FieldWitness>::OtherCurve>>§linearization: Linearization<Vec<PolishToken<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>>>§powers_of_alpha: Alphas<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>

The mapping between powers of alpha and constraints

Trait Implementations§

Source §

impl From<&VerifierIndexCached> for VerifierIndex<Fq>