zkp_u256
pub fn gcd(r0: U256, r1: U256) -> U256
See gcd_extended for documentation. This version maintains full precission cofactors.
gcd_extended