The Axiom Proving API enables developers to generate proofs for ZK-enabled applications built with OpenVM via a hosted API interface. This allows developers to access reliable cloud infrastructure built by Axiom to reduce cost and latency for OpenVM proof generation while maintaining a similar developer experience. To try the API, get started at Quickstart.

As of the present private beta release, developers can use a REST API and accompanying Axiom CLI compatible with the standard OpenVM CLI interface to generate proofs for OpenVM v1.2.0. The following operations are supported:

  • OpenVM Deployment: Key generation and configuration for OpenVM, including generation of smart contract verifiers.
  • OpenVM Program Deployment: Publicly reproducible builds and artifact management for programs built with OpenVM.
  • Proof Generation and Verification: ZK proof generation and verification for OpenVM programs.

These API docs detail the following:

We are currently giving early partners access to the private beta of the Axiom Proving API. If you are an application or infrastructure developer interested in using OpenVM to generate ZK proofs using the Axiom Proving API, please get in touch.