remix
@remix7531
Formal Methods, Cryptography and Bitcoin
53 Following 136 Followers
1/6 libsecp256k1 formal verification update:
In June, I finished proofs for all 38 scalar functions and 22 int128 functions in the extracted libsecp256k1 backend, including internal helpers.
