The tools and infrastructure to integrate ZK into any application

Make any program verifiable with OpenVM and get production-ready fast with the Axiom Proving API.

Chat with us
Get started
Trusted by:
LogoLogoLogoLogoLogoLogoLogoLogoLogoLogo

ZK without limits

Use OpenVM and the Axiom Proving API to tailor ZK to your specific application without needing your own specialized infrastructure

OpenVM

Everything you need to deploy ZK into production

Tailor ZK for your application with the modular OpenVM design
Verify your application in ZK with OpenVM
Read more

Flexibility

Write programs in Rust and verify in ZK

Custom VM Extensions

Accelerate proving for your application with custom VM extensions

Efficiency

Verify proofs onchain efficiently

Axiom proving API

Deploy ZK in your application with the Axiom Proving API

High-performance ZK proving infrastructure
Generate proofs quickly and reliably for your application
Read more

Reliable builds. Trusted artifacts.

Reproducible builds and artifact management for OpenVM programs

Great proof generation

Fast and cheap ZK proof generation for OpenVM

Scalability

Scale out ZK proof generation on Axiom’s robust infrastructure

Axiom NEWS

Latest Announcements

See all
Powering Lighter EVM with OpenVMPowering Lighter EVM with OpenVM
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.0Proving 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
OpenVM is live on EthProofsOpenVM is live on EthProofs
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 APIOpenVM 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
Introducing the Axiom Proving API BetaIntroducing the Axiom Proving API Beta
Product

Introducing the Axiom Proving API Beta

Announcing the private beta launch of the Axiom Proving API.

13 May 2025
Releasing OpenVM to ProductionReleasing OpenVM to Production
Product

Releasing OpenVM to Production

Announcing the first production release of OpenVM.

31 Mar 2025
Introducing OpenVMIntroducing OpenVM
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 RoundAnnouncing 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

USe Cases

Push the frontier of what’s possible onchain with ZK

Use OpenVM and the Axiom Proving API to tailor ZK to your specific application without needing your own specialized infrastructure

Start building

Secure any rollup with cryptography

Enable faster withdrawals and easier interop while keeping proving costs below $0.001 per transaction

Support for Scroll, OP Stack (coming soon), or your own custom app rollup

Reduce withdrawal windows from 7 days to 1 hour
Secure your rollup with cryptography instead of incentives
Add EVM support to your app rollup with native interoperability
Generate proofs for below $0.001 per transaction
supporting:

Support for custom rollups

Axiom can help implement OpenVM on your own custom app rollup. Reach out to our team for more details.

Reach out

Prove every Ethereum block in real time

We are proving mainnet blocks in real-time (p99) to scale Ethereum

Building an L1 zkEVM towards use in mainnet Ethereum

Scale gas on L1 by replacing consensus with ZK cryptography
Secure Ethereum with provable 100-bit security and under 300kB proofs
Generate proofs for below $0.01 per block
supporting:

Real-time proving for L1 scaling

Learn about the key role real-time proving plays in Ethereum’s roadmap, and how OpenVM 2.0 helps achieve that.

Read more

Applications

Axiom works anywhere

Out-of-the-box support for the most common stacks and custom implementations for your specific ZK use case

Coming Soon

Axiom + Lighter EVM

Powering Lighter EVM with OpenVM

Expand the Lighter platform to general-purpose applications
Enable fast native interoperability between Lighter EVM and Lighter
Maintain verifiable security using OpenVM

in production

Axiom + Scroll mainnet

Finalizing Scroll mainnet since April 2025

Enable Scroll to become a Stage 1 rollup with Type 1 zkEVM
Add support for EIP-7702 and RIP-7212 in days, not months
Reduce transaction fees by 10x