Exemplo n.º 1
0
 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);
     }
 }
Exemplo n.º 2
0
 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);
     }
 }
Exemplo n.º 3
0
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0 && Nat192.Mul33WordAdd(4553u, x, z, 0) != 0) || (z[5] == uint.MaxValue && Nat192.Gte(z, P)))
     {
         Nat.Add33To(6, 4553u, z);
     }
 }
Exemplo n.º 4
0
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0 && Nat192.Mul33WordAdd(PInv33, x, z, 0) != 0) ||
         (z[5] == P5 && Nat192.Gte(z, P)))
     {
         Nat.Add33To(6, PInv33, z);
     }
 }
Exemplo n.º 5
0
        public static void Reduce32(uint x, uint[] z)
        {
            uint c = Nat192.Mul33WordAdd(PInv33, x, z, 0);

            Debug.Assert(c == 0 || c == 1);

            if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P)))
            {
                Nat192.AddDWord(PInv, z, 0);
            }
        }