VerifierSRS

snark

Type Alias VerifierSRS 

Source 
pub type VerifierSRS = SRS<Vesta>;

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