Introduction - Axiom API Documentation

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:

Quickstart: A simple example of how to use the Axiom Proving API using the CLI.
Using the API: A guide for setting up and using the API via CLI.
API reference: A comprehensive API reference.

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.

Getting Started

OpenVM