Lines Matching defs:z2
1129 * point_add calcuates (x1, y1, z1) + (x2, y2, z2)
1133 * adapted for mixed addition (z2 = 1, or z2 = 0 for the point at infinity).
1142 const felem z2)
1149 z2_is_zero = felem_is_zero(z2);
1156 /* ftmp2 = z2z2 = z2**2 */
1157 felem_square(tmp, z2);
1164 /* ftmp5 = z1 + z2 */
1166 felem_sum64(ftmp5, z2);
1169 /* ftmp5 = (z1 + z2)**2 - z1z1 - z2z2 = 2*z1z2 */
1178 /* ftmp2 = z2 * z2z2 */
1179 felem_mul(tmp, ftmp2, z2);
1182 /* s1 = ftmp6 = y1 * z2**3 */
1187 * We'll assume z2 = 1 (special case z2 = 0 is handled later)
1196 /* s1 = ftmp6 = y1 * z2**3 */
1287 copy_conditional(z_out, z2, z1_is_zero);
1729 felem z1, z2, x_in, y_in, x_out, y_out;
1740 felem_inv(z2, z1);
1741 felem_square(tmp, z2);
1753 felem_mul(tmp, z1, z2);