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.
인기 있는 사용자
