Type Definition ark_poly_commit::ipa_pc::VerifierKey

source · 
pub type VerifierKey<G> = CommitterKey<G>;
Expand description

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

Trait Implementations§

source§

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

source§

fn max_degree(&self) -> usize

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

fn supported_degree(&self) -> usize

Outputs the maximum degree supported by the verifier key.