Module zkp_u256::utils

Functions

adc	Compute a + b + carry, returning the result and the new carry over.
div_2_1	Compute <hi, lo> / d, returning the quotient and the remainder.
mac	Compute a + (b * c) + carry, returning the result and the new carry over.
msb	Compute a - (b * c + borrow), returning the result and the new borrow.
sbb	Compute a - (b + borrow), returning the result and the new borrow.