Module is_zero
openvm_
circuit_
primitives
1.4.0
Module is_zero
Module Items
Structs
In crate openvm_
circuit_
primitives
openvm_circuit_primitives
Module
is_zero
Copy item path
Source
Structs
ยง
IsZero
AuxCols
IsZero
Io
IsZero
SubAir
An Air that constraints that checks if a number equals 0