Lines Matching defs:z2
179 uint32_t x1[10], x2[10], x3[10], z2[10], z3[10];
223 * Initialise variables x1, x2, z2, x3 and z3. We set all of them
228 br_i31_zero(z2, C255_P[0]);
229 memcpy(x2, z2, sizeof z2);
253 cswap(z2, z3, swap);
258 print_int_mont("z2", z2);
263 c255_add(a, x2, z2);
265 c255_sub(b, x2, z2);
291 c255_mul(z2, C255_A24, e);
292 c255_add(z2, z2, aa);
293 c255_mul(z2, e, z2);
297 print_int_mont("z2", z2);
303 cswap(z2, z3, swap);
306 * Inverse z2 with a modular exponentiation. This is a simple
310 memcpy(a, z2, sizeof z2);
313 c255_mul(a, a, z2);
327 c255_mul(b, z2, b);