Trait PCCommitterKey

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

Defines the minimal interface of committer 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 committer 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, P> PCCommitterKey for ark_poly_commit::marlin::marlin_pst13_pc::CommitterKey<E, P>

where E: Pairing, P: DenseMVPolynomial<E::ScalarField>, P::Point: Index<usize, Output = E::ScalarField>,

impl<E: Pairing> PCCommitterKey for ark_poly_commit::marlin::marlin_pc::CommitterKey<E>

impl<E: Pairing> PCCommitterKey for ark_poly_commit::sonic_pc::CommitterKey<E>

impl<F, C, H> PCCommitterKey for BrakedownPCParams<F, C, H>

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

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

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

impl<G: AffineRepr> PCCommitterKey for ark_poly_commit::ipa_pc::CommitterKey<G>

impl<G: AffineRepr> PCCommitterKey for HyraxCommitterKey<G>