HomeAuthorsPosts by Russell O'Connor

Russell O'Connor

Russell O'Connor
1 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.

Get daily news in your inbox

- 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