OpenVM(@openvm_org):The functional correctness of the OpenVM RV32IM extension has been formally verified using @leanprover by @Nethermind with support from @ethereumfndn. This marks a major step in incorporating formal methods into OpenVM's development process that we will maintain going forward.

OpenVM

@openvm_org

A performant and modular zkVM framework built for customization and extensibility. Learn more at

Joined December 2024

0 Following 1.2K Followers

OpenVM@openvm_org

2026.02.10 17:00

The functional correctness of the OpenVM RV32IM extension has been formally verified using @leanprover by @Nethermind with support from @ethereumfndn. This marks a major step in incorporating formal methods into OpenVM's development process that we will maintain going forward.