Trait snarkvm_gadgets::traits::eq::EvaluateEqGadget
source · [−]pub trait EvaluateEqGadget<F: Field> {
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>;
}
Required methods
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
Implementors
impl<F: PrimeField> EvaluateEqGadget<F> for Boolean
a == b = !(a XOR b)