Module snarkvm_utilities::biginteger::arithmetic

Functions

adc

Calculate a + b + carry, returning the sum and modifying the 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 returning the borrow value.