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