remix
@remix7531
Formal Methods, Cryptography and Bitcoin
参加 August 2026
53 フォロー中 136 ファン
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.
人気のあるユーザー
