Struct ark_poly_commit::kzg10::Commitment

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

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

Trait Implementations

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

fn add_assign(&mut self, (f, other): (E::Fr, &'a Commitment<E>))

Performs the += operation.

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

fn deserialize<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads Self from reader.

fn deserialize_uncompressed<R: Read>(
    reader: R
) -> Result<Self, SerializationError>

Reads Self from reader without compression.

fn deserialize_unchecked<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

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

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

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

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

Serializes self into writer without compression.

fn serialize_unchecked<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize

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

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.

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

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: PairingEngine> PCCommitment for Commitment<E>

fn empty() -> Self

Outputs a non-hiding commitment to the zero polynomial.

fn has_degree_bound(&self) -> bool

Does this commitment have a degree bound?

fn size_in_bytes(&self) -> usize

Size in bytes

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

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

prepare PreparedCommitment from Commitment

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

fn eq(&self, other: &Self) -> 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: PairingEngine> ToBytes for Commitment<E>

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

Serializes self into writer.

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

fn to_field_elements(&self) -> Option<Vec<<E::Fq as Field>::BasePrimeField>>

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

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