Trait snarkvm_gadgets::traits::eq::NEqGadget

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

Required methods

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

fn cost() -> usize

Implementors

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

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

impl<P, F, FG> NEqGadget<F> for snarkvm_gadgets::curves::templates::bls12::affine::AffineGadget<P, F, FG> where
    P: SWModelParameters,
    F: Field,
    FG: FieldGadget<P::BaseField, F>, 

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

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

impl<P: TEModelParameters, F: Field, FG: FieldGadget<P::BaseField, F>> NEqGadget<F> for snarkvm_gadgets::curves::templates::twisted_edwards::AffineGadget<P, F, FG>

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

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