Safegcd’s Implementation Formally Verified
introductionThe security of Bitcoin and other blockchains, such as Liquid, is based on the use of digital signature algorithms such as ECDSA and Schnorr signatures. An AC library called libsecp256k1, named after the elliptic curve on which…