		Search-engine friendly clone of the ACL2 documentation.

Secp256k1-types

Secp256k1-point-generator

The generator point G of the group of the secp256k1 curve.

Signature
(secp256k1-point-generator) → *

This puts the two coordinates (defined as domain parameters) into a point.

Definitions and Theorems

Function: secp256k1-point-generator

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