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