Lines Matching defs:z2
1138 * point_add calcuates (x1, y1, z1) + (x2, y2, z2)
1142 * adapted for mixed addition (z2 = 1, or z2 = 0 for the point at infinity).
1151 const felem z2)
1158 z2_is_zero = felem_is_zero(z2);
1165 /* ftmp2 = z2z2 = z2**2 */
1166 felem_square(tmp, z2);
1173 /* ftmp5 = z1 + z2 */
1175 felem_sum64(ftmp5, z2);
1178 /* ftmp5 = (z1 + z2)**2 - z1z1 - z2z2 = 2*z1z2 */
1187 /* ftmp2 = z2 * z2z2 */
1188 felem_mul(tmp, ftmp2, z2);
1191 /* s1 = ftmp6 = y1 * z2**3 */
1196 * We'll assume z2 = 1 (special case z2 = 0 is handled later)
1205 /* s1 = ftmp6 = y1 * z2**3 */
1296 copy_conditional(z_out, z2, z1_is_zero);
1738 felem z1, z2, x_in, y_in, x_out, y_out;
1749 felem_inv(z2, z1);
1750 felem_square(tmp, z2);
1762 felem_mul(tmp, z1, z2);