Trait snarkvm_wasm::data_structures::PCCommitment

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

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

Required methods

pub fn empty() -> Self

Outputs a non-hiding commitment to the zero polynomial.

pub fn has_degree_bound(&self) -> bool

Does this commitment have a degree bound?

pub fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool

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

Loading content...

Implementors

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

pub fn empty() -> Commitment<E>

pub fn has_degree_bound(&self) -> bool

pub fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool

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

pub fn empty() -> Commitment<E>

pub fn has_degree_bound(&self) -> bool

pub fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool

Loading content...