Trait snarkvm_gadgets::traits::eq::ConditionalOrEqualsGadget
source · [−]pub trait ConditionalOrEqualsGadget<F: Field> where
Self: Sized, {
fn conditional_enforce_equal_or<CS: ConstraintSystem<F>>(
cs: CS,
cond: &Boolean,
var: &Self,
first: &Self,
second: &Self,
should_enforce: &Boolean
) -> Result<(), SynthesisError>;
fn cost() -> usize;
}