public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz) { if (Nat128.MulAddTo(x, y, zz) != 0 || (zz[7] == 4294967292u && Nat256.Gte(zz, PExt))) { Nat.AddTo(PExtInv.Length, PExtInv, zz); } }
public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz) { if ((Nat128.MulAddTo(x, y, zz) != 0) || ((zz[7] == 0xfffffffc) && Nat256.Gte(zz, PExt))) { Nat.AddTo(PExtInv.Length, PExtInv, zz); } }
public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz) { uint c = Nat128.MulAddTo(x, y, zz); if (c != 0 || (zz[7] >= PExt7 && Nat256.Gte(zz, PExt))) { Nat.AddTo(PExtInv.Length, PExtInv, zz); } }