A performant and modular zkVM framework built for customization and extensibility.openvm-org/openvm on GitHub
38 items match, 9 of them low signal.
OpenVM v2.1.0 adds optional certified STARK verification and includes security and correctness fixes across the verifier, cryptographic guest libraries, transpiler, and toolchain. Prebuilt binaries for various machines are attached. Security Fixes.OpenVM release notes
We are announcing OpenVM 2.1 Preview, an early look at the next version of OpenVM with substantial performance improvements.OpenVM
Announcement post · release notes for v2.0.0 (opens in a new tab)
OpenVM v2.0.0 introduces the SWIRL proof system, which is implemented in STARK Backend v2.0.0. This release adds the recursive verifier circuit for SWIRL, the continuation aggregation pipeline, and the deferral framework, including the verify-stark deferral pa…OpenVM release notes
This release is a security release. All users on v1.6.0 or earlier are recommended to upgrade. Security Fixes. This release addresses the following security advisories: GHSA-396x-v8w4-9x82: MemoryMerkleAir allows below-leaf rows to alter memory roots.OpenVM release notes
This release is a security release. All users on v1.5.0 or earlier are recommended to upgrade. Security Fixes. This release addresses the following security advisories: GHSA-9jfx-4f4f-497j: SHA-256 and Keccak circuits under-constrained.OpenVM release notes
We are excited to release OpenVM 2.0 Beta, featuring substantial performance gains over the initial OpenVM 2.0 Alpha release in January.OpenVM
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
Everything here already leads the page above.