Function zkp_u256::mac

pub const fn mac(a: u64, b: u64, c: u64, carry: u64) -> (u64, u64)

Compute a + (b * c) + carry, returning the result and the new carry over. Both a and carry can be the full 64-bit range