public static void Mul(uint[] x, uint[] y, uint[] zz)
{
Nat256.Mul(x, y, zz);
Nat256.Mul(x, 8, y, 8, zz, 16);
uint c24 = Nat256.AddToEachOther(zz, 8, zz, 16);
uint c16 = c24 + Nat256.AddTo(zz, 0, zz, 8, 0);
c24 += Nat256.AddTo(zz, 24, zz, 16, c16);
uint[] dx = Nat256.Create(), dy = Nat256.Create();
bool neg = Nat256.Diff(x, 8, x, 0, dx, 0) != Nat256.Diff(y, 8, y, 0, dy, 0);
uint[] tt = Nat256.CreateExt();
Nat256.Mul(dx, dy, tt);
c24 += neg ? Nat.AddTo(16, tt, 0, zz, 8) : (uint)Nat.SubFrom(16, tt, 0, zz, 8);
Nat.AddWordExt(16, c24, zz, 24);
}
public static void Mul(uint[] x, uint[] y, uint[] zz)
{
Nat192.Mul(x, y, zz);
Nat192.Mul(x, 6, y, 6, zz, 12);
uint c18 = Nat192.AddToEachOther(zz, 6, zz, 12);
uint c12 = c18 + Nat192.AddTo(zz, 0, zz, 6, 0);
c18 += Nat192.AddTo(zz, 18, zz, 12, c12);
uint[] dx = Nat192.Create(), dy = Nat192.Create();
bool neg = Nat192.Diff(x, 6, x, 0, dx, 0) != Nat192.Diff(y, 6, y, 0, dy, 0);
uint[] tt = Nat192.CreateExt();
Nat192.Mul(dx, dy, tt);
c18 += neg ? Nat.AddTo(12, tt, 0, zz, 6) : (uint)Nat.SubFrom(12, tt, 0, zz, 6);
Nat.AddWordExt(12, c18, zz, 18);
}
public static void Square(uint[] x, uint[] zz)
{
Nat256.Square(x, zz);
Nat256.Square(x, 8, zz, 16);
uint c24 = Nat256.AddToEachOther(zz, 8, zz, 16);
uint c16 = c24 + Nat256.AddTo(zz, 0, zz, 8, 0);
c24 += Nat256.AddTo(zz, 24, zz, 16, c16);
uint[] dx = Nat256.Create();
Nat256.Diff(x, 8, x, 0, dx, 0);
uint[] m = Nat256.CreateExt();
Nat256.Square(dx, m);
c24 += (uint)Nat.SubFrom(16, m, 0, zz, 8);
Nat.AddWordExt(16, c24, zz, 24);
}
public static void Square(uint[] x, uint[] zz)
{
Nat192.Square(x, zz);
Nat192.Square(x, 6, zz, 12);
uint c18 = Nat192.AddToEachOther(zz, 6, zz, 12);
uint c12 = c18 + Nat192.AddTo(zz, 0, zz, 6, 0);
c18 += Nat192.AddTo(zz, 18, zz, 12, c12);
uint[] dx = Nat192.Create();
Nat192.Diff(x, 6, x, 0, dx, 0);
uint[] m = Nat192.CreateExt();
Nat192.Square(dx, m);
c18 += (uint)Nat.SubFrom(12, m, 0, zz, 6);
Nat.AddWordExt(12, c18, zz, 18);
}
