Lines Matching refs:z1
1068 static void ecc_point_double_jacobian(u64 *x1, u64 *y1, u64 *z1,
1077 if (vli_is_zero(z1, ndigits))
1086 /* t2 = y1*z1 = z3 */
1087 vli_mod_mult_fast(y1, y1, z1, curve);
1088 /* t3 = z1^2 */
1089 vli_mod_square_fast(z1, z1, curve);
1091 /* t1 = x1 + z1^2 */
1092 vli_mod_add(x1, x1, z1, curve_prime, ndigits);
1093 /* t3 = 2*z1^2 */
1094 vli_mod_add(z1, z1, z1, curve_prime, ndigits);
1095 /* t3 = x1 - z1^2 */
1096 vli_mod_sub(z1, x1, z1, curve_prime, ndigits);
1097 /* t1 = x1^2 - z1^4 */
1098 vli_mod_mult_fast(x1, x1, z1, curve);
1100 /* t3 = 2*(x1^2 - z1^4) */
1101 vli_mod_add(z1, x1, x1, curve_prime, ndigits);
1102 /* t1 = 3*(x1^2 - z1^4) */
1103 vli_mod_add(x1, x1, z1, curve_prime, ndigits);
1112 /* t1 = 3/2*(x1^2 - z1^4) = B */
1115 vli_mod_square_fast(z1, x1, curve);
1117 vli_mod_sub(z1, z1, t5, curve_prime, ndigits);
1119 vli_mod_sub(z1, z1, t5, curve_prime, ndigits);
1121 vli_mod_sub(t5, t5, z1, curve_prime, ndigits);
1127 vli_set(x1, z1, ndigits);
1128 vli_set(z1, y1, ndigits);