VADDPD (BX), Y15, Y2                    // c4e1055813 or c5855813
	VADDPD (R11), Y15, Y2                   // c4c1055813
	VADDPD Y2, Y15, Y2                      // c4e10558d2 or c58558d2
	VADDPD Y11, Y15, Y2                     // c4c10558d3
	VADDPD (BX), Y15, Y11                   // c46105581b or c505581b
	VADDPD (R11), Y15, Y11                  // c44105581b

{{.p}}B() *{{.Element}} { _{{.p}}BOnce.Do(func() { _{{.p}}B, _ = new({{.Element}}).SetBytes({{.B}}) }) return _{{.p}}B } // {{.p}}Polynomial sets y2 to x³ - 3x + b, and returns y2. func {{.p}}Polynomial(y2, x *{{.Element}}) *{{.Element}} { y2.Square(x) y2.Mul(y2, x) threeX := new({{.Element}}).Add(x, x) threeX.Add(threeX, x) y2.Sub(y2, threeX) return y2.Add(y2, {{.p}}B()) } func {{.p}}CheckOnCurve(x, y *{{.Element}}) error { // y² = x³ - 3x + b rhs := {{.p}}Polynomial(new({{.Element}}), x) lhs := ne...