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?