OpenVM

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

[OpenVM @openvm_org]

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.

[Intrinsic Technologies @Intrinsic_HQ]

At Intrinsic, we apply AI to scale formal verification for software.

As a first result, we end-to-end formally verified @openvm_org, a production zero-knowledge proof system using @leanprover. Our verification shows OpenVM's cryptography is sound and matches its implementation.

[Paul DeLucia | Willow @paul1delucia]

We tested the state-of-the-art zkVMs on our real proving workload at @willow_protocol.

We ran five of them on the same GPU, using real Ethereum, Base, and Robinhood Chain blocks.

The fastest one we can use today is OpenVM by @axiom_xyz, at about two-thirds of SP1's time. 👇

[OpenVM @openvm_org]

6/ OpenVM 2.1 Preview is available now under MIT and Apache 2.0 dual license. It is a pre-production preview, and we still recommend OpenVM 2.0 for production use. To learn more:

Blog: https://t.co/fsGvNzdmDr
GitHub: https://t.co/GwhZlOE0mR

[OpenVM @openvm_org]

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.

[OpenVM @openvm_org]

5/ The performance gains come from a redesigned execution based on recompilation. OpenVM now lifts the guest binary into portable C and compiles it into a native binary.

On an Ethereum block, this runs 34x faster than a fast interpreter and has only 3x overhead compared to host.

[OpenVM @openvm_org]

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: https://t.co/kHgyydoEIi
GitHub: https://t.co/7SmwREQE2A
Full announcement: https://t.co/WQILodiE6h

[OpenVM @openvm_org]

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.

[OpenVM @openvm_org]

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.

[OpenVM @openvm_org]

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

[OpenVM @openvm_org]

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.

[OpenVM @openvm_org]

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: https://t.co/98ArGcDxCl
GitHub: https://t.co/7SmwREQE2A
Dev chat: https://t.co/dZEs0zr3W9
Full announcement: https://t.co/9c217QooIm

[OpenVM @openvm_org]

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.