Meta tags:
description=A performant and modular zkVM framework built for customization and extensibility.;

Headings (most frequently used words):

openvm, announcing, the, release, releasing, preview, production, beta, formal, verification, of, rv32im, constraints, in, lean, powered, by, swirl, gpu, proving, for, solidity, sdk, tags,

Text of the page (most frequently used words):
openvm (31), the (15), and (12), #release (12), are (10), #announcing (9), for (8), releasing (7), with (6), 2025 (5), today (5), 2026 (5), excited (4), production (4), this (4), gpu (4), ethereum (3), solidity (3), sdk (3), github (3), dual (3), under (3), mit (3), apache (3), jul (3), new (3), swirl (3), audit (2), first (2), version (2), can (2), now (2), verify (2), mainnet (2), blocks (2), zkvm (2), modular (2), framework (2), license (2), prover (2), system (2), mhz (2), proving (2), gpus (2), memory (2), announce (2), proves (2), security (2), rv32im (2), has (2), lean (2), beta (2), substantial (2), performance (2), preview (2), welcome, tags, after, almost, one, year, development, competitive, cantina, low, 0015, per, transaction, mar, which, makes, easy, developers, proofs, onchain, supports, any, constructed, directly, imported, into, your, foundry, project, may, available, licensed, includes, execution, running, 150, multi, orchestration, parallel, hundreds, sep, introduces, virtual, pool, manager, well, several, access, optimizations, our, cuda, kernels, oct, proof, real, time, p99, level, risc, programs, 139, cluster, 5090, 100, bits, provable, jan, powered, that, functional, correctness, extension, been, formally, verified, nethermind, research, support, from, foundation, grant, feb, formal, verification, constraints, featuring, gains, over, initial, alpha, january, apr, completed, external, zksecurity, recommended, use, early, look, next, improvements, performant, built, customization, extensibility, search, whitepaper, about,

Text of the page (random words):
openvm about whitepaper swirl github search openvm a performant and modular zkvm framework built for customization and extensibility announcing the openvm 2 1 preview release jul 29 2026 we are announcing openvm 2 1 preview an early look at the next version of openvm with substantial performance improvements announcing the openvm 2 0 production release jul 10 2026 we are excited to announce openvm 2 0 0 the first production release of openvm 2 0 with this release openvm 2 0 has completed an external security audit by zksecurity and is now recommended for production use announcing the openvm 2 0 beta release apr 15 2026 we are excited to release openvm 2 0 beta featuring substantial performance gains over the initial openvm 2 0 alpha release in january announcing formal verification of openvm rv32im constraints in lean feb 10 2026 today we are announcing that functional correctness of the openvm rv32im extension has been formally verified in lean by nethermind research with support from an ethereum foundation grant announcing openvm 2 0 powered by swirl jan 29 2026 we are excited to announce openvm 2 0 and the swirl proof system openvm 2 0 proves mainnet ethereum blocks in real time at a p99 level and proves risc v programs at 139 mhz on a cluster of 16 5090 gpus with 100 bits of provable security releasing openvm 1 4 1 oct 30 2025 we are releasing openvm v1 4 1 today under mit and apache 2 0 dual license on github this release introduces a new virtual pool memory manager in the gpu prover as well as several memory access optimizations in our cuda kernels announcing gpu proving for openvm sep 2 2025 we are releasing openvm v1 4 0 today under mit and apache 2 0 dual license this release includes a new gpu prover for openvm new execution system running at 150 mhz and multi gpu orchestration for parallel proving on hundreds of gpus releasing openvm 1 3 0 jul 17 2025 today we are releasing openvm v1 3 0 available on github dual licensed under mit and apache 2 0 releasing the openvm solidity sdk may 13 2025 today we are releasing the openvm solidity sdk which makes it easy for developers to verify openvm proofs onchain the solidity sdk supports any zkvm constructed with the modular openvm framework and can be directly imported into your foundry project for announcing the openvm release mar 31 2025 after almost one year of development and a competitive audit by cantina we are excited to release the first production v1 0 0 version of openvm with this release openvm can now verify ethereum mainnet blocks for as low as 0 0015 per transaction and in 1 of 2 tags welcome 0