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.