Function plonk_gadgets::scalar::is_non_zero[][src]

pub fn is_non_zero(
    composer: &mut StandardComposer,
    var: Variable,
    value_assigned: BlsScalar
) -> Result<(), GadgetsError>
Expand description

Provided a Variable and the Scalar it is attached to, the function constraints the Variable to be != Zero.