Lines Matching defs:z2
628 uint64_t x1[4], x2[4], z2[4], x3[4], z3[4];
658 memset(z2, 0, sizeof z2);
682 f255_cswap(z2, z3, swap);
686 f255_add(a, x2, z2);
692 f255_sub(b, x2, z2);
725 f255_mul_a24(z2, e);
726 f255_add(z2, aa, z2);
727 f255_mul(z2, e, z2);
731 f255_cswap(z2, z3, swap);
734 * Compute 1/z2 = z2^(p-2). Since p = 2^255-19, we can mutualize
737 memcpy(x1, z2, sizeof z2);
740 f255_mul(x1, x1, z2);
754 f255_mul(x3, z2, x3);
759 * Compute x2/z2. We have 1/z2 in x3.