Nethermind Security
@NethermindSec
Comprehensive security from @Nethermind, from audits to formal verification. Book now:
加入 September 2024
44 正在关注 1.6K 粉丝
Our Formal Verification team led by @PetarMax, with support from @EthereumFndn, has verified in Lean the correctness of the OpenVM RISC-V extension built by @axiom_xyz.
This work proves instruction-level correctness and, for the first time, execution and memory consistency.
🧵
显示更多
