Submit Proof Request

curl --request POST \
  --url https://api.axiom.xyz/v1/proofs \
  --header 'Axiom-API-Key: <api-key>' \
  --header 'Content-Type: application/json' \
  --data '
{
  "input": [
    "<string>"
  ]
}
'

import requests

url = "https://api.axiom.xyz/v1/proofs"

payload = { "input": ["<string>"] }
headers = {
    "Axiom-API-Key": "<api-key>",
    "Content-Type": "application/json"
}

response = requests.post(url, json=payload, headers=headers)

print(response.text)

const options = {
  method: 'POST',
  headers: {'Axiom-API-Key': '<api-key>', 'Content-Type': 'application/json'},
  body: JSON.stringify({input: ['<string>']})
};

fetch('https://api.axiom.xyz/v1/proofs', options)
  .then(res => res.json())
  .then(res => console.log(res))
  .catch(err => console.error(err));

<?php

$curl = curl_init();

curl_setopt_array($curl, [
  CURLOPT_URL => "https://api.axiom.xyz/v1/proofs",
  CURLOPT_RETURNTRANSFER => true,
  CURLOPT_ENCODING => "",
  CURLOPT_MAXREDIRS => 10,
  CURLOPT_TIMEOUT => 30,
  CURLOPT_HTTP_VERSION => CURL_HTTP_VERSION_1_1,
  CURLOPT_CUSTOMREQUEST => "POST",
  CURLOPT_POSTFIELDS => json_encode([
    'input' => [
        '<string>'
    ]
  ]),
  CURLOPT_HTTPHEADER => [
    "Axiom-API-Key: <api-key>",
    "Content-Type: application/json"
  ],
]);

$response = curl_exec($curl);
$err = curl_error($curl);

curl_close($curl);

if ($err) {
  echo "cURL Error #:" . $err;
} else {
  echo $response;
}

package main

import (
	"fmt"
	"strings"
	"net/http"
	"io"
)

func main() {

	url := "https://api.axiom.xyz/v1/proofs"

	payload := strings.NewReader("{\n  \"input\": [\n    \"<string>\"\n  ]\n}")

	req, _ := http.NewRequest("POST", url, payload)

	req.Header.Add("Axiom-API-Key", "<api-key>")
	req.Header.Add("Content-Type", "application/json")

	res, _ := http.DefaultClient.Do(req)

	defer res.Body.Close()
	body, _ := io.ReadAll(res.Body)

	fmt.Println(string(body))

}

HttpResponse<String> response = Unirest.post("https://api.axiom.xyz/v1/proofs")
  .header("Axiom-API-Key", "<api-key>")
  .header("Content-Type", "application/json")
  .body("{\n  \"input\": [\n    \"<string>\"\n  ]\n}")
  .asString();

require 'uri'
require 'net/http'

url = URI("https://api.axiom.xyz/v1/proofs")

http = Net::HTTP.new(url.host, url.port)
http.use_ssl = true

request = Net::HTTP::Post.new(url)
request["Axiom-API-Key"] = '<api-key>'
request["Content-Type"] = 'application/json'
request.body = "{\n  \"input\": [\n    \"<string>\"\n  ]\n}"

response = http.request(request)
puts response.read_body

{
  "id": "<string>"
}

{
  "detail": [
    {
      "loc": [
        "<string>"
      ],
      "msg": "<string>",
      "type": "<string>"
    }
  ]
}

Proof Generation

Generate new proof

Submit a program for proving with specific input data.

The input data must be a JSON object with an ‘input’ key containing an array of hex strings. Each hex string represents either:

Hex string of bytes (prefixed with 0x01)
Hex string of native field elements as u32 little endian (prefixed with 0x02)

Available proof types:

stark: STARK proof (default)
evm: EVM-compatible proof

Deferred child proofs (optional, multipart)

To fold child stark proofs into this job’s verify_stark deferral circuit, send multipart/form-data to the SAME endpoint: an input form field (the JSON body as a string) plus one child_proofs file part per child. Each part is a stark proof in the same JSON format GET /v1/proofs/{id}/proof/stark serves (VersionedVmStarkProof); part order = circuit packing order. The program’s config must be deferral-enabled. Validation at submit is shallow (caps + JSON shape); keyset/program mismatches fail the job at prove time.

Example Usage

# Plain (no-deferral) submission — JSON body, unchanged:
curl -X POST "https://api.axiom.xyz/v1/proofs?program_id=your-program-uuid&proof_type=stark" \
  -H "Axiom-API-Key: your-api-key" \
  -H "Content-Type: application/json" \
  -d '{
    "input": [
      "0x010A00000000000000",
      "0x02FF00000000000000"
    ]
  }'

# Deferral submission — multipart with inline child proofs:
curl -X POST "https://api.axiom.xyz/v1/proofs?program_id=your-program-uuid&proof_type=stark" \
  -H "Axiom-API-Key: your-api-key" \
  -F 'input={"input": ["0x010A00000000000000"]}' \
  -F 'child_proofs=@child0_stark_proof' \
  -F 'child_proofs=@child1_stark_proof'

POST

proofs

Submit Proof Request

curl --request POST \
  --url https://api.axiom.xyz/v1/proofs \
  --header 'Axiom-API-Key: <api-key>' \
  --header 'Content-Type: application/json' \
  --data '
{
  "input": [
    "<string>"
  ]
}
'

import requests

url = "https://api.axiom.xyz/v1/proofs"

payload = { "input": ["<string>"] }
headers = {
    "Axiom-API-Key": "<api-key>",
    "Content-Type": "application/json"
}

response = requests.post(url, json=payload, headers=headers)

print(response.text)

const options = {
  method: 'POST',
  headers: {'Axiom-API-Key': '<api-key>', 'Content-Type': 'application/json'},
  body: JSON.stringify({input: ['<string>']})
};

fetch('https://api.axiom.xyz/v1/proofs', options)
  .then(res => res.json())
  .then(res => console.log(res))
  .catch(err => console.error(err));

<?php

$curl = curl_init();

curl_setopt_array($curl, [
  CURLOPT_URL => "https://api.axiom.xyz/v1/proofs",
  CURLOPT_RETURNTRANSFER => true,
  CURLOPT_ENCODING => "",
  CURLOPT_MAXREDIRS => 10,
  CURLOPT_TIMEOUT => 30,
  CURLOPT_HTTP_VERSION => CURL_HTTP_VERSION_1_1,
  CURLOPT_CUSTOMREQUEST => "POST",
  CURLOPT_POSTFIELDS => json_encode([
    'input' => [
        '<string>'
    ]
  ]),
  CURLOPT_HTTPHEADER => [
    "Axiom-API-Key: <api-key>",
    "Content-Type: application/json"
  ],
]);

$response = curl_exec($curl);
$err = curl_error($curl);

curl_close($curl);

if ($err) {
  echo "cURL Error #:" . $err;
} else {
  echo $response;
}

package main

import (
	"fmt"
	"strings"
	"net/http"
	"io"
)

func main() {

	url := "https://api.axiom.xyz/v1/proofs"

	payload := strings.NewReader("{\n  \"input\": [\n    \"<string>\"\n  ]\n}")

	req, _ := http.NewRequest("POST", url, payload)

	req.Header.Add("Axiom-API-Key", "<api-key>")
	req.Header.Add("Content-Type", "application/json")

	res, _ := http.DefaultClient.Do(req)

	defer res.Body.Close()
	body, _ := io.ReadAll(res.Body)

	fmt.Println(string(body))

}

HttpResponse<String> response = Unirest.post("https://api.axiom.xyz/v1/proofs")
  .header("Axiom-API-Key", "<api-key>")
  .header("Content-Type", "application/json")
  .body("{\n  \"input\": [\n    \"<string>\"\n  ]\n}")
  .asString();

require 'uri'
require 'net/http'

url = URI("https://api.axiom.xyz/v1/proofs")

http = Net::HTTP.new(url.host, url.port)
http.use_ssl = true

request = Net::HTTP::Post.new(url)
request["Axiom-API-Key"] = '<api-key>'
request["Content-Type"] = 'application/json'
request.body = "{\n  \"input\": [\n    \"<string>\"\n  ]\n}"

response = http.request(request)
puts response.read_body

{
  "id": "<string>"
}

{
  "detail": [
    {
      "loc": [
        "<string>"
      ],
      "msg": "<string>",
      "type": "<string>"
    }
  ]
}

Authorizations

Axiom-API-Key

string

header

required

Query Parameters

program_id

string

required

Program ID to generate proof for

proof_type

string

default:stark

The type of proof to generate. must be one of: evm, stark

num_gpus

integer | null

Number of GPUs to use for this proof. If not provided, uses the program's default_num_gpus setting.

Required range: 1 <= x <= 10000

priority

integer

default:3

Priority level for this proof (1-10, where 10 is highest priority)

Required range: 1 <= x <= 10

Body

input

string[]

required

Hex string array: 0x01 prefix + bytes, or 0x02 prefix + u32 LE field elements

Response

Successful Response

Generic response for POST operations.

string

required

Get proof logs Get EVM verification result

⌘I

Using the API

REST APIs

SDKs

Support and Configuration

Generate new proof

Deferred child proofs (optional, multipart)

Example Usage

Authorizations

Query Parameters

Body

Response