We are excited to release GPU proving today in OpenVM v1.4.0, which also includes a new execution system running at 150 MHz and orchestration for distributed proving on hundreds of GPUs. This release substantially improves performance and is MIT / Apache 2.0 licensed.

7/ To learn more about OpenVM v1.4.0, check out: * Github: https://t.co/GwhZlOE0mR * Updated developer docs: https://t.co/kHgyydoEIi * Technical developer chat: https://t.co/dZEs0zr3W9 or read the full announcement:

6/ To try out OpenVM on GPU, get started at the updated developer book: https://t.co/HtiIVzrHjq Day 1 hosted proving support is also available through @axiom_xyz on the Axiom Proving API.

5/ The release was audited by @cantinaxyz and has the same MIT / Apache 2.0 dual-license as the rest of OpenVM. We chose this license to empower developers with GPU acceleration in the most flexible way, particularly for different containerized or on-prem hosting environments.

4/ Finally, we've substantially improved OpenVM's execution system via an optimized interpreter that incorporates direct memory mapping, tail call optimization, and extension-specific accelerations. The resulting execution runs at 150 MHz, which dramatically decreases proving

3/ We've also shipped a redesign of OpenVM execution and tracegen to support multi-GPU distributed proving on hundreds of GPUs. With this redesign, OpenVM operates fully in parallel after an initial preparatory execution phase.

2/ The core feature is a new GPU prover, which accelerates both proving and tracegen with no host-to-device communication. GPU support works on all Nvidia GPUs with at least 24GB of VRAM, including L40, RTX 4090, L40S, and RTX 5090 cards for both self-hosted and cloud usage.

1/ OpenVM v1.4.0 is a step change in performance -- it can prove Ethereum mainnet blocks in 15s for under $0.0003 per transaction on L40S GPUs, a 5x+ improvement from the v1.0.0 release in March 2025. We expect a 2x improvement as we move to newer 5090 GPUs in the coming weeks.

To try out the new release, check out: * Updated developer docs at: https://t.co/c6l49P92Yc * The v1.3.0 release on Github: https://t.co/yzf5pq9ESo Read the full announcement at: https://t.co/27N8YWS881

Today we are releasing OpenVM v1.3.0 with several devex improvements: * Updated guest libraries which patch popular crates like k256, p256, and ruint * A library to verify OpenVM STARK proofs inside Rust programs in OpenVM * A revamped CLI supporting all common Cargo options

Security advisory -- OpenVM v1.1.2 and earlier are affected by a vulnerability in Plonky3: https://t.co/sDzEhRRqAL https://t.co/BemPOTvac2 The new OpenVM v1.2.0 release has been upgraded to reflect a patched version of Plonky3, and all known live deployments have been updated.

Announcing powdr-OpenVM powdr’s compiler middleware now enhances @openvm_org with autoprecompiles for custom guest acceleration, showing >5x proof time improvement in end-to-end experiments. Is this the end of hand-written zkVM precompiles? More in the blog post and below 👇

To try the OpenVM Solidity SDK today, check out: * the full announcement: https://t.co/47FLSb8mW1 * our developer docs: https://t.co/216IVVmwfp or use the Foundry library at:

Today we are releasing the OpenVM Solidity SDK, which allows developers to verify OpenVM proofs onchain for ~330K gas. The Solidity SDK supports any zkVM constructed with the modular OpenVM framework and also ships as a Foundry library for the default OpenVM configuration.

Security advisory -- we found a bug in the AUIPC chip constraints in OpenVM v1.0.0: https://t.co/mJxQxQ84mB The bug has been fixed in the new OpenVM v1.1.0 release, and all known live deployments have been updated.

5/ To try out OpenVM v1.0.0 or learn more, check out: * Github: https://t.co/GwhZlOE0mR * Developer book: https://t.co/c6l49P92Yc * Whitepaper: https://t.co/XX3q6CfVd1 * Website: https://t.co/WKOWZ1pppu or read our full announcement at:

4/ We remain committed to a modular and open development philosophy and would like to collaborate with teams across the ecosystem to add new prover modalities (client-side, mobile) and new proof systems. If you are interested, reach out on Telegram: https://t.co/dZEs0zr3W9

3/ With this release, we are excited to see OpenVM used in live production environments including the upcoming @Scroll_ZKP mainnet upgrade. https://t.co/BmKlT1iEq6 In conjunction, @axiom_xyz is launching the hosted Axiom Proving API to generate OpenVM proofs for developers.

2/ OpenVM v1.0.0 is now recommended for production usage after an audit on @cantinaxyz and an internal audit by the @axiom_xyz team. We've also formalized the OpenVM design including the novel no-CPU zkVM architecture in a new whitepaper:

1/ OpenVM enters production as a full-featured and performant zkVM framework. Since the initial December v0.1 release, we have made significant strides on performance: OpenVM v1.0.0 can verify Ethereum mainnet blocks for $0.0015/tx and under 3 minutes on CPU, a 5x+ improvement.