Struct snarkvm_wasm::PedersenCompressedCommitment

pub struct PedersenCompressedCommitment<G, S> where
    G: Group + ProjectiveCurve,
    S: PedersenSize,  {
    pub parameters: PedersenCommitmentParameters<G, S>,
}

Fields

parameters: PedersenCommitmentParameters<G, S>

Trait Implementations

impl<G, S> Clone for PedersenCompressedCommitment<G, S> where
    G: Clone + Group + ProjectiveCurve,
    S: Clone + PedersenSize, 

pub fn clone(&self) -> PedersenCompressedCommitment<G, S>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F, G, GG, S> CommitmentGadget<PedersenCompressedCommitment<G, S>, F> for PedersenCompressedCommitmentGadget<G, F, GG> where
    G: Group + ProjectiveCurve,
    S: PedersenSize,
    F: PrimeField,
    GG: CompressedGroupGadget<G, F>, 

type OutputGadget = <GG as CompressedGroupGadget<G, F>>::BaseFieldGadget

type ParametersGadget = PedersenCommitmentParametersGadget<G, S, F>

type RandomnessGadget = PedersenRandomnessGadget<G>

pub fn check_commitment_gadget<CS>(
    cs: CS,
    parameters: &<PedersenCompressedCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCompressedCommitment<G, S>, F>>::ParametersGadget,
    input: &[UInt8],
    randomness: &<PedersenCompressedCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCompressedCommitment<G, S>, F>>::RandomnessGadget
) -> Result<<PedersenCompressedCommitmentGadget<G, F, GG> as CommitmentGadget<PedersenCompressedCommitment<G, S>, F>>::OutputGadget, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<G, S> CommitmentScheme for PedersenCompressedCommitment<G, S> where
    G: Group + ProjectiveCurve,
    S: PedersenSize, 

pub fn commit(
    &self,
    input: &[u8],
    randomness: &<PedersenCompressedCommitment<G, S> as CommitmentScheme>::Randomness
) -> Result<<PedersenCompressedCommitment<G, S> as CommitmentScheme>::Output, CommitmentError>

Returns the affine x-coordinate as the commitment.

type Output = <<G as ProjectiveCurve>::Affine as AffineCurve>::BaseField

type Parameters = PedersenCommitmentParameters<G, S>

type Randomness = <G as Group>::ScalarField

pub fn setup<R>(rng: &mut R) -> PedersenCompressedCommitment<G, S> where
    R: Rng, 

pub fn parameters(
    &self
) -> &<PedersenCompressedCommitment<G, S> as CommitmentScheme>::Parameters

impl<G, S> Debug for PedersenCompressedCommitment<G, S> where
    G: Debug + Group + ProjectiveCurve,
    S: Debug + PedersenSize, 

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

Formats the value using the given formatter.

impl<G, S> From<PedersenCommitmentParameters<G, S>> for PedersenCompressedCommitment<G, S> where
    G: Group + ProjectiveCurve,
    S: PedersenSize, 

pub fn from(
    parameters: PedersenCommitmentParameters<G, S>
) -> PedersenCompressedCommitment<G, S>

Performs the conversion.

impl<G, S> Ord for PedersenCompressedCommitment<G, S> where
    G: Ord + Group + ProjectiveCurve,
    S: Ord + PedersenSize, 

pub fn cmp(&self, other: &PedersenCompressedCommitment<G, S>) -> Ordering

This method returns an Ordering between self and other.

#[must_use]

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]

fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl<G, S> PartialEq<PedersenCompressedCommitment<G, S>> for PedersenCompressedCommitment<G, S> where
    G: PartialEq<G> + Group + ProjectiveCurve,
    S: PartialEq<S> + PedersenSize, 

pub fn eq(&self, other: &PedersenCompressedCommitment<G, S>) -> bool

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

pub fn ne(&self, other: &PedersenCompressedCommitment<G, S>) -> bool

This method tests for !=.

impl<G, S> PartialOrd<PedersenCompressedCommitment<G, S>> for PedersenCompressedCommitment<G, S> where
    G: PartialOrd<G> + Group + ProjectiveCurve,
    S: PartialOrd<S> + PedersenSize, 

pub fn partial_cmp(
    &self,
    other: &PedersenCompressedCommitment<G, S>
) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]

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

This method tests less than (for self and other) and is used by the < operator.

#[must_use]

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]

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

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<G, S> Eq for PedersenCompressedCommitment<G, S> where
    G: Eq + Group + ProjectiveCurve,
    S: Eq + PedersenSize, 

impl<G, S> StructuralEq for PedersenCompressedCommitment<G, S> where
    G: Group + ProjectiveCurve,
    S: PedersenSize, 

impl<G, S> StructuralPartialEq for PedersenCompressedCommitment<G, S> where
    G: Group + ProjectiveCurve,
    S: PedersenSize,