zkp_u256
pub const fn sbb(a: u64, b: u64, borrow: u64) -> (u64, u64)
Compute a - (b + borrow), returning the result and the new borrow.