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.