Struct snarkvm_wasm::PedersenCompressedCRH

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

Fields

parameters: PedersenCRHParameters<G, S>

Trait Implementations

impl<G, S> CRH for PedersenCompressedCRH<G, S> where
    G: Group + ProjectiveCurve,
    S: PedersenSize, 

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

type Parameters = PedersenCRHParameters<G, S>

pub const INPUT_SIZE_BITS: usize

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

pub fn hash(
    &self,
    input: &[u8]
) -> Result<<PedersenCompressedCRH<G, S> as CRH>::Output, CRHError>

Returns the affine x-coordinate as the collision-resistant hash output.

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

impl<F, G, GG, S> CRHGadget<PedersenCompressedCRH<G, S>, F> for PedersenCompressedCRHGadget<G, F, GG> where
    G: Group + ProjectiveCurve,
    S: PedersenSize,
    F: Field,
    GG: CompressedGroupGadget<G, F>, 

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

type ParametersGadget = PedersenCRHParametersGadget<G, S, F, GG>

pub fn check_evaluation_gadget<CS>(
    cs: CS,
    parameters: &<PedersenCompressedCRHGadget<G, F, GG> as CRHGadget<PedersenCompressedCRH<G, S>, F>>::ParametersGadget,
    input: Vec<UInt8, Global>
) -> Result<<PedersenCompressedCRHGadget<G, F, GG> as CRHGadget<PedersenCompressedCRH<G, S>, F>>::OutputGadget, SynthesisError> where
    CS: ConstraintSystem<F>, 

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

impl<G, S> From<PedersenCRHParameters<G, S>> for PedersenCompressedCRH<G, S> where
    G: Group + ProjectiveCurve,
    S: PedersenSize, 

pub fn from(
    parameters: PedersenCRHParameters<G, S>
) -> PedersenCompressedCRH<G, S>

Performs the conversion.

impl<F, G, GG, S> MaskedCRHGadget<PedersenCompressedCRH<G, S>, F> for PedersenCompressedCRHGadget<G, F, GG> where
    G: Group + ProjectiveCurve,
    S: PedersenSize,
    F: PrimeField,
    GG: CompressedGroupGadget<G, F>, 

pub fn check_evaluation_gadget_masked<CS>(
    cs: CS,
    parameters: &<PedersenCompressedCRHGadget<G, F, GG> as CRHGadget<PedersenCompressedCRH<G, S>, F>>::ParametersGadget,
    input: Vec<UInt8, Global>,
    mask_parameters: &<PedersenCompressedCRHGadget<G, F, GG> as CRHGadget<PedersenCompressedCRH<G, S>, F>>::ParametersGadget,
    mask: Vec<UInt8, Global>
) -> Result<<PedersenCompressedCRHGadget<G, F, GG> as CRHGadget<PedersenCompressedCRH<G, S>, F>>::OutputGadget, SynthesisError> where
    CS: ConstraintSystem<F>, 

pub fn extend_mask<CS>(
    CS,
    mask: &[UInt8]
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

Extends the mask such that 0 => 01, 1 => 10.

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

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

This method returns an Ordering between self and other.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

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

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

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

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

This method tests for !=.

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

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

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

#[must_use]pub fn lt(&self, other: &Rhs) -> bool

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

#[must_use]pub 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]pub fn gt(&self, other: &Rhs) -> bool

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

#[must_use]pub 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> StructuralEq for PedersenCompressedCRH<G, S> where
    G: Group + ProjectiveCurve,
    S: PedersenSize, 

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

impl<F, G, S> ToConstraintField<F> for PedersenCompressedCRH<G, S> where
    G: Group + ProjectiveCurve + ToConstraintField<F>,
    S: PedersenSize,
    F: Field, 

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>