Type Alias VerifierIndex

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

Aliased Type

pub struct VerifierIndex {

    pub domain: Radix2EvaluationDomain<Fp256<FqParameters>>,
    pub max_poly_size: usize,
    pub zk_rows: u64,
    pub srs: Arc<SRS<GroupAffine<PallasParameters>>>,
    pub public: usize,
    pub prev_challenges: usize,
    pub sigma_comm: [PolyComm<GroupAffine<PallasParameters>>; 7],
    pub coefficients_comm: [PolyComm<GroupAffine<PallasParameters>>; 15],
    pub generic_comm: PolyComm<GroupAffine<PallasParameters>>,
    pub psm_comm: PolyComm<GroupAffine<PallasParameters>>,
    pub complete_add_comm: PolyComm<GroupAffine<PallasParameters>>,
    pub mul_comm: PolyComm<GroupAffine<PallasParameters>>,
    pub emul_comm: PolyComm<GroupAffine<PallasParameters>>,
    pub endomul_scalar_comm: PolyComm<GroupAffine<PallasParameters>>,
    pub range_check0_comm: Option<PolyComm<GroupAffine<PallasParameters>>>,
    pub range_check1_comm: Option<PolyComm<GroupAffine<PallasParameters>>>,
    pub foreign_field_add_comm: Option<PolyComm<GroupAffine<PallasParameters>>>,
    pub foreign_field_mul_comm: Option<PolyComm<GroupAffine<PallasParameters>>>,
    pub xor_comm: Option<PolyComm<GroupAffine<PallasParameters>>>,
    pub rot_comm: Option<PolyComm<GroupAffine<PallasParameters>>>,
    pub shift: [Fp256<FqParameters>; 7],
    pub permutation_vanishing_polynomial_m: OnceCell<DensePolynomial<Fp256<FqParameters>>>,
    pub w: OnceCell<Fp256<FqParameters>>,
    pub endo: Fp256<FqParameters>,
    pub lookup_index: Option<LookupVerifierIndex<GroupAffine<PallasParameters>>>,
    pub linearization: Linearization<Vec<PolishToken<Fp256<FqParameters>>>>,
    pub powers_of_alpha: Alphas<Fp256<FqParameters>>,
}

Fields

domain: Radix2EvaluationDomain<Fp256<FqParameters>>

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<SRS<GroupAffine<PallasParameters>>>

polynomial commitment keys

public: usize

number of public inputs

prev_challenges: usize

number of previous evaluation challenges, for recursive proving

sigma_comm: [PolyComm<GroupAffine<PallasParameters>>; 7]

permutation commitment array

coefficients_comm: [PolyComm<GroupAffine<PallasParameters>>; 15]

coefficient commitment array

generic_comm: PolyComm<GroupAffine<PallasParameters>>

coefficient commitment array

psm_comm: PolyComm<GroupAffine<PallasParameters>>

poseidon constraint selector polynomial commitment

complete_add_comm: PolyComm<GroupAffine<PallasParameters>>

EC addition selector polynomial commitment

mul_comm: PolyComm<GroupAffine<PallasParameters>>

EC variable base scalar multiplication selector polynomial commitment

emul_comm: PolyComm<GroupAffine<PallasParameters>>

endoscalar multiplication selector polynomial commitment

endomul_scalar_comm: PolyComm<GroupAffine<PallasParameters>>

endoscalar multiplication scalar computation selector polynomial commitment

range_check0_comm: Option<PolyComm<GroupAffine<PallasParameters>>>

RangeCheck0 polynomial commitments

range_check1_comm: Option<PolyComm<GroupAffine<PallasParameters>>>

RangeCheck1 polynomial commitments

foreign_field_add_comm: Option<PolyComm<GroupAffine<PallasParameters>>>

Foreign field addition gates polynomial commitments

foreign_field_mul_comm: Option<PolyComm<GroupAffine<PallasParameters>>>

Foreign field multiplication gates polynomial commitments

xor_comm: Option<PolyComm<GroupAffine<PallasParameters>>>

Xor commitments

rot_comm: Option<PolyComm<GroupAffine<PallasParameters>>>

Rot commitments

shift: [Fp256<FqParameters>; 7]

wire coordinate shifts

permutation_vanishing_polynomial_m: OnceCell<DensePolynomial<Fp256<FqParameters>>>

zero-knowledge polynomial

w: OnceCell<Fp256<FqParameters>>

domain offset for zero-knowledge

endo: Fp256<FqParameters>

endoscalar coefficient

lookup_index: Option<LookupVerifierIndex<GroupAffine<PallasParameters>>>

linearization: Linearization<Vec<PolishToken<Fp256<FqParameters>>>>

powers_of_alpha: Alphas<Fp256<FqParameters>>

The mapping between powers of alpha and constraints