Lines Matching defs:z2
380 uint64_t x1[5], x2[5], z2[5], x3[5], z3[5];
412 memset(z2, 0, sizeof z2);
436 f255_cswap(z2, z3, swap);
451 f255_add(a, x2, z2);
457 f255_sub(b, x2, z2);
490 f255_mul_a24(z2, e);
491 f255_add(z2, aa, z2);
492 f255_mul(z2, e, z2);
496 f255_cswap(z2, z3, swap);
499 * Compute 1/z2 = z2^(p-2). Since p = 2^255-19, we can mutualize
502 memcpy(x1, z2, sizeof z2);
505 f255_mul(x1, x1, z2);
519 f255_mul(x3, z2, x3);
524 * Compute x2/z2. We have 1/z2 in x3.