public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz)
{
if ((Nat160.MulAddTo(x, y, zz) != 0 || (zz[9] == uint.MaxValue && Nat.Gte(10, zz, PExt))) && Nat.AddTo(PExtInv.Length, PExtInv, zz) != 0)
{
Nat.IncAt(10, zz, PExtInv.Length);
}
}
public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz)
{
if ((Nat160.MulAddTo(x, y, zz) != 0u || (zz[9] == 4294967295u && Nat.Gte(10, zz, SecP160R2Field.PExt))) && Nat.AddTo(SecP160R2Field.PExtInv.Length, SecP160R2Field.PExtInv, zz) != 0u)
{
Nat.IncAt(10, zz, SecP160R2Field.PExtInv.Length);
}
}
public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz)
{
uint c = Nat160.MulAddTo(x, y, zz);
if (c != 0 || (zz[9] == PExt9 && Nat.Gte(10, zz, PExt)))
{
if (Nat.AddTo(PExtInv.Length, PExtInv, zz) != 0)
{
Nat.IncAt(10, zz, PExtInv.Length);
}
}
}
