openvm_circuit_primitives

Module is_zero

Source

Structsยง

IsZeroAuxCols
IsZeroIo
IsZeroSubAir
An Air that constraints that checks if a number equals 0