HomeTagsSafegcd

Safegcd

TECHNICAL

Safegcd’s Implementation Formally Verified

Russell O'Connor -
Verifying an implementation of a novel modular inversion algorithm using a proof assistant. How guaranteeing Bitcoin cryptography is handled correctly is done.
- Advertisment -

LATEST ARTICLES