The tools and infrastructure to secure and verify production software

Axiom builds OpenVM, a zero-knowledge virtual machine that makes it simple to cryptographically verify the execution of any program.

Chat with us
Get started
Trusted by:
LogoLogoLogoLogoLogoLogoLogoLogoLogoLogo

Secure by design, proven in production

Secured through formal verification, audits, and battle-tested production deployments, OpenVM makes it simple to integrate zero-knowledge proofs into your application.

Security

Enterprise-grade security

OpenVM has formally verified support for RISC-V.

Read more

Formally verified

OpenVM's core extensions are formally verified

Provable security

100 bits of provable, post-quantum security

Externally audited

Audited by Cantina and zkSecurity

Performance

Industry-leading performance

OpenVM 2.0 delivers cutting-edge proving performance at scale.

Read more

1 GHz proving throughput

Proving scales to 1 GHz on 64 GPUs

Real-time proving for Ethereum

Prove Ethereum blocks in less than 10s

Generality

Fast and flexible to deploy

OpenVM's modular architecture maximizes deployment flexibility for developers.

Read more

Proves any RISC-V program

OpenVM makes ZK a basic primitive for your application

Custom acceleration for your application

Accelerate proving with custom extensions for your business logic

Deploy on the Axiom Proving API

Outsource complex infrastructure management

Axiom NEWS

Latest Announcements

See all
Faster Real-Time Proving with OpenVM 2.0 BetaFaster Real-Time Proving with OpenVM 2.0 Beta
Product

Faster Real-Time Proving with OpenVM 2.0 Beta

We are announcing OpenVM 2.0 Beta, now the fastest zkVM on Ethproofs.

15 Apr 2026
Formally Verifying the OpenVM RISC-V ExtensionFormally Verifying the OpenVM RISC-V Extension
Product

Formally Verifying the OpenVM RISC-V Extension

The OpenVM RV32IM extension has been formally verified in Lean by Nethermind Research with support from an Ethereum Foundation grant.

10 Feb 2026
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

Deployed in production

OpenVM secures high-assurance applications in production, bringing verifiability and security to derivatives exchanges, blockchains, and more.

Build with us

Securing derivatives exchanges

Combine the performance of an off-chain exchange with cryptographic guarantees of correct execution.

Support for order books, RFQ, and custom derivatives markets

Give users confidence in correct execution without requiring trust in the operator
Accelerate proving of custom logic with OpenVM extensions
Settle trades on-chain with cryptographic finality
supporting:

Securing Lighter EVM

Read about how we developed Lighter EVM and how OpenVM secures it.

Read More

Scaling blockchains

Prove that blocks executed correctly to enable fast, secure state transitions.

Support for Ethereum, Scroll, or your own custom app rollup

Accelerate finality with validity proofs instead of optimistic assumptions
Keep proving viable and economical at high throughput
Prove block execution in real time as the chain advances
supporting:

Real-time proving for L1 scaling

Learn about the key role real-time proving plays in Ethereum's scaling roadmap.

Read More