Lines Matching defs:y2
1155 /* P = (x1, y1) => 2P, (x2, y2) => P' */
1156 static void xycz_initial_double(u64 *x1, u64 *y1, u64 *x2, u64 *y2,
1163 vli_set(y2, y1, ndigits);
1175 apply_z(x2, y2, z, curve);
1178 /* Input P = (x1, y1, Z), Q = (x2, y2, Z)
1182 static void xycz_add(u64 *x1, u64 *y1, u64 *x2, u64 *y2,
1198 /* t4 = y2 - y1 */
1199 vli_mod_sub(y2, y2, y1, curve_prime, ndigits);
1200 /* t5 = (y2 - y1)^2 = D */
1201 vli_mod_square_fast(t5, y2, curve);
1213 /* t4 = (y2 - y1)*(B - x3) */
1214 vli_mod_mult_fast(y2, y2, x2, curve);
1216 vli_mod_sub(y2, y2, y1, curve_prime, ndigits);
1221 /* Input P = (x1, y1, Z), Q = (x2, y2, Z)
1225 static void xycz_add_c(u64 *x1, u64 *y1, u64 *x2, u64 *y2,
1243 /* t4 = y2 + y1 */
1244 vli_mod_add(t5, y2, y1, curve_prime, ndigits);
1245 /* t4 = y2 - y1 */
1246 vli_mod_sub(y2, y2, y1, curve_prime, ndigits);
1254 /* t3 = (y2 - y1)^2 */
1255 vli_mod_square_fast(x2, y2, curve);
1261 /* t4 = (y2 - y1)*(B - x3) */
1262 vli_mod_mult_fast(y2, y2, t7, curve);
1264 vli_mod_sub(y2, y2, y1, curve_prime, ndigits);
1266 /* t7 = (y2 + y1)^2 = F */
1272 /* t6 = (y2 + y1)*(x3' - B) */