Trait 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

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<F, C, H> PCVerifierKey for BrakedownPCParams<F, C, H>

where F: PrimeField, C: Config, H: CRHScheme,

impl<F, C, H> PCVerifierKey for LigeroPCParams<F, C, H>

where F: PrimeField, C: Config, H: CRHScheme,

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

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