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

加入 December 2024

0 正在關注 1.2K 粉絲

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.