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.

7/ OpenVM 2.0 is available under MIT and Apache 2.0 dual license, including the GPU prover, and is recommended for production use. To try it out: Docs: docs.openvm.dev GitHub: github.com/openvm-org Full announcement: blog.openvm.dev/2.0-production

6/ On a smaller cluster of only 8 5090 GPUs, OpenVM 2.0 now proves Ethereum in real time, with an average proving time of 5.4s and a p99 time of 9.8s. Lower hardware requirements for proving drive greater decentralization and scalability for the chain.

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.

@AiKiXD We're continuing to push hard, more coming soon!

@openvm_org Impressive. What's the expected ceiling? Do you see a path to multiples of that, say 4x, on a same sized cluster?

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.

7/ OpenVM 2.0 Beta is now available under MIT and Apache 2.0 dual-license in pre-production preview. To try it out, check out: Preview docs: docs-preview.openvm.dev GitHub: github.com/openvm-org Dev chat: t.me/openvm Full announcement: blog.openvm.dev/2.0-beta

6/ On Ethereum mainnet block 21,000,000, proving time has dropped to 3.5s, continuing a trend of 25% month-over-month reduction throughout the 15 months since the v0.1 release of OpenVM.

Announcing powdr-wasm! powdr-wasm is an optimized zkVM for WASM, built on top of @openvm_org and the novel 𝑐𝑟𝑢𝑠ℎ ISA. Early benchmarks already show 1.5x fewer trace cells & faster proof times compared to RISC-V (OpenVM). It also supports Go guests via WASI! 👇

6/ Together, these efforts push OpenVM towards a future where the strength and correctness of its security are backed by formal methods. • The full report is here: github.com/openvm-org/ope… • Read the full announcement: blog.openvm.dev/fv

5/ OpenVM is also making a broader move towards provable security. OpenVM 1.5.0 is available with 100 bits of provable security on GitHub under MIT / Apache 2.0 dual-license, and the upcoming OpenVM 2.0 will also feature 100 bit security. We are actively working towards 128 bits.

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.