Russel O'Connor, researcher at Blockstream Research (
@blksresearch) during Bitcoin ++ Consensus Edition in Toronto.
He talks to the Insider about SafeGDC, the new algorithm for modular inverse and how Bitcoin devs like Greg Maxwell, Pieter Wuille (
@pwuille), and Peter Dettman implemented it in libsecp256k1 and how it was formally verified.