Struct snarkvm_wasm::algorithms::encoding::Elligator2FieldGadget

pub struct Elligator2FieldGadget<P, F>(pub FpGadget<F>, _)
 where
    P: MontgomeryModelParameters,
    F: PrimeField;

Trait Implementations

impl<P, F> AllocGadget<<P as ModelParameters>::BaseField, F> for Elligator2FieldGadget<P, F> where
    P: MontgomeryModelParameters,
    F: PrimeField, 

pub fn alloc<Fn, T, CS>(
    cs: CS,
    value_gen: Fn
) -> Result<Elligator2FieldGadget<P, F>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<<P as ModelParameters>::BaseField>, 

pub fn alloc_input<Fn, T, CS>(
    cs: CS,
    value_gen: Fn
) -> Result<Elligator2FieldGadget<P, F>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<<P as ModelParameters>::BaseField>, 

fn alloc_constant<Fn, T, CS>(_cs: CS, _f: Fn) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<V>, 

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<P, F> Clone for Elligator2FieldGadget<P, F> where
    P: Clone + MontgomeryModelParameters,
    F: Clone + PrimeField, 

pub fn clone(&self) -> Elligator2FieldGadget<P, F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P, F> Debug for Elligator2FieldGadget<P, F> where
    P: Debug + MontgomeryModelParameters,
    F: Debug + PrimeField, 

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

Formats the value using the given formatter.

impl<P, F> ToBitsBEGadget<F> for Elligator2FieldGadget<P, F> where
    P: MontgomeryModelParameters,
    F: PrimeField, 

pub fn to_bits_be<CS>(
    &self,
    cs: CS
) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

pub fn to_bits_be_strict<CS>(
    &self,
    cs: CS
) -> Result<Vec<Boolean, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

Additionally checks if the produced list of booleans is ‘valid’.

impl<P, F> ToBytesGadget<F> for Elligator2FieldGadget<P, F> where
    P: MontgomeryModelParameters,
    F: PrimeField, 

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

pub fn to_bytes_strict<CS>(
    &self,
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>, 

Additionally checks if the produced list of booleans is ‘valid’.