Module gadgets::is_zero

IsZero gadget works as follows:

Given a value to be checked if it is zero:

• witnesses inv0(value), where inv0(x) is 0 when x = 0, and 1/x otherwise

Structs

• IsZeroChip
  Wrapper around IsZeroConfig for which [Chip] is implemented.
• IsZeroConfig
  Config struct representing the required fields for an IsZero config to exist.

Traits

• IsZeroInstruction
  Trait that needs to be implemented for any gadget or circuit that wants to implement IsZero.