Trait snarkvm_wasm::data_structures::PCCommitment [−][src]
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; }
Expand description
Defines the minimal interface of commitments for any polynomial commitment scheme.
Required methods
fn has_degree_bound(&self) -> bool
fn has_degree_bound(&self) -> bool
Does this commitment have a degree bound?
fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool
fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool
Does this commitment’s affine belong to the correct subgroup?