Trait ark_poly_commit::data_structures::PCVerifierKey

pub trait PCVerifierKey: Clone + Debug + CanonicalSerialize + CanonicalDeserialize {
    // Required methods
    fn max_degree(&self) -> usize;
    fn supported_degree(&self) -> usize;
}

Defines the minimal interface of verifier keys for any polynomial commitment scheme.

Required Methods

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.

Implementors

impl<E: Pairing> PCVerifierKey for ark_poly_commit::marlin::marlin_pc::VerifierKey<E>

impl<E: Pairing> PCVerifierKey for ark_poly_commit::marlin::marlin_pst13_pc::VerifierKey<E>

impl<E: Pairing> PCVerifierKey for ark_poly_commit::sonic_pc::VerifierKey<E>

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