Type Alias VerifierSRS

pub type VerifierSRS = SRS<Vesta>;

Aliased Type

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

Fields

g: Vec<GroupAffine<VestaParameters>>

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

h: GroupAffine<VestaParameters>

A group element used for blinding commitments

lagrange_bases: HashMap<usize, Vec<PolyComm<GroupAffine<VestaParameters>>>>

Commitments to Lagrange bases, per domain size