Trait snarkvm_wasm::NEqGadget

pub trait NEqGadget<F>: Eq where
    F: Field, {
    fn enforce_not_equal<CS>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<(), SynthesisError>
    where
        CS: ConstraintSystem<F>;
    fn cost() -> usize;
}

Required methods

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

fn cost() -> usize

Implementors

impl<F> NEqGadget<F> for FpGadget<F> where
    F: PrimeField, 

impl<F> NEqGadget<F> for AllocatedFp<F> where
    F: PrimeField, 

impl<P, F> NEqGadget<F> for Fp2Gadget<P, F> where
    P: Fp2Parameters<Fp = F>,
    F: PrimeField, 

impl<P, F> NEqGadget<F> for Fp6Gadget<P, F> where
    P: Fp6Parameters,
    F: PrimeField,
    <P as Fp6Parameters>::Fp2Params: Fp2Parameters,
    <<P as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp == F, 

impl<P, F> NEqGadget<F> for Fp12Gadget<P, F> where
    P: Fp12Parameters,
    F: PrimeField,
    <<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params: Fp2Parameters,
    <<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp == F, 

impl<TargetField, BaseField> NEqGadget<BaseField> for NonNativeFieldVar<TargetField, BaseField> where
    BaseField: PrimeField,
    TargetField: PrimeField,