Russell O'Connor
1 POSTS0 COMMENTS
Safegcd’s Implementation Formally Verified
Verifying an implementation of a novel modular inversion algorithm using a proof assistant. How guaranteeing Bitcoin cryptography is handled correctly is done.
DOWNLOAD THE BITCOIN MAGAZINE APP
Watch live, catch up on episodes, and get exclusive content on the go.
SCAN TO DOWNLOAD
ABOUT US
Bitcoin Magazine is published by BTC Inc., a subsidiary of Nakamoto Inc. (NASDAQ: NAKA).
FOLLOW US
© BTC Media, LLC 2026