Type Alias VerifierKey

pub type VerifierKey<G> = CommitterKey<G>;

VerifierKey is used to check evaluation proofs for a given commitment.

Aliased Type

struct VerifierKey<G> {
    pub comm_key: Vec<G>,
    pub h: G,
    pub s: G,
    pub max_degree: usize,
}

Fields

comm_key: Vec<G>

The key used to commit to polynomials.

h: G

A random group generator.

s: G

A random group generator that is to be used to make a commitment hiding.

max_degree: usize

The maximum degree supported by the parameters this key was derived from.

Trait Implementations

impl<G: AffineRepr> PCVerifierKey for VerifierKey<G>

fn max_degree(&self) -> usize

Outputs the maximum degree supported by the universal parameters Self was derived from.

fn supported_degree(&self) -> usize

Outputs the maximum degree supported by the verifier key.