Type Definition ark_poly_commit::ipa_pc::VerifierKey[−][src]

type VerifierKey<G> = CommitterKey<G>;

Expand description

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

Trait Implementations

impl<G: AffineCurve> PCVerifierKey for VerifierKey<G>[src]

fn max_degree(&self) -> usize[src]

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

fn supported_degree(&self) -> usize[src]

Outputs the maximum degree supported by the verifier key.