Struct snarkvm_wasm::kzg10::Commitment

pub struct Commitment<E>(pub <E as PairingEngine>::G1Affine)
 where
    E: PairingEngine;

Commitment commits to a polynomial. It is output by KZG10::commit.

Trait Implementations

impl<'a, E> AddAssign<(<E as PairingEngine>::Fr, &'a Commitment<E>)> for Commitment<E> where
    E: PairingEngine, 

pub fn add_assign(&mut self, (<E as PairingEngine>::Fr, &'a Commitment<E>))

Performs the += operation.

impl<E> CanonicalDeserialize for Commitment<E> where
    E: PairingEngine, 

pub fn deserialize<R>(
    reader: &mut R
) -> Result<Commitment<E>, SerializationError> where
    R: Read, 

Reads Self from reader.

pub fn deserialize_uncompressed<R>(
    reader: &mut R
) -> Result<Commitment<E>, SerializationError> where
    R: Read, 

Reads Self from reader without compression.

impl<E> CanonicalSerialize for Commitment<E> where
    E: PairingEngine, 

pub fn serialize<W>(&self, writer: &mut W) -> Result<(), SerializationError> where
    W: Write, 

Serializes self into writer.

pub fn serialized_size(&self) -> usize

pub fn serialize_uncompressed<W>(
    &self,
    writer: &mut W
) -> Result<(), SerializationError> where
    W: Write, 

Serializes self into writer without compression.

pub fn uncompressed_size(&self) -> usize

impl<E> Clone for Commitment<E> where
    E: PairingEngine, 

pub fn clone(&self) -> Commitment<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E> Debug for Commitment<E> where
    E: PairingEngine, 

pub fn fmt(&self, __f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<E> Default for Commitment<E> where
    E: PairingEngine, 

pub fn default() -> Commitment<E>

Returns the “default value” for a type.

impl<E> FromBytes for Commitment<E> where
    E: PairingEngine, 

pub fn read<R>(reader: R) -> Result<Commitment<E>, Error> where
    R: Read, 

Reads Self from reader.

impl<E> Hash for Commitment<E> where
    E: PairingEngine, 

pub fn hash<__HE>(&self, __state: &mut __HE) where
    __HE: Hasher, 

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

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

pub fn empty() -> Commitment<E>

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?

impl<E> PCPreparedCommitment<Commitment<E>> for PreparedCommitment<E> where
    E: PairingEngine, 

pub fn prepare(comm: &Commitment<E>) -> PreparedCommitment<E>

prepare PreparedCommitment from Commitment

impl<E> PartialEq<Commitment<E>> for Commitment<E> where
    E: PairingEngine, 

pub fn eq(&self, other: &Commitment<E>) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<E> ToBytes for Commitment<E> where
    E: PairingEngine, 

pub fn write<W>(&self, writer: W) -> Result<(), Error> where
    W: Write, 

Serializes self into writer.

impl<E> ToConstraintField<<E as PairingEngine>::Fq> for Commitment<E> where
    E: PairingEngine,
    <E as PairingEngine>::G1Affine: ToConstraintField<<E as PairingEngine>::Fq>, 

pub fn to_field_elements(
    &self
) -> Result<Vec<<E as PairingEngine>::Fq, Global>, ConstraintFieldError>

impl<E> Copy for Commitment<E> where
    E: PairingEngine, 

impl<E> Eq for Commitment<E> where
    E: PairingEngine,