Stories, updates, and articles from the Axiom teamhttps://www.axiom.xyzhttps://www.axiom.xyz/blog/lighter-evm-devnethttps://www.axiom.xyz/blog/lighter-evm-devnet/Announcing the public devnet release of Lighter EVM, the EVM-equivalent rollup we are building with Lighter, powered by OpenVM.Fri, 16 Oct 2026 00:00:00 GMThttps://www.axiom.xyz/blog/fv-keccak-sha2https://www.axiom.xyz/blog/fv-keccak-sha2/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.Wed, 19 Aug 2026 00:00:00 GMThttps://www.axiom.xyz/blog/2-1https://www.axiom.xyz/blog/2-1/We are excited to announce OpenVM 2.1 Preview, an early look at OpenVM’s performance trajectory.Wed, 29 Jul 2026 00:00:00 GMThttps://www.axiom.xyz/blog/stwo-bughttps://www.axiom.xyz/blog/stwo-bug/We discovered a soundness vulnerability in Starknet’s zero-knowledge proof system, stwo, using our AI auditor.Mon, 27 Jul 2026 00:00:00 GMThttps://www.axiom.xyz/blog/openvm-2-productionhttps://www.axiom.xyz/blog/openvm-2-production/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.Fri, 10 Jul 2026 00:00:00 GMThttps://www.axiom.xyz/blog/openvm-2-betahttps://www.axiom.xyz/blog/openvm-2-beta/We are announcing OpenVM 2.0 Beta, now the fastest zkVM on Ethproofs.Wed, 15 Apr 2026 00:00:00 GMThttps://www.axiom.xyz/blog/formal-verificationhttps://www.axiom.xyz/blog/formal-verification/The OpenVM RV32IM extension has been formally verified in Lean by Nethermind Research with support from an Ethereum Foundation grant.Tue, 10 Feb 2026 00:00:00 GMThttps://www.axiom.xyz/blog/lighter-evmhttps://www.axiom.xyz/blog/lighter-evm/Announcing our collaboration with Lighter to build Lighter EVM, an EVM-equivalent rollup powered by OpenVM 2.0 for native interoperability with Lighter markets.Fri, 30 Jan 2026 00:00:00 GMThttps://www.axiom.xyz/blog/openvm-2https://www.axiom.xyz/blog/openvm-2/OpenVM 2.0 is now proving Ethereum mainnet at a p99 level with 100 bits of provable security and sub-300 kB proof size.Thu, 29 Jan 2026 00:00:00 GMThttps://www.axiom.xyz/blog/openvm-ethproofshttps://www.axiom.xyz/blog/openvm-ethproofs/OpenVM is now proving Ethereum mainnet blocks live on EthProofs. Thu, 23 Oct 2025 00:00:00 GMThttps://www.axiom.xyz/blog/openvm-gpuhttps://www.axiom.xyz/blog/openvm-gpu/Announcing support for OpenVM v1.4.0 and distributed GPU proving on the Axiom Proving API.Tue, 02 Sep 2025 00:00:00 GMThttps://www.axiom.xyz/blog/axiom-api-betahttps://www.axiom.xyz/blog/axiom-api-beta/Announcing the private beta launch of the Axiom Proving API.Tue, 13 May 2025 00:00:00 GMThttps://www.axiom.xyz/blog/openvm-v1https://www.axiom.xyz/blog/openvm-v1/Announcing the first production release of OpenVM.Mon, 31 Mar 2025 00:00:00 GMThttps://www.axiom.xyz/blog/openvmhttps://www.axiom.xyz/blog/openvm/Announcing the first release of OpenVM, a novel open-source zkVM framework prioritizing modularity and extensibility.Mon, 16 Dec 2024 00:00:00 GMThttps://www.axiom.xyz/blog/fundinghttps://www.axiom.xyz/blog/funding/We’ve raised $20 million, led by Paradigm and Standard Crypto, to give developers access to the power of zero-knowledge proofs.Thu, 25 Jan 2024 00:00:00 GMT