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>
impl<G: AffineRepr> PCVerifierKey for VerifierKey<G>
source§fn max_degree(&self) -> usize
fn max_degree(&self) -> usize
Outputs the maximum degree supported by the universal parameters
Self
was derived from.source§fn supported_degree(&self) -> usize
fn supported_degree(&self) -> usize
Outputs the maximum degree supported by the verifier key.