Lines Matching defs:x3
620 uint64_t x[4], y[4], t[4], x3[4], tt;
650 f256_montysquare(x3, x);
651 f256_montymul(x3, x3, x);
652 f256_sub(t, t, x3);
844 * x3 = r^2 - h^3 - 2 * u1 * h^2
845 * y3 = r * (u1 * h^2 - x3) - s1 * h^3
887 * Compute x3 = r^2 - h^3 - 2*u1*h^2.
895 * Compute y3 = r*(u1*h^2 - x3) - s1*h^3.
956 * x3 = r^2 - h^3 - 2 * u1 * h^2
957 * y3 = r * (u1 * h^2 - x3) - s1 * h^3
997 * Compute x3 = r^2 - h^3 - 2*u1*h^2.
1005 * Compute y3 = r*(u1*h^2 - x3) - s1*h^3.
1041 * x3 = r^2 - h^3 - 2 * u1 * h^2
1042 * y3 = r * (u1 * h^2 - x3) - s1 * h^3
1050 * - If P1 = P2, then u1 = u2 and s1 = s2, and x3, y3 and z3
1060 * we get x3, y3 and z3 equal to 0. We can test for that
1063 * and add it, combined with the mask, to (x3,y3,z3).
1124 * Compute x3 = r^2 - h^3 - 2*u1*h^2.
1132 * Compute y3 = r*(u1*h^2 - x3) - s1*h^3.
1187 * We combine them with (x3,y3,z3).