public static void AddOne(uint[] x, uint[] z)
{
uint c = Nat.Inc(8, x, z);
if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P)))
{
Nat.Add33To(8, PInv33, z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
uint c = Nat.Inc(7, x, z);
if (c != 0 || (z[6] == P6 && Nat224.Gte(z, P)))
{
Nat.Add33To(7, PInv33, z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
uint c = Nat.Inc(5, x, z);
if (c != 0 || (z[4] == P4 && Nat160.Gte(z, P)))
{
Nat.Add33To(5, PInv33, z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
uint c = Nat.Inc(6, x, z);
if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P)))
{
Nat.Add33To(6, PInv33, z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
uint c = Nat.Inc(4, x, z);
if (c != 0 || (z[3] >= P3 && Nat128.Gte(z, P)))
{
AddPInvTo(z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
uint c = Nat.Inc(12, x, z);
if (c != 0 || (z[11] == P11 && Nat.Gte(12, z, P)))
{
AddPInvTo(z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
uint c = Nat.Inc(8, x, z);
if (c != 0 || (z[7] >= P7 && Nat256.Gte(z, P)))
{
AddPInvTo(z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
Nat.Copy(12, x, z);
uint c = Nat.Inc(12, z, 0);
if (c != 0 || (z[11] == P11 && Nat.Gte(12, z, P)))
{
Nat.Sub(12, z, P, z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
uint num = Nat.Inc(0x10, x, z) + x[0x10];
if ((num > 0x1ff) || ((num == 0x1ff) && Nat.Eq(0x10, z, P)))
{
num += Nat.Inc(0x10, z);
num &= 0x1ff;
}
z[0x10] = num;
}
public static void AddOne(uint[] x, uint[] z)
{
uint c = Nat.Inc(16, x, z) + x[16];
if (c > P16 || (c == P16 && Nat.Eq(16, z, P)))
{
c += Nat.Inc(16, z);
c &= P16;
}
z[16] = c;
}
public static void AddOne(uint[] x, uint[] z)
{
uint num = Nat.Inc(16, x, z) + x[16];
if (num > 511 || (num == 511 && Nat.Eq(16, z, P)))
{
num += Nat.Inc(16, z);
num &= 0x1FF;
}
z[16] = num;
}
public static void AddOne(uint[] x, uint[] z)
{
uint num = Nat.Inc(16, x, z) + x[16];
if (num > 511u || (num == 511u && Nat.Eq(16, z, SecP521R1Field.P)))
{
num += Nat.Inc(16, z);
num &= 511u;
}
z[16] = num;
}
public static void Reduce23(uint[] z)
{
uint num = z[0x10];
uint num2 = Nat.AddWordTo(0x10, num >> 9, z) + (num & 0x1ff);
if ((num2 > 0x1ff) || ((num2 == 0x1ff) && Nat.Eq(0x10, z, P)))
{
num2 += Nat.Inc(0x10, z);
num2 &= 0x1ff;
}
z[0x10] = num2;
}
public static void Reduce23(uint[] z)
{
uint num = z[16];
uint num2 = Nat.AddWordTo(16, num >> 9, z) + (num & 0x1FF);
if (num2 > 511 || (num2 == 511 && Nat.Eq(16, z, P)))
{
num2 += Nat.Inc(16, z);
num2 &= 0x1FF;
}
z[16] = num2;
}
public static void Reduce23(uint[] z)
{
uint z16 = z[16];
uint c = Nat.AddWordTo(16, z16 >> 9, z) + (z16 & P16);
if (c > P16 || (c == P16 && Nat.Eq(16, z, P)))
{
c += Nat.Inc(16, z);
c &= P16;
}
z[16] = c;
}
public static void Reduce23(uint[] z)
{
uint num = z[16];
uint num2 = Nat.AddWordTo(16, num >> 9, z) + (num & 511u);
if (num2 > 511u || (num2 == 511u && Nat.Eq(16, z, SecP521R1Field.P)))
{
num2 += Nat.Inc(16, z);
num2 &= 511u;
}
z[16] = num2;
}
public static void Reduce(uint[] xx, uint[] z)
{
uint c = xx[0x20];
uint num2 = Nat.ShiftDownBits(0x10, xx, 0x10, 9, c, z, 0) >> 0x17;
num2 += c >> 9;
num2 += Nat.AddTo(0x10, xx, z);
if ((num2 > 0x1ff) || ((num2 == 0x1ff) && Nat.Eq(0x10, z, P)))
{
num2 += Nat.Inc(0x10, z);
num2 &= 0x1ff;
}
z[0x10] = num2;
}
public static void Reduce(uint[] xx, uint[] z)
{
uint num = xx[32];
uint num2 = Nat.ShiftDownBits(16, xx, 16, 9, num, z, 0) >> 23;
num2 += num >> 9;
num2 += Nat.AddTo(16, xx, z);
if (num2 > 511 || (num2 == 511 && Nat.Eq(16, z, P)))
{
num2 += Nat.Inc(16, z);
num2 &= 0x1FF;
}
z[16] = num2;
}
public static void Reduce(uint[] xx, uint[] z)
{
Debug.Assert(xx[32] >> 18 == 0);
uint xx32 = xx[32];
uint c = Nat.ShiftDownBits(16, xx, 16, 9, xx32, z, 0) >> 23;
c += xx32 >> 9;
c += Nat.AddTo(16, xx, z);
if (c > P16 || (c == P16 && Nat.Eq(16, z, P)))
{
c += Nat.Inc(16, z);
c &= P16;
}
z[16] = c;
}
