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.
๐งต
๋ ๋ณด๊ธฐ
