Lines Matching refs:z1z1
844 felem z1z1, z1z1z1, s2, u2, h, i, j, r, rr, v, tmp;
846 felem_square(z1z1, z1);
849 felem_mul(u2, x2, z1z1);
850 felem_mul(z1z1z1, z1, z1z1);
882 felem z1z1, z1z1z1, z2z2, z2z2z2, s1, s2, u1, u2, h, i, j, r, rr, v, tmp;
884 felem_square(z1z1, z1);
890 felem_diff(tmp, tmp, z1z1);
896 felem_mul(u2, x2, z1z1);
897 felem_mul(z1z1z1, z1, z1z1);
929 felem z1z1, z1z1z1, z2z2, z2z2z2, s1, s2, u1, u2, h, i, j, r, rr, v, tmp;
932 felem_square(z1z1, z1);
938 felem_diff(tmp, tmp, z1z1);
944 felem_mul(u2, x2, z1z1);
945 felem_mul(z1z1z1, z1, z1z1);
