Type Definition ark_poly_commit::ipa_pc::VerifierKey

type VerifierKey<G> = CommitterKey<G>;

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

Trait Implementations

impl<G: AffineCurve> 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.