Lines Matching refs:x_out
667 * Outputs can equal corresponding inputs, i.e., x_out == x_in is allowed,
668 * while x_out == y_in is not (maybe this works, but it's not tested). */
669 static void point_double(felem x_out, felem y_out, felem z_out,
708 felem_reduce(x_out, tmp);
725 felem_diff(beta, x_out);
756 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
867 /* x_out = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 -
871 felem_reduce(x_out, tmp2);
873 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out */
874 felem_diff(ftmp2, x_out);
877 /* tmp2 = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) */
881 /* y_out = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) -
887 /* the result (x_out, y_out, z_out) is incorrect if one of the inputs is
891 copy_conditional(x_out, x2, z1_is_zero);
892 copy_conditional(x_out, x1, z2_is_zero);
897 felem_assign(x3, x_out);
936 * Output point (X, Y, Z) is stored in x_out, y_out, z_out */
937 static void batch_mul(felem x_out, felem y_out, felem z_out,
1017 felem_assign(x_out, nq[0]);
1072 felem z1, z2, x_in, y_in, x_out, y_out;
1091 felem_contract(x_out, x_in);
1092 if (x != NULL && !felem_to_BN(x, x_out)) {
1147 felem x_in, y_in, z_in, x_out, y_out, z_out;
1216 if (!BN_to_felem(x_out, &p->X) ||
1222 felem_assign(pre_comp[i][1][0], x_out);
1262 batch_mul(x_out, y_out, z_out, (const felem_bytearray(*))secrets,
1267 felem_contract(x_in, x_out);
