Module plonk_gadgets::scalar

Basic Scalar oriented gadgets collection.

This module actually contains conditional selection implementations as well as equalty-checking gadgets.

Functions

conditionally_select_one

Conditionally selects the value provided or a one instead. NOTE that the select input has to be previously constrained to be either one or zero.

conditionally_select_zero

Conditionally selects the value provided or a zero instead. NOTE that the select input has to be previously constrained to be either one or zero.

is_non_zero

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

maybe_equal

Returns 1 if a = b and zero otherwise.