Trait snarkvm_wasm::traits::utilities::bits::EvaluateLtGadget

pub trait EvaluateLtGadget<F> where
    F: Field, {
    pub fn less_than<CS>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<Boolean, SynthesisError>
    where
        CS: ConstraintSystem<F>;
}

Required methods

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Self
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

Loading content...

Implementors

impl<F> EvaluateLtGadget<F> for Int8 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int8
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for Int16 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int16
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for Int32 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int32
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for Int64 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int64
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for Int128 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int128
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt8 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt8
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt16 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt16
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt32 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt32
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt64 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt64
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt128 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt128
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

Loading content...