Trait snarkvm_wasm::PCCommitment

pub trait PCCommitment: CanonicalDeserialize + CanonicalSerialize + Clone + Debug + ToBytes {
    fn empty() -> Self;
    fn has_degree_bound(&self) -> bool;
    fn is_in_correct_subgroup_assuming_on_curve(&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?

fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool

Does this commitment’s affine belong to the correct subgroup?

Implementors

impl<E> PCCommitment for snarkvm_wasm::kzg10::Commitment<E> where
    E: PairingEngine, 

impl<E> PCCommitment for snarkvm_wasm::marlin_pc::Commitment<E> where
    E: PairingEngine,