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:
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.
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.