Module check_
carry_
to_
zero
openvm_
circuit_
primitives
1.0.0
Module check_
carry_
to_
zero
Module Items
Structs
Functions
In openvm_
circuit_
primitives::
bigint
Modules
check_carry_mod_to_zero
check_carry_to_zero
utils
Structs
OverflowInt
openvm_circuit_primitives
::
bigint
Module
check_carry_to_zero
Copy item path
Settings
Help
Summary
Source
Structs
§
Check
Carry
ToZero
Cols
Check
Carry
ToZero
SubAir
Functions
§
get_
carry_
max_
abs_
and_
bits