bitcoin++ watch
Formal Functional Correctness of libsecp256k1's Modular Inverse
with Russell O’Connor
bitcoin++ Toronto, consensus edition
The modular inverse is an essential piece of computation required for elliptic curve operations used for digital signatures in Bitcoin and other applications. A novel approach to…