[−][src]Trait snarkos_models::gadgets::utilities::eq::EvaluateEqGadget
Required methods
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
Implementors
impl<F: PrimeField> EvaluateEqGadget<F> for Boolean[src]
a == b = !(a XOR b)
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>[src]
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
impl<F: PrimeField> EvaluateEqGadget<F> for Int64[src]
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>[src]
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
impl<F: PrimeField> EvaluateEqGadget<F> for UInt128[src]
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>[src]
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
impl<F: PrimeField> EvaluateEqGadget<F> for UInt8[src]
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>[src]
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
impl<F: PrimeField> EvaluateEqGadget<F> for UInt16[src]
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>[src]
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
impl<F: PrimeField> EvaluateEqGadget<F> for UInt32[src]
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>[src]
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>
impl<F: PrimeField> EvaluateEqGadget<F> for UInt64[src]
fn evaluate_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>[src]
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError>