_11110000 // x16 = _11111111 << 8 + _11111111 // x32 = x16 << 16 + x16 // return ((x32 << 32 + 1) << 96 + 1) << 94 // p256Square(t0, x, 1) t0.Mul(x, t0) p256Square(t1, t0, 2) t0.Mul(t0, t1) p256Square(t1, t0, 4) t0.Mul(t0, t1) p256Square(t1, t0, 8) t0.Mul(t0, t1) p256Square(t1, t0, 16) t0.Mul(t0, t1) p256Square(t0, t0, 32) t0.Mul(x, t0) p256Square(t0, t0, 96) t0.Mul(x, t0) p256Square(t0, t0, 94) // Check if the candidate t0 is indeed a square root of x. t1.Square(t0) if t1.Equal(x) != 1 { return false...