1 / 1 Relevant items tagged with #Safegcd

Posts: 1

Posts

Safegcd’s Implementation Formally Verified

[Nov 25 5:11 PM] IntroductionThe security of Bitcoin, and other blockchains, such as Liquid, hinges on the use of digital signatures algorithms such as ECDSA and Schnorr signatures. A C library called libsecp256k1, named after the elliptic curve that the library…