public static void Twice(uint[] x, uint[] z) { if ((Nat.ShiftUpBit(7, x, 0, z) != 0) || ((z[6] == uint.MaxValue) && Nat224.Gte(z, P))) { Nat.Add33To(7, 0x1a93, z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(6, x, 0u, z) != 0 || (z[5] == uint.MaxValue && Nat192.Gte(z, P))) { Nat.Add33To(6, 4553u, z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(7, x, 0u, z) != 0 || (z[6] == 4294967295u && Nat224.Gte(z, P))) { AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(7, x, 0u, z) != 0u || (z[6] == 4294967295u && Nat224.Gte(z, SecP224K1Field.P))) { Nat.Add33To(7, 6803u, z); } }
public static void Twice(uint[] x, uint[] z) { if ((Nat.ShiftUpBit(8, x, 0, z) != 0) || ((z[7] == uint.MaxValue) && Nat256.Gte(z, P))) { Nat.Add33To(8, 0x3d1, z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(6, x, 0u, z) != 0u || (z[5] == 4294967295u && Nat192.Gte(z, SecP192R1Field.P))) { SecP192R1Field.AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(6, x, 0u, z) != 0u || (z[5] == 4294967295u && Nat192.Gte(z, SecP192K1Field.P))) { Nat.Add33To(6, 4553u, z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(5, x, 0u, z) != 0 || (z[4] == 4294967295u && Nat160.Gte(z, P))) { Nat.AddWordTo(5, 2147483649u, z); } }
public static void Twice(uint[] x, uint[] z) { if ((Nat.ShiftUpBit(4, x, 0, z) != 0) || ((z[3] == 0xfffffffd) && Nat128.Gte(z, P))) { AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(7, x, 0u, z) != 0 || (z[6] == uint.MaxValue && Nat224.Gte(z, P))) { Nat.Add33To(7, 6803u, z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(8, x, 0u, z) != 0u || (z[7] == 4294967295u && Nat256.Gte(z, SecP256K1Field.P))) { Nat.Add33To(8, 977u, z); } }
public static void Twice(uint[] x, uint[] z) { if ((Nat.ShiftUpBit(5, x, 0, z) != 0) || ((z[4] == uint.MaxValue) && Nat160.Gte(z, P))) { Nat.AddWordTo(5, 0x80000001, z); } }
public static void Twice(uint[] x, uint[] z) { uint num = x[0x10]; uint num2 = Nat.ShiftUpBit(0x10, x, num << 0x17, z) | (num << 1); z[0x10] = num2 & 0x1ff; }
public static void Twice(uint[] x, uint[] z) { uint x16 = x[16]; uint c = Nat.ShiftUpBit(16, x, x16 << 23, z) | (x16 << 1); z[16] = c & P16; }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(12, x, 0u, z) != 0 || (z[11] == uint.MaxValue && Nat.Gte(12, z, P))) { AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { if ((Nat.ShiftUpBit(6, x, 0, z) != 0) || ((z[5] == uint.MaxValue) && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(5, x, 0u, z) != 0u || (z[4] == 4294967295u && Nat160.Gte(z, SecP160R2Field.P))) { Nat.Add33To(5, 21389u, z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(5, x, 0u, z) != 0 || (z[4] == uint.MaxValue && Nat160.Gte(z, P))) { Nat.Add33To(5, 21389u, z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(4, x, 0u, z) != 0u || (z[3] == 4294967293u && Nat128.Gte(z, SecP128R1Field.P))) { SecP128R1Field.AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(4, x, 0u, z) != 0 || (z[3] == 4294967293u && Nat128.Gte(z, P))) { AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(7, x, 0u, z) != 0u || (z[6] == 4294967295u && Nat224.Gte(z, SecP224R1Field.P))) { SecP224R1Field.AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { uint num = x[16]; uint num2 = Nat.ShiftUpBit(16, x, num << 23, z) | (num << 1); z[16] = (num2 & 0x1FF); }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(12, x, 0u, z) != 0u || (z[11] == 4294967295u && Nat.Gte(12, z, SecP384R1Field.P))) { SecP384R1Field.AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(8, x, 0u, z) != 0 || (z[7] == uint.MaxValue && Nat256.Gte(z, P))) { Nat.Add33To(8, 977u, z); } }
public static void Twice(uint[] x, uint[] z) { Nat.ShiftUpBit(8, x, 0, z); if (Nat256.Gte(z, P)) { SubPFrom(z); } }
public static void Twice(uint[] x, uint[] z) { Nat.ShiftUpBit(8, x, 0u, z); if (Nat256.Gte(z, Curve25519Field.P)) { Curve25519Field.SubPFrom(z); } }
public static void Twice(uint[] x, uint[] z) { Nat.ShiftUpBit(8, x, 0, z); if (Nat256.Gte(z, P)) { AddPInvTo(z); } }
public static void Twice(uint[] x, uint[] z) { uint c = Nat.ShiftUpBit(5, x, 0, z); if (c != 0 || (z[4] == P4 && Nat160.Gte(z, P))) { Nat.AddWordTo(5, PInv, z); } }
public static void Twice(uint[] x, uint[] z) { uint c = Nat.ShiftUpBit(7, x, 0, z); if (c != 0 || (z[6] == P6 && Nat224.Gte(z, P))) { Nat.Add33To(7, PInv33, z); } }
public static void Twice(uint[] x, uint[] z) { uint c = Nat.ShiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P))) { AddPInvTo(z); } }