Struct snarkvm_wasm::marlin_pc::PreparedCommitment

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

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

Trait Implementations

impl<TargetCurve, BaseCurve, PG> AllocGadget<PreparedCommitment<TargetCurve>, <BaseCurve as PairingEngine>::Fr> for PreparedCommitmentVar<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<PreparedCommitmentVar<TargetCurve, BaseCurve, PG>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,
    T: Borrow<PreparedCommitment<TargetCurve>>, 

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

pub fn alloc_input<Fn, T, CS>(
    cs: CS,
    value_gen: Fn
) -> Result<PreparedCommitmentVar<TargetCurve, BaseCurve, PG>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,
    T: Borrow<PreparedCommitment<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> Clone for PreparedCommitment<E> where
    E: PairingEngine, 

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

impl<E> Hash for PreparedCommitment<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> 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<PreparedCommitment<E>> for PreparedCommitment<E> where
    E: PairingEngine, 

pub fn eq(&self, other: &PreparedCommitment<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> Eq for PreparedCommitment<E> where
    E: PairingEngine,