Trait snarkvm_wasm::EqGadget [−][src]
pub trait EqGadget<F>: Eq + ConditionalEqGadget<F> where
F: Field, { fn is_eq<CS>(
&self,
_cs: CS,
_other: &Self
) -> Result<Boolean, SynthesisError>
where
CS: ConstraintSystem<F>, { ... } fn enforce_equal<CS>(
&self,
cs: CS,
other: &Self
) -> Result<(), SynthesisError>
where
CS: ConstraintSystem<F>, { ... } fn cost() -> usize { ... } }
Provided methods
fn is_eq<CS>(&self, _cs: CS, _other: &Self) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>, [src]
fn is_eq<CS>(&self, _cs: CS, _other: &Self) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>, [src]Output a Boolean value representing whether self.value() == other.value().
fn enforce_equal<CS>(&self, cs: CS, other: &Self) -> Result<(), SynthesisError> where
CS: ConstraintSystem<F>, [src]Implementations on Foreign Types
Implementors
pub fn is_eq<CS>(
&self,
cs: CS,
other: &FpGadget<F>
) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>, [src]pub fn is_eq<CS>(
&self,
cs: CS,
other: &AllocatedFp<F>
) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>, [src]impl<G, F, GG> EqGadget<F> for GroupEncryptionCiphertextGadget<G, F, GG> where
G: Group + ProjectiveCurve,
F: Field,
GG: CompressedGroupGadget<G, F>, [src]impl<G, F, GG> EqGadget<F> for GroupEncryptionPlaintextGadget<G, F, GG> where
G: Group + ProjectiveCurve,
F: Field,
GG: GroupGadget<G, F>, [src]impl<G, F, GG> EqGadget<F> for GroupEncryptionPublicKeyGadget<G, F, GG> where
G: Group,
F: Field,
GG: GroupGadget<G, F>, [src]impl<G, F, GG> EqGadget<F> for SchnorrPublicKeyGadget<G, F, GG> where
G: Group,
F: Field,
GG: GroupGadget<G, F>, [src]impl<P> EqGadget<<P as Bls12Parameters>::Fp> for G1PreparedGadget<P> where
P: Bls12Parameters, [src]impl<P> EqGadget<<P as Bls12Parameters>::Fp> for G2PreparedGadget<P> where
P: Bls12Parameters, [src]pub fn is_eq<CS>(
&self,
cs: CS,
other: &Fp2Gadget<P, F>
) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>, [src]impl<P, F> EqGadget<F> for Fp6Gadget<P, F> where
P: Fp6Parameters,
F: PrimeField,
<P as Fp6Parameters>::Fp2Params: Fp2Parameters,
<<P as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp == F, [src]
impl<P, F> EqGadget<F> for Fp6Gadget<P, F> where
P: Fp6Parameters,
F: PrimeField,
<P as Fp6Parameters>::Fp2Params: Fp2Parameters,
<<P as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp == F, [src]pub fn is_eq<CS>(
&self,
cs: CS,
other: &Fp6Gadget<P, F>
) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>, [src]impl<P, F> EqGadget<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, [src]
impl<P, F> EqGadget<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, [src]pub fn is_eq<CS>(
&self,
cs: CS,
other: &Fp12Gadget<P, F>
) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>, [src]impl<P, F, FG> EqGadget<F> for snarkvm_wasm::curves::templates::bls12::AffineGadget<P, F, FG> where
P: SWModelParameters,
F: Field,
FG: FieldGadget<<P as ModelParameters>::BaseField, F>, [src]impl<P, F, FG> EqGadget<F> for snarkvm_wasm::curves::templates::twisted_edwards::AffineGadget<P, F, FG> where
P: TEModelParameters,
F: Field,
FG: FieldGadget<<P as ModelParameters>::BaseField, F>, [src]impl<TargetField, BaseField> EqGadget<BaseField> for NonNativeFieldVar<TargetField, BaseField> where
BaseField: PrimeField,
TargetField: PrimeField, [src]
impl<TargetField, BaseField> EqGadget<BaseField> for NonNativeFieldVar<TargetField, BaseField> where
BaseField: PrimeField,
TargetField: PrimeField, [src]pub fn enforce_equal<CS>(
&self,
cs: CS,
other: &NonNativeFieldVar<TargetField, BaseField>
) -> Result<(), SynthesisError> where
CS: ConstraintSystem<BaseField>, [src]