Module is_zero
openvm_
circuit_
primitives
1.0.0
Module is_zero
Module Items
Structs
In crate openvm_
circuit_
primitives
Modules
assert_less_than
bigint
bitwise_op_lookup
encoder
is_equal
is_equal_array
is_less_than
is_less_than_array
is_zero
range
range_gate
range_tuple
utils
var_range
xor
Traits
SubAir
TraceSubRowGenerator
Derive Macros
AlignedBorrow
BytesStateful
Chip
ChipUsageGetter
openvm_circuit_primitives
Module
is_zero
Copy item path
Settings
Help
Summary
Source
Structs
§
IsZero
AuxCols
IsZero
Io
IsZero
SubAir
An Air that constraints that checks if a number equals 0