snarkvm_utilities::biginteger

Module arithmetic

Source

Functionsยง

  • adc
    set a = a + b + carry, and return the new carry value.
  • mac
    Calculate a + b * c, returning the lower 64 bits of the result and setting carry to the upper 64 bits.
  • mac_discard
    Calculate a + b * c, discarding the lower 64 bits of the result and setting carry to the upper 64 bits.
  • mac_with_carry
    Calculate a + (b * c) + carry, returning the least significant digit and setting carry to the most significant digit.
  • sbb
    set a = a - b - borrow, and return the new borrow value.