Module add_
no_
carry
halo2_
ecc
0.5.0
Module add_
no_
carry
Module Items
Functions
In halo2_
ecc::
bigint
Modules
add_no_carry
big_is_equal
big_is_zero
big_less_than
carry_mod
check_carry_mod_to_zero
check_carry_to_zero
mul_no_carry
negative
scalar_mul_and_add_no_carry
scalar_mul_no_carry
select
select_by_indicator
sub
sub_no_carry
Structs
CRTInteger
FixedCRTInteger
FixedOverflowInteger
OverflowInteger
ProperCrtUint
ProperUint
Enums
BigIntStrategy
halo2_ecc
::
bigint
Module
add_no_carry
Copy item path
Settings
Help
Summary
Source
Functions
§
assign
Assumptions
crt
Assumptions