public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz) { uint c = Nat256.MulAddTo(x, y, zz); if (c != 0 || (zz[15] >= PExt15 && Nat.Gte(16, zz, PExt))) { Nat.SubFrom(16, PExt, zz); } }
public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz) { uint c = Nat256.MulAddTo(x, y, zz); if (c != 0 || (zz[15] == PExt15 && Nat.Gte(16, zz, PExt))) { if (Nat.AddTo(PExtInv.Length, PExtInv, zz) != 0) { Nat.IncAt(16, zz, PExtInv.Length); } } }