Nethermind Security(@NethermindSec):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. 🧵

Nethermind Security

@NethermindSec

Comprehensive security from @Nethermind, from audits to formal verification. Book now:

Joined September 2024

44 Following 1.6K Followers

Nethermind Security@NethermindSec

2026.02.10 17:00

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. 🧵