Module 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
  Safe wrapper for representing a BigUint as a CRTInteger whose underlying BigUint value is in [0, 2^t) where t = truncation.limbs.len() * limb_bits. This struct guarantees that
• ProperUint
  Safe wrapper around a BigUint represented as a vector of limbs in little endian. The underlying BigUint is represented by sum_i limbs[i] * 2^{limb_bits * i}

Enums

• BigIntStrategy