Lines Matching refs:z1
1080 static void ecc_point_double_jacobian(u64 *x1, u64 *y1, u64 *z1,
1089 if (vli_is_zero(z1, ndigits))
1098 /* t2 = y1*z1 = z3 */
1099 vli_mod_mult_fast(y1, y1, z1, curve);
1100 /* t3 = z1^2 */
1101 vli_mod_square_fast(z1, z1, curve);
1103 /* t1 = x1 + z1^2 */
1104 vli_mod_add(x1, x1, z1, curve_prime, ndigits);
1105 /* t3 = 2*z1^2 */
1106 vli_mod_add(z1, z1, z1, curve_prime, ndigits);
1107 /* t3 = x1 - z1^2 */
1108 vli_mod_sub(z1, x1, z1, curve_prime, ndigits);
1109 /* t1 = x1^2 - z1^4 */
1110 vli_mod_mult_fast(x1, x1, z1, curve);
1112 /* t3 = 2*(x1^2 - z1^4) */
1113 vli_mod_add(z1, x1, x1, curve_prime, ndigits);
1114 /* t1 = 3*(x1^2 - z1^4) */
1115 vli_mod_add(x1, x1, z1, curve_prime, ndigits);
1124 /* t1 = 3/2*(x1^2 - z1^4) = B */
1127 vli_mod_square_fast(z1, x1, curve);
1129 vli_mod_sub(z1, z1, t5, curve_prime, ndigits);
1131 vli_mod_sub(z1, z1, t5, curve_prime, ndigits);
1133 vli_mod_sub(t5, t5, z1, curve_prime, ndigits);
1139 vli_set(x1, z1, ndigits);
1140 vli_set(z1, y1, ndigits);