Blog

Axiom news

Stories, updates, and articles from the Axiom team

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form.

Formally Verifying the OpenVM RISC-V Extension

Product

Formally Verifying the OpenVM RISC-V Extension

The OpenVM RV32IM extension has been formally verified in Lean by Nethermind Research with support from an Ethereum Foundation grant.

10 Feb 2026

Partnership

Powering Lighter EVM with OpenVM

Announcing our collaboration with Lighter to build Lighter EVM, an EVM-equivalent rollup powered by OpenVM 2.0 for native interoperability with Lighter markets.

30 Jan 2026

Proving Ethereum in Real Time with OpenVM 2.0

Product

Proving Ethereum in Real Time with OpenVM 2.0

OpenVM 2.0 is now proving Ethereum mainnet at a p99 level with 100 bits of provable security and sub-300 kB proof size.

29 Jan 2026

Product

OpenVM is live on EthProofs

OpenVM is now proving Ethereum mainnet blocks live on EthProofs.

23 Oct 2025

OpenVM GPU is live on the Axiom Proving API

Product

OpenVM GPU is live on the Axiom Proving API

Announcing support for OpenVM v1.4.0 and distributed GPU proving on the Axiom Proving API.

02 Sep 2025

Product

Introducing the Axiom Proving API Beta

Announcing the private beta launch of the Axiom Proving API.

13 May 2025

Product

Releasing OpenVM to Production

Announcing the first production release of OpenVM.

31 Mar 2025

Product

Introducing OpenVM

Announcing the first release of OpenVM, a novel open-source zkVM framework prioritizing modularity and extensibility.

16 Dec 2024

Announcing Axiom's $20 Million Series A Round

Announcement

Announcing Axiom's $20 Million Series A Round

We’ve raised $20 million, led by Paradigm and Standard Crypto, to give developers access to the power of zero-knowledge proofs.

25 Jan 2024

No results found

Please clear your filters and try again