
The Core Issue: libsecp256k1, Bitcoin’s Cryptographic Heart
Bitcoin Magazine
The Core Issue: libsecp256k1, Bitcoin’s Cryptographic Heart
From The Core Issue: The story of what started out as a "small hobby ...

Safegcd’s Implementation Formally Verified
Verifying an implementation of a novel modular inversion algorithm using a proof assistant. How guaranteeing Bitcoin cryptography is handled correc...