Struct snarkvm_polycommit::marlin_pc::PreparedCommitment

pub struct PreparedCommitment<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>, 

fn alloc_constant<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<PreparedCommitment<TargetCurve>>, CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>>(
    cs: CS,
    value_gen: Fn
) -> Result<Self, SynthesisError>

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

fn alloc_input<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<PreparedCommitment<TargetCurve>>, CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>>(
    cs: CS,
    value_gen: Fn
) -> Result<Self, SynthesisError>

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: PairingEngine> Clone for PreparedCommitment<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 PreparedCommitment<E>

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

Formats the value using the given formatter.

impl<E: PairingEngine> Hash for PreparedCommitment<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> PCPreparedCommitment<Commitment<E>> for PreparedCommitment<E>

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

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

impl<E: PairingEngine> PartialEq<PreparedCommitment<E>> for PreparedCommitment<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> Eq for PreparedCommitment<E>