Axiom primary-source snapshot
Fetched: 2026-04-25 UTC
1) Official homepage
Source: https://www.axiom.xyz/
Selected excerpts from the official site:
The tools and infrastructure to integrate ZK into any application
Make any program verifiable with OpenVM and get production-ready fast with the Axiom Proving API.
Write programs in Rust and verify proofs onchain efficiently
Additional signals from the homepage:
- The current site clearly pairs OpenVM and the Axiom Proving API as the main product surface
- Messaging is oriented around production deployment, proving infrastructure, and concrete application domains like rollups and Ethereum proving rather than around a narrow single-app protocol narrative
- The homepage also makes explicit performance and security claims, including custom VM extensions, 100-bit provable security, and formally verified zkVM correctness in Lean
2) Proving API introduction docs
Source: https://docs.axiom.xyz/
Selected excerpts from the docs:
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.
The following operations are supported: OpenVM Deployment … OpenVM Program Deployment … Proof Generation and Verification.
Additional signals from the docs:
- The docs make clear that Axiom is operating hosted proving infrastructure, not only publishing libraries
- Reproducible builds, artifact management, proof generation, and verification are all first-class documented workflows
- The docs emphasize a developer interface spanning REST API, SDK, and CLI rather than a purely bespoke service model
3) API / LLM index
Source: https://docs.axiom.xyz/llms.txt
Selected excerpts/signals from the docs index:
Download the OpenVM configuration TOML file.
Register new program: Upload and register a new OpenVM program for compilation.
Generate new proof: Submit a program for proving with specific input data.
Additional signals from the docs index:
- The API surface includes configuration metadata, proving and verification keys, EVM verifier artifacts, build logs, proof logs, project/program listing, and verification endpoints
- This is a strong indicator that Axiom operates a full proving control plane around builds and artifacts, not just a simple proof-generation endpoint
4) Version support docs
Source: https://docs.axiom.xyz/user-guides/openvm/versions.md
Selected excerpts from the docs:
The Axiom Proving API maintains support for production versions of OpenVM for as long as practical.
Supported: The version is actively supported by Axiom and recommended for use on the API.
Deprecated: The version is not supported for new deployments, but Axiom maintains legacy support on the API.
Additional signals from the docs:
- Public lifecycle states for supported, deprecated, and retired OpenVM versions suggest a live operated service with compatibility management responsibilities
- The table of specific version statuses is useful evidence that Axiom is maintaining production infrastructure rather than only publishing research artifacts
5) Axiom CLI repo
Source: https://github.com/axiom-crypto/axiom-api-cli
Selected excerpts/signals from the public repo page:
CLI interface for Axiom Proving API
cargo axiom build
This uploads your code and triggers a reproducible build on Axiom’s servers.
Additional signals from the repo:
- The CLI flow directly reflects the hosted-service model described in the docs: register, build, prove, inspect logs, download artifacts, and verify
- Public installation and usage steps make the operational workflow concrete for outside developers evaluating the platform
6) Official GitHub organization
Source: https://github.com/axiom-crypto
Selected excerpts/signals from the public org page:
Monorepo of halo2 crates
CLI interface for Axiom Proving API
openvm-eth
Additional signals from the org page:
- The public repos span proving-system libraries, browser tooling, CLI tooling, verifier-related code, and OpenVM/Ethereum integration work
- The breadth of repos reinforces that Axiom is building and maintaining substantial ZK infrastructure rather than presenting only a thin API wrapper
Notes
- This pass did not locate a classic standalone Axiom whitepaper or litepaper from official sources.
- The strongest primary materials were the homepage, proving-API docs, docs index, version-support docs, CLI repo, and GitHub organization.
- Axiom appears best categorized as zero-knowledge proving infrastructure centered on OpenVM plus a hosted proving control plane.