Lines Matching defs:z3
1303 uint32_t x1[20], x2[20], x3[20], z2[20], z3[20];
1324 * Initialise variables x1, x2, z2, x3 and z3. We set all of them
1332 memset(z3, 0, sizeof z3);
1333 z3[0] = 1;
1352 cswap(z2, z3, swap);
1359 print_int("z3", z3);
1367 f255_add(c, x3, z3);
1368 f255_sub(d, x3, z3);
1386 f255_sub(z3, da, cb);
1387 f255_square(z3, z3);
1388 f255_mul(z3, z3, x1);
1398 print_int("z3", z3);
1402 cswap(z2, z3, swap);