Currencies36951
Market Cap$ 2.39T+1.90%
24h Spot Volume$ 44.70B-3.43%
DominanceBTC55.42%-0.12%ETH9.96%+1.70%
ETH Gas0.07 Gwei
/

Category Libsecp256k1

The Core Issue: libsecp256k1, Bitcoin’s Cryptographic Heart

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

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...