Function plonk_gadgets::scalar::maybe_equal [−][src]
pub fn maybe_equal(
composer: &mut StandardComposer,
a: AllocatedScalar,
b: AllocatedScalar
) -> Variable
Expand description
Returns 1 if a = b and zero otherwise.
NOTE
If you need to check equality constraining it, this function is not intended for it,
instead we recommend to use composer.assert_equals()
or composer.constraint_to_constant()
functions from dusk-plonk
crate which will introduce less constraints to your circuit.