Axiom
Axiom provides production-ready ZK infrastructure through OpenVM, a modular zkVM framework, and the Axiom Proving API.
What is Axiom?
Axiom provides production-ready ZK infrastructure through OpenVM and the Axiom Proving API. OpenVM is a modular, open-source zkVM framework that lets developers write programs in Rust and verify proofs onchain, with custom VM extensions for application-specific acceleration and formally verified correctness. The Axiom Proving API offers high-performance ZK proof generation infrastructure with reliable builds, scalability, and trusted artifacts. Together, they enable developers to integrate ZK into any application without needing specialized infrastructure.
Web3 dapps and developer tools related to Axiom
Discover blockchain applications that are frequently used with Axiom.
Polyhedra Network
evmtools
Hyper Oracle
Orochi Network
Developer resources from Alchemy
Best web3 programming languages in 2025
Explore popular programming languages for onchain apps.
From one node to Cortex: serving blockchain data at 100K TPS, globally
How Alchemy evolved from a single Ethereum node to Cortex, an intelligent blockchain engine serving 100K+ TPS globally with sub-50ms latency.
How Enya Labs migrated Boba Network to our rollups in less than 1 hour
With deep OP Stack customizations and rapid growth, Boba turned to Alchemy Rollups for a seamless, sub-hour migration and a scalable, developer-ready foundation.
Axiom alternatives
Explore web3 competitors and apps like Axiom.
Plonky2
Lagrange
Lambda Class
RISC ZeroApp store listings are independently reviewed and written by Alchemy using a combination of inbound submissions, editorial research, public project sources, and third-party directories, including ecosystem data from The Grid under the Open Database License, DefiLlama, DappRadar, Reown, and chain ecosystem pages.
