Example #1
0
 public static void AddOne(uint[] x, uint[] z)
 {
     if ((Nat.Inc(7, x, z) != 0) || ((z[6] == uint.MaxValue) && Nat224.Gte(z, P)))
     {
         Nat.Add33To(7, 0x1a93, z);
     }
 }
Example #2
0
 public static void AddOne(uint[] x, uint[] z)
 {
     if (Nat.Inc(5, x, z) != 0u || (z[4] == 4294967295u && Nat160.Gte(z, SecP160R2Field.P)))
     {
         Nat.Add33To(5, 21389u, z);
     }
 }
Example #3
0
 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 Reduce32(uint x, uint[] z)
 {
     if (((x != 0) && (Nat192.Mul33WordAdd(0x11c9, x, z, 0) != 0)) || ((z[5] == uint.MaxValue) && Nat192.Gte(z, P)))
     {
         Nat.Add33To(6, 0x11c9, z);
     }
 }
Example #5
0
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0u && Nat160.Mul33WordAdd(21389u, x, z, 0) != 0u) || (z[4] == 4294967295u && Nat160.Gte(z, SecP160R2Field.P)))
     {
         Nat.Add33To(5, 21389u, z);
     }
 }
 public static void AddOne(uint[] x, uint[] z)
 {
     if ((Nat.Inc(8, x, 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, 0, z) != 0) || ((z[5] == uint.MaxValue) && Nat192.Gte(z, P)))
     {
         Nat.Add33To(6, 0x11c9, z);
     }
 }
Example #8
0
 public static void AddOne(uint[] x, uint[] z)
 {
     if (Nat.Inc(7, x, z) != 0 || (z[6] == uint.MaxValue && Nat224.Gte(z, P)))
     {
         Nat.Add33To(7, 6803u, z);
     }
 }
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0u && Nat192.Mul33WordAdd(4553u, x, z, 0) != 0u) || (z[5] == 4294967295u && Nat192.Gte(z, SecP192K1Field.P)))
     {
         Nat.Add33To(6, 4553u, z);
     }
 }
Example #10
0
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0 && Nat224.Mul33WordAdd(6803u, x, z, 0) != 0) || (z[6] == uint.MaxValue && Nat224.Gte(z, P)))
     {
         Nat.Add33To(7, 6803u, z);
     }
 }
Example #11
0
 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);
     }
 }
Example #12
0
 public static void Add(uint[] x, uint[] y, uint[] z)
 {
     if (Nat256.Add(x, y, z) != 0 || (z[7] == 4294967295u && Nat256.Gte(z, P)))
     {
         Nat.Add33To(8, 977u, z);
     }
 }
Example #13
0
 public static void AddOne(uint[] x, uint[] z)
 {
     if (Nat.Inc(7, x, z) != 0 || (z[6] == 4294967295u && Nat224.Gte(z, P)))
     {
         Nat.Add33To(7, 6803u, z);
     }
 }
Example #14
0
 public static void Reduce32(uint x, uint[] z)
 {
     if (((x != 0) && (Nat224.Mul33WordAdd(0x1a93, x, z, 0) != 0)) || ((z[6] == uint.MaxValue) && Nat224.Gte(z, P)))
     {
         Nat.Add33To(7, 0x1a93, z);
     }
 }
Example #15
0
 public static void AddOne(uint[] x, uint[] z)
 {
     if (Nat.Inc(8, x, z) != 0 || (z[7] == uint.MaxValue && Nat256.Gte(z, P)))
     {
         Nat.Add33To(8, 977u, z);
     }
 }
Example #16
0
 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(8, x, 0, z) != 0) || ((z[7] == uint.MaxValue) && Nat256.Gte(z, P)))
     {
         Nat.Add33To(8, 0x3d1, z);
     }
 }
Example #18
0
 public static void AddOne(uint[] x, uint[] z)
 {
     if (Nat.Inc(6, x, z) != 0u || (z[5] == 4294967295u && Nat192.Gte(z, SecP192K1Field.P)))
     {
         Nat.Add33To(6, 4553u, z);
     }
 }
 public static void Reduce32(uint x, uint[] z)
 {
     if (((x != 0) && (Nat256.Mul33WordAdd(0x3d1, x, z, 0) != 0)) || ((z[7] == uint.MaxValue) && Nat256.Gte(z, P)))
     {
         Nat.Add33To(8, 0x3d1, z);
     }
 }
Example #20
0
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0u && Nat256.Mul33WordAdd(977u, x, z, 0) != 0u) || (z[7] == 4294967295u && Nat256.Gte(z, SecP256K1Field.P)))
     {
         Nat.Add33To(8, 977u, z);
     }
 }
 public static void AddOne(uint[] x, uint[] z)
 {
     if ((Nat.Inc(6, x, z) != 0) || ((z[5] == uint.MaxValue) && Nat192.Gte(z, P)))
     {
         Nat.Add33To(6, 0x11c9, z);
     }
 }
Example #22
0
 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);
     }
 }
Example #23
0
 public static void Add(uint[] x, uint[] y, uint[] z)
 {
     if (Nat160.Add(x, y, z) != 0 || (z[4] == 4294967295u && Nat160.Gte(z, P)))
     {
         Nat.Add33To(5, 21389u, z);
     }
 }
Example #24
0
 public static void AddOne(uint[] x, uint[] z)
 {
     if (Nat.Inc(8, x, z) != 0u || (z[7] == 4294967295u && Nat256.Gte(z, SecP256K1Field.P)))
     {
         Nat.Add33To(8, 977u, z);
     }
 }
Example #25
0
 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);
     }
 }
Example #26
0
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0 && Nat256.Mul33WordAdd(977u, x, z, 0) != 0) || (z[7] == uint.MaxValue && Nat256.Gte(z, P)))
     {
         Nat.Add33To(8, 977u, z);
     }
 }
Example #27
0
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0 && Nat160.Mul33WordAdd(21389u, x, z, 0) != 0) || (z[4] == uint.MaxValue && Nat160.Gte(z, P)))
     {
         Nat.Add33To(5, 21389u, z);
     }
 }
Example #28
0
 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);
     }
 }
Example #29
0
 public static void AddOne(uint[] x, uint[] z)
 {
     if (Nat.Inc(5, x, z) != 0 || (z[4] == uint.MaxValue && Nat160.Gte(z, P)))
     {
         Nat.Add33To(5, 21389u, z);
     }
 }
Example #30
0
 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);
     }
 }