Trait snarkvm_wasm::prelude::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>,
fn is_eq<CS>(&self, _cs: CS, _other: &Self) -> Result<Boolean, SynthesisError> where
CS: ConstraintSystem<F>,
Output a Boolean
value representing whether self.value() == other.value()
.