Verifying an implementation of a novel modular inversion algorithm using a proof assistant. How guaranteeing Bitcoin cryptography is handled correctly is done.
Source: Bitcoin Magazine
1 min read
1 min read
3 min read
