Currencies38120
Market Cap$ 2.23T+0.53%
24h Spot Volume$ 28.10B-25.1%
DominanceBTC56.14%+0.34%ETH9.40%-0.45%
ETH Gas0.19 Gwei
Cryptorank
/

Category Safegcd

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