Lines Matching defs:x3
667 uint64_t x[5], y[5], t[5], x3[5], tt;
691 f256_montysquare(x3, x);
692 f256_montymul(x3, x3, x);
693 f256_sub(t, t, x3);
875 * x3 = r^2 - h^3 - 2 * u1 * h^2
876 * y3 = r * (u1 * h^2 - x3) - s1 * h^3
918 * Compute x3 = r^2 - h^3 - 2*u1*h^2.
926 * Compute y3 = r*(u1*h^2 - x3) - s1*h^3.
987 * x3 = r^2 - h^3 - 2 * u1 * h^2
988 * y3 = r * (u1 * h^2 - x3) - s1 * h^3
1028 * Compute x3 = r^2 - h^3 - 2*u1*h^2.
1036 * Compute y3 = r*(u1*h^2 - x3) - s1*h^3.
1072 * x3 = r^2 - h^3 - 2 * u1 * h^2
1073 * y3 = r * (u1 * h^2 - x3) - s1 * h^3
1081 * - If P1 = P2, then u1 = u2 and s1 = s2, and x3, y3 and z3
1091 * we get x3, y3 and z3 equal to 0. We can test for that
1094 * and add it, combined with the mask, to (x3,y3,z3).
1156 * Compute x3 = r^2 - h^3 - 2*u1*h^2.
1164 * Compute y3 = r*(u1*h^2 - x3) - s1*h^3.
1220 * We combine them with (x3,y3,z3).