Trait PCCommitment

pub trait PCCommitment:
    Clone
    + CanonicalSerialize
    + CanonicalDeserialize {
    // Required methods
    fn empty() -> Self;
    fn has_degree_bound(&self) -> bool;
}

Defines the minimal interface of commitments for any polynomial commitment scheme.

Required Methods

fn empty() -> Self

Outputs a non-hiding commitment to the zero polynomial.

fn has_degree_bound(&self) -> bool

Does this commitment have a degree bound?

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> PCCommitment for ark_poly_commit::kzg10::Commitment<E>

impl<E: Pairing> PCCommitment for ark_poly_commit::marlin::marlin_pc::Commitment<E>

impl<G: AffineRepr> PCCommitment for HyraxCommitment<G>

impl<G: AffineRepr> PCCommitment for ark_poly_commit::ipa_pc::Commitment<G>