Ejemplo n.º 1
0
 public static void Reduce32(uint x, uint[] z)
 {
     if ((x != 0 && Nat256.Mul33WordAdd(PInv33, x, z, 0) != 0) ||
         (z[7] == P7 && Nat256.Gte(z, P)))
     {
         Nat.Add33To(8, PInv33, z);
     }
 }