Struct snarkvm_wasm::marlin_pc::Commitment

pub struct Commitment<E> where
    E: PairingEngine,  { /* fields omitted */ }

Commitment to a polynomial that optionally enforces a degree bound.

Trait Implementations

impl<TargetCurve, BaseCurve, PG> AllocGadget<Commitment<TargetCurve>, <BaseCurve as PairingEngine>::Fr> for CommitmentVar<TargetCurve, BaseCurve, PG> where
    TargetCurve: PairingEngine,
    BaseCurve: PairingEngine,
    PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,
    <TargetCurve as PairingEngine>::G1Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
    <TargetCurve as PairingEngine>::G2Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>, 

pub fn alloc_constant<Fn, T, CS>(
    cs: CS,
    value_gen: Fn
) -> Result<CommitmentVar<TargetCurve, BaseCurve, PG>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,
    T: Borrow<Commitment<TargetCurve>>, 

pub fn alloc<Fn, T, CS>(
    cs: CS,
    value_gen: Fn
) -> Result<CommitmentVar<TargetCurve, BaseCurve, PG>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,
    T: Borrow<Commitment<TargetCurve>>, 

pub fn alloc_input<Fn, T, CS>(
    cs: CS,
    value_gen: Fn
) -> Result<CommitmentVar<TargetCurve, BaseCurve, PG>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,
    T: Borrow<Commitment<TargetCurve>>, 

fn alloc_checked<Fn, T, CS>(cs: CS, f: Fn) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<V>, 

fn alloc_input_checked<Fn, T, CS>(cs: CS, f: Fn) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<V>, 

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(commitment: &Commitment<E>) -> PreparedCommitment<E>

Prepare commitment to a polynomial that optionally enforces a degree bound.

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,