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.
熱門用戶
