Safegcd's Implementation Formally VerifiedThe safegcd algorithm enhances the security of Bitcoin's libsecp256k1 library through efficient modular inversion.