		Search-engine friendly clone of the ACL2 documentation.

Secp256k1-generator-y

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

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

483ADA77 26A3C465 5DA4FBFC 0E1108A8 FD17B448 A6855419 9C47D08F FB10D4B8

Function: secp256k1-generator-y

(defun secp256k1-generator-y nil
 (declare (xargs :guard t))
 32670510020758816978083085130507043184471273380659243275938904335757337482424)