Lines Matching defs:z2
786 fe x1, x2, z2, x3, z3;
799 * z2' = z3' = 0, and z2 = z3 = 0 gives z2' = z3' = 0. The statement was
822 fe_0(&z2);
831 * pos >= -1; if z2 = 0 then x2 is nonzero; if z3 = 0 then x3
835 * to_xz (r*P) === if swap then (x3, z3) else (x2, z2)
836 * to_xz ((r+1)*P) === if swap then (x2, z2) else (x3, z3)
843 fe_cswap(&z2, &z3, swap);
853 fe_sub(&tmp1l, &x2, &z2);
854 fe_add(&x2l, &x2, &z2);
857 fe_mul_tll(&z2, &z2l, &tmp1l);
860 fe_add(&x3l, &z3, &z2);
861 fe_sub(&z2l, &z3, &z2);
864 fe_sq_tl(&z2, &z2l);
868 fe_mul_ttt(&z3, &x1, &z2);
869 fe_mul_tll(&z2, &tmp1l, &tmp0l);
872 * else (x2, z2)
875 fe_cswap(&z2, &z3, swap);
877 fe_invert(&z2, &z2);
878 fe_mul_ttt(&x2, &x2, &z2);
883 explicit_bzero(&z2, sizeof(z2));