Trait snarkvm_gadgets::traits::eq::ConditionalEqGadget
source · [−]pub trait ConditionalEqGadget<F: Field>: Eq {
fn conditional_enforce_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self,
condition: &Boolean
) -> Result<(), SynthesisError>;
fn cost() -> usize;
}
Expand description
If condition == 1
, then enforces that self
and other
are equal;
otherwise, it doesn’t enforce anything.