Blog
Stories, updates, and articles from the Axiom team
Announcing the public devnet release of Lighter EVM, the EVM-equivalent rollup we are building with Lighter, powered by OpenVM.
We expanded OpenVM’s formal verification coverage to include the Keccak and SHA-2 extensions, proving in Lean that each circuit correctly constrains the relevant hash computation.
We are excited to announce OpenVM 2.1 Preview, an early look at OpenVM’s performance trajectory.
We discovered a soundness vulnerability in Starknet’s zero-knowledge proof system, stwo, using our AI auditor.
We are excited to release OpenVM 2.0 to production, combining state-of-the-art performance with enterprise-ready security and new features for proof aggregation.
We are announcing OpenVM 2.0 Beta, now the fastest zkVM on Ethproofs.
The OpenVM RV32IM extension has been formally verified in Lean by Nethermind Research with support from an Ethereum Foundation grant.
Announcing our collaboration with Lighter to build Lighter EVM, an EVM-equivalent rollup powered by OpenVM 2.0 for native interoperability with Lighter markets.
OpenVM 2.0 is now proving Ethereum mainnet at a p99 level with 100 bits of provable security and sub-300 kB proof size.
OpenVM is now proving Ethereum mainnet blocks live on EthProofs.
Announcing support for OpenVM v1.4.0 and distributed GPU proving on the Axiom Proving API.
Announcing the private beta launch of the Axiom Proving API.
Announcing the first production release of OpenVM.
Announcing the first release of OpenVM, a novel open-source zkVM framework prioritizing modularity and extensibility.
We’ve raised $20 million, led by Paradigm and Standard Crypto, to give developers access to the power of zero-knowledge proofs.
