> ## Documentation Index
> Fetch the complete documentation index at: https://docs.axiom.xyz/llms.txt
> Use this file to discover all available pages before exploring further.

# Introduction

> About the Axiom Proving API

The Axiom Proving API enables developers to generate proofs for ZK-enabled applications
built with [OpenVM](https://openvm.dev) 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](/user-guides/getting-started/quickstart).

Developers can use a REST API and accompanying Axiom SDK and CLI compatible to generate proofs
for [supported OpenVM versions](/user-guides/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:**](/user-guides/getting-started/quickstart) A simple example of how to use the Axiom Proving API using the CLI.
* [**Using the API:**](/api-reference/using-the-api/api-setup) A guide for setting up and using the API via CLI.
* [**API reference:**](/api-reference/rest-api/overview) 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](https://chat.axiom.xyz).