HomeAuthorsPosts by Russell O'Connor

Russell O'Connor

Russell O'Connor
0 POSTS0 COMMENTS

Safegcd’s Implementation Formally Verified

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

Get daily news in your inbox

- Advertisement -
- Advertisment -

EDITOR PICKS

POPULAR POSTS

CATEGORIES

ABOUT US

Established in 2012, Bitcoin Magazine is the oldest and most established source of trustworthy news, information and thought leadership on Bitcoin.

FOLLOW US

© 2025 BTC INC