Trait snarkvm_wasm::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
[src]
fn has_degree_bound(&self) -> bool
[src]Does this commitment have a degree bound?
fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool
[src]
fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool
[src]Does this commitment’s affine belong to the correct subgroup?
Implementors
impl<E> PCCommitment for snarkvm_wasm::kzg10::Commitment<E> where
E: PairingEngine,
[src]
impl<E> PCCommitment for snarkvm_wasm::kzg10::Commitment<E> where
E: PairingEngine,
[src]pub fn empty() -> Commitment<E>
[src]
pub fn has_degree_bound(&self) -> bool
[src]
pub fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool
[src]
impl<E> PCCommitment for snarkvm_wasm::marlin_pc::Commitment<E> where
E: PairingEngine,
[src]
impl<E> PCCommitment for snarkvm_wasm::marlin_pc::Commitment<E> where
E: PairingEngine,
[src]