A library for the Short Weierstrass elliptic curve secp256k1.
This library contains executable formal specifications of elliptic curve operations
on secp256k1, defined here, which is a short Weierstrass elliptic curve with
secp256k1 is used for Bitcoin and Ethereum.
For more information on secp256k1, see secp256k1-domain-parameters.
See also the source code for more extensive discussion, references, and proved theorems.