z3.Mul(t4, z3) // Z3 ← t4 · Z3 t1.Mul(t3, t0) // t1 ← t3 · t0 z3.Add(z3, t1) // Z3 ← Z3 + t1 q.x.Select(&p1.x, x3, infinity) q.y.Select(&p1.y, y3, infinity) q.z.Select(&p1.z, z3, infinity) return q } // Select sets q to p1 if cond == 1, and to p2 if cond == 0. func (q *P256Point) Select(p1, p2 *P256Point, cond int) *P256Point { q.x.Select(&p1.x, &p2.x, cond) q.y.Select(&p1.y, &p2.y, cond) q.z.Select(&p1.z, &p2.z, cond) return q } // p256OrdElement is a P-256 scalar field element in [0, ord(G)-1] in the...