Type Alias VerifierSRS

pub type VerifierSRS = SRS<Affine<VestaParameters>>;

Aliased Type

pub struct VerifierSRS {
    pub g: Vec<Affine<VestaParameters>>,
    pub h: Affine<VestaParameters>,
    pub lagrange_bases: HashMapCache<usize, Vec<PolyComm<Affine<VestaParameters>>>>,
}

Fields

g: Vec<Affine<VestaParameters>>

The vector of group elements for committing to polynomials in coefficient form.

h: Affine<VestaParameters>

A group element used for blinding commitments

lagrange_bases: HashMapCache<usize, Vec<PolyComm<Affine<VestaParameters>>>>

Commitments to Lagrange bases, per domain size