Module ring::limb

Unsigned multi-precision integer arithmetic.

Limbs ordered least-significant-limb to most-significant-limb. The bits limbs use the native endianness.

Enums

• AllowZero
• LimbMask

Constants

• LIMB_BITS
• LIMB_BYTES

Functions

• LIMBS_are_even 🔒 ^⚠
• LIMBS_are_zero 🔒 ^⚠
• LIMBS_equal_limb 🔒 ^⚠
• LIMBS_less_than 🔒 ^⚠
• LIMBS_less_than_limb 🔒 ^⚠
• LIMBS_reduce_once 🔒 ^⚠
• LIMB_shr 🔒 ^⚠
• big_endian_from_limbs
• fold_5_bit_windows
  Processes limbs as a sequence of 5-bit windows, folding the windows from most significant to least significant and returning the accumulated result. The first window will be mapped by init to produce the initial value for the accumulator. Then f will be called to fold the accumulator and the next window until all windows are processed. When the input’s bit length isn’t divisible by 5, the window passed to init will be partial; all windows passed to fold will be full.
• limbs_add_assign_mod 🔒
• limbs_are_even_constant_time
• limbs_are_zero_constant_time
• limbs_double_mod 🔒
• limbs_equal_limb_constant_time
• limbs_equal_limbs_consttime
• limbs_less_than_limb_constant_time
• limbs_less_than_limbs_consttime
• limbs_less_than_limbs_vartime
• limbs_minimal_bits
  Returns the number of bits in a.
• limbs_negative_odd 🔒
• limbs_reduce_once_constant_time
  Equivalent to if (r >= m) { r -= m; }
• parse_big_endian_and_pad_consttime
  Parses input into result, padding result with zeros to its length. This attempts to be constant-time with respect to the value but not with respect to the length; it is assumed that the length is public knowledge.
• parse_big_endian_in_range_and_pad_consttime
  Parses input into result, verifies that the value is less than max_exclusive, and pads result with zeros to its length. If allow_zero is not AllowZero::Yes, zero values are rejected.
• unstripped_be_bytes
  Returns an iterator of the big-endian encoding of limbs.

Type Aliases

• Limb
• Window