Trait ark_poly_commit::data_structures::PCCommitment

pub trait PCCommitment: Clone + ToBytes + CanonicalSerialize + CanonicalDeserialize {
    fn empty() -> Self;
    fn has_degree_bound(&self) -> bool;
    fn size_in_bytes(&self) -> usize;
}

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?

fn size_in_bytes(&self) -> usize

Size in bytes

Loading content...

Implementors

impl<E: PairingEngine> PCCommitment for ark_poly_commit::kzg10::Commitment<E>

fn empty() -> Self

fn has_degree_bound(&self) -> bool

fn size_in_bytes(&self) -> usize

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

fn empty() -> Self

fn has_degree_bound(&self) -> bool

fn size_in_bytes(&self) -> usize

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

fn empty() -> Self

fn has_degree_bound(&self) -> bool

fn size_in_bytes(&self) -> usize

Loading content...