Ethereum writing and news

Announcing the OpenVM 2.0 Beta Release (opens in a new tab)

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

Announcing Formal Verification of OpenVM RV32IM Constraints in Lean (opens in a new tab)

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.OpenVM

Announcing OpenVM 2.0, Powered by SWIRL (opens in a new tab)

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.OpenVM

Releasing OpenVM 1.4.1 (opens in a new tab)

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.OpenVM

Announcing GPU Proving for OpenVM (opens in a new tab)

Announcement post · release notes for v1.4.0 (opens in a new tab)

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.OpenVM

Releasing OpenVM 1.3.0 (opens in a new tab)

Announcement post · release notes for v1.3.0 (opens in a new tab)

Today we are releasing OpenVM v1.3.0, available on Github dual-licensed under MIT and Apache 2.0.OpenVM