		Search-engine friendly clone of the ACL2 documentation.

Secp256k1-generator-x

The x coordinate of the generator G of the group of the curve.

SEC 2 lists the point in compressed and uncompressed form. The x coordinate is apparent in both forms as

79BE667E F9DCBBAC 55A06295 CE870B07 029BFCDB 2DCE28D9 59F2815B 16F81798

Function: secp256k1-generator-x

(defun secp256k1-generator-x nil
 (declare (xargs :guard t))
 55066263022277343669578718895168534326250603453777594175500187360389116729240)