Module gadgets::batched_is_zero

BatchedIsZero chip works as follows:

Given a list of values to be checked if they are all zero:

• nonempty_witness = inv(value) for some non-zero value from values if it exists, 0 otherwise
• is_zero: 1 if all values are 0, 0 otherwise

Structs

• BatchedIsZeroChip
  Verify that a list of values are all 0.
• BatchedIsZeroConfig
  BatchedIsZeroChip configuration