The coefficient a of the curve.
(secp256k1-a) → *
The equation of the curve is y^2 = x^3 + ax + b.
SEC 2 lists it as
00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
Function: secp256k1-a
(defun secp256k1-a nil (declare (xargs :guard t)) 0)
