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. Developers can use a REST API and accompanying Axiom SDK and CLI compatible to generate proofs for supported OpenVM versions. 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: 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.