Currencies36994
Market Cap$ 2.50T-2.94%
24h Spot Volume$ 52.55B-17.3%
DominanceBTC56.68%-0.64%ETH10.00%-0.92%
ETH Gas0.09 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...