Currencies38352
Market Cap$ 2.26T+0.70%
24h Spot Volume$ 22.77B+50.2%
DominanceBTC56.57%+0.19%ETH9.96%-0.59%
ETH Gas0.24 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...