OpenVM

We are announcing OpenVM 2.0.0, the first production release of OpenVM 2.0.

This release is externally audited with expanded formal verification and proves Ethereum mainnet in real time on as few as 8 GPUs. Proving times are down 95x since the first release 18 months ago.

We are excited to release OpenVM 2.1 Preview, an early look at the performance of the next version of OpenVM.

It adds 64-bit RISC-V support, adopts a redesigned execution, and now proves mainnet Ethereum blocks in real time on only 4 5090 GPUs, a 2x improvement over OpenVM 2.0.

We are excited to release OpenVM 2.0 Beta, which features substantial performance gains over the OpenVM 2.0 Alpha release in January.

OpenVM 2.0 now proves mainnet Ethereum blocks in a p99 time of 7.9s on 16 5090 GPUs and has 964 MHz RISC-V throughput on 64 GPUs.

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.

We are excited to announce OpenVM 2.0 and the SWIRL proof system.

On 16 5090 GPUs, OpenVM 2.0 proves Ethereum mainnet blocks in real time at a p99 level and reaches 139 MHz on general RISC-V workloads. It supports 100 bits of provable security and < 300 kB proofs.