pub trait EqGadget<F: Field>: Eq where
Self: ConditionalEqGadget<F>, {
fn is_eq<CS: ConstraintSystem<F>>(
&self,
_cs: CS,
_other: &Self
) -> Result<Boolean, SynthesisError> { ... }
fn enforce_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<(), SynthesisError> { ... }
fn cost() -> usize { ... }
}
Provided methods
fn is_eq<CS: ConstraintSystem<F>>(
&self,
_cs: CS,
_other: &Self
) -> Result<Boolean, SynthesisError>
fn is_eq<CS: ConstraintSystem<F>>(
&self,
_cs: CS,
_other: &Self
) -> Result<Boolean, SynthesisError>
Output a Boolean
value representing whether self.value() == other.value()
.