openvm · Shippeth

Showing only OpenVM. Show everything

A performant and modular zkVM framework built for customization and extensibility.openvm-org/openvm on GitHub

Top of this filter

Items with a reason of their own, ranked by urgency, weight and how often the project publishes

OpenVMZK-Provingopenvm-org/openvm·29 Jul

Announcing the OpenVM 2.1 Preview Release (opens in a new tab)

We are announcing OpenVM 2.1 Preview, an early look at the next version of OpenVM with substantial performance improvements.OpenVM

OpenVMZK-Provingopenvm-org/openvm·10 Jul

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

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

OpenVMZK-Provingopenvm-org/openvm·26 JunSecurity

v1.7.0 (opens in a new tab)

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

OpenVMZK-Provingopenvm-org/openvm·15 MaySecurity

v1.6.0 (opens in a new tab)

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

OpenVMZK-Provingopenvm-org/openvm·15 Apr

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

OpenVMZK-Provingopenvm-org/openvm·10 Feb

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

OpenVMZK-Provingopenvm-org/openvm·29 Jan

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