Axiom

Market position

Axiom positions OpenVM as production-grade ZK infrastructure differentiated by formal verification and audit coverage rather than research-stage software, and claims OpenVM 2.0 Beta was the fastest zkVM on the EthProofs benchmark as of April 2026. Sources do not provide market share, revenue, or independent third-party rankings.

Axiom emphasizes formal verification of OpenVM's core circuits in Lean (RV32IM, Keccak, SHA-2), external audits by Cantina and zkSecurity, 100 bits of provable post-quantum security, and a modular architecture supporting custom proving extensions, combined with a managed proving API so users need not operate proving infrastructure.

Technology

OpenVM is a modular, extensible zkVM that proves execution of arbitrary RISC-V programs and supports custom extensions to accelerate application-specific logic. Core extensions are formally verified in Lean: the RV32IM extension was verified by Nethermind Research under an Ethereum Foundation grant, and coverage was later extended to the Keccak and SHA-2 hash circuits. The system targets 100 bits of provable, post-quantum security, produces sub-300 kB proofs when proving Ethereum mainnet, and has been externally audited by Cantina and zkSecurity. Proving is distributed across GPUs, scaling to 1 GHz throughput on 64 GPUs, with OpenVM 2.1 Preview demonstrating real-time Ethereum proving on 4 GPUs. Supporting open-source work includes the halo2-lib crates, snark-verifier, halo2-browser (WASM in-browser proving), halo2-gpu, and axiom-edge distributed proving infrastructure. Axiom also operates an internal AI auditor, which it used to identify a soundness vulnerability in Starknet's stwo proof system.

Go-to-market

Distribution combines an open-source zkVM released on GitHub under the axiom-crypto organization with a hosted Proving API (private beta from May 2025, GPU proving from September 2025) and named design-partner style collaborations such as Lighter EVM. The company also publishes technical announcements, benchmark results on EthProofs, formal-verification results and security research on its blog.

Derivatives exchanges seeking cryptographic guarantees of correct off-chain execution; blockchains and rollups (Ethereum, Scroll, or custom app rollups) needing validity proofs and faster finality; and developers integrating zero-knowledge proofs into applications. Historically, the company also targeted Ethereum smart contract developers with a ZK coprocessor.

Geography

Not disclosed in the sources; the .xyz registry profile lists the domain registrant as being in the United States.

History

By March 2023 the company, then described as a ZK coprocessor for Ethereum built by parent company Intrinsic Technologies, was active on Ethereum. In January 2024 it announced a $20 million Series A led by Paradigm and Standard Crypto. It shifted public focus to OpenVM, first released in December 2024, brought to production in March 2025, and upgraded to 2.0 (production) in July 2026 and a 2.1 preview in July 2026. The Axiom Proving API entered private beta in May 2025 and added distributed GPU proving in September 2025.

Risks & controversies

Several performance and security claims (fastest zkVM, 1 GHz throughput, sub-10-second Ethereum block proving) originate from the company's own website and are not independently corroborated in the sources provided. The name 'Axiom' is shared with unrelated companies, including Axiom Quant Inc. (verified-AI software) and Axiom Space (commercial space stations), which are distinct from this company. No litigation, security incidents affecting Axiom's own systems, or other controversies are reported in the sources.