|
|
|---|
|
|
|
|---|
A formal specification of Deterministic ECDSA using secp256k1.
This library contains executable formal specifications of functions implementing the Deterministic Elliptic Curve Digital Signature Algorithm (ECDSA), using secp256k1 as the elliptic curve. This algorithm is described in IETF RFC 6979.
For more information on ECDSA before RFC 6979, see Standards for Efficient Cryptography 1 (SEC 1)