curl --request POST \
--url 'https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3' \
--header 'Axiom-API-Key: <api-key>' \
--header 'Content-Type: application/json' \
--data '
{
"input": [
"0x010A00000000000000"
]
}
'import requests
url = "https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3"
payload = { "input": ["0x010A00000000000000"] }
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: '{"input":["0x010A00000000000000"]}'
};
fetch('https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3', options)
.then(async (res) => {
const type = res.headers.get('content-type') || '';
if (type.includes('json')) return res.json();
if (!type || type.startsWith('text/')) return res.text();
return res.blob();
})
.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?proof_type=stark&priority=3",
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' => [
'0x010A00000000000000'
]
]),
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?proof_type=stark&priority=3"
payload := strings.NewReader("{\n \"input\": [\n \"0x010A00000000000000\"\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?proof_type=stark&priority=3")
.header("Axiom-API-Key", "<api-key>")
.header("Content-Type", "application/json")
.body("{\n \"input\": [\n \"0x010A00000000000000\"\n ]\n}")
.asString();require 'uri'
require 'net/http'
url = URI("https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3")
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 \"0x010A00000000000000\"\n ]\n}"
response = http.request(request)
puts response.read_bodycurl --request POST \
--url 'https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3' \
--header 'Axiom-API-Key: <api-key>' \
--header 'Content-Type: multipart/form-data' \
--form 'input=<string>' \
--form child_proofs=@example-filefrom contextlib import ExitStack
import json
import requests
url = "https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3"
headers = json.loads("{\"Axiom-API-Key\":\"<api-key>\"}")
with ExitStack() as stack:
files = [("child_proofs", ("./child_proofs", stack.enter_context(open("./child_proofs", "rb"))))]
files += [("input", (None, "<string>"))]
response = requests.request("POST", url, headers=headers, files=files)
print(response.text)// Node.js 22+
import { openAsBlob } from 'node:fs';
const form = new FormData();
form.append("input", "<string>");
form.append("child_proofs", await openAsBlob("./child_proofs"), "./child_proofs");
const response = await fetch("https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3", {
method: "POST",
headers: {
"Axiom-API-Key": "<api-key>"
},
body: form
});
console.log(await response.text());<?php
$boundary = bin2hex(random_bytes(16));
$body = '';
$body .= "--" . $boundary . "\r\nContent-Disposition: form-data; name=\"" . 'input' . "\"" . "\r\n\r\n";
$body .= '<string>' . "\r\n";
$body .= "--" . $boundary . "\r\nContent-Disposition: form-data; name=\"" . 'child_proofs' . "\"; filename=\"" . './child_proofs' . "\"\r\nContent-Type: application/octet-stream" . "\r\n\r\n";
$body .= file_get_contents('./child_proofs') . "\r\n";
$body .= "--" . $boundary . "--\r\n";
$curl = curl_init('https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3');
curl_setopt_array($curl, [
CURLOPT_CUSTOMREQUEST => 'POST',
CURLOPT_RETURNTRANSFER => true,
CURLOPT_POSTFIELDS => $body,
CURLOPT_HTTPHEADER => ['Axiom-API-Key: <api-key>', 'Content-Type: multipart/form-data; boundary=' . $boundary],
]);
$response = curl_exec($curl);
if ($response === false) { throw new RuntimeException(curl_error($curl)); }
curl_close($curl);
echo $response;package main
import (
"bytes"
"fmt"
"io"
"mime/multipart"
"net/http"
"os"
"path/filepath"
)
func main() {
var body bytes.Buffer
writer := multipart.NewWriter(&body)
if err := writer.WriteField("input", "<string>"); err != nil { panic(err) }
file1, err := os.Open("./child_proofs")
if err != nil { panic(err) }
part1, err := writer.CreateFormFile("child_proofs", filepath.Base(file1.Name()))
if err != nil { panic(err) }
if _, err = io.Copy(part1, file1); err != nil { panic(err) }
file1.Close()
if err := writer.Close(); err != nil { panic(err) }
req, err := http.NewRequest("POST", "https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3", &body)
if err != nil { panic(err) }
req.Header.Set("Content-Type", writer.FormDataContentType())
req.Header.Set("Axiom-API-Key", "<api-key>")
res, err := http.DefaultClient.Do(req)
if err != nil { panic(err) }
defer res.Body.Close()
data, err := io.ReadAll(res.Body)
if err != nil { panic(err) }
fmt.Println(string(data))
}HttpResponse<String> response = Unirest.post("https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3")
.header("Axiom-API-Key", "<api-key>")
.field("input", "<string>")
.field("child_proofs", new java.io.File("./child_proofs"))
.asString();require 'uri'
require 'net/http'
url = URI("https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3")
request = Net::HTTP::Post.new(url)
request["Axiom-API-Key"] = "<api-key>"
files = []
begin
form = [
["input", "<string>"],
["child_proofs", (files << File.open("./child_proofs", 'rb')).last]
]
request.set_form(form, 'multipart/form-data')
response = Net::HTTP.start(url.host, url.port, use_ssl: url.scheme == 'https') { |http| http.request(request) }
puts response.body
ensure
files.each(&:close)
end{
"id": "<string>"
}{
"detail": [
{
"loc": [
"<string>"
],
"msg": "<string>",
"type": "<string>"
}
]
}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'curl --request POST \
--url 'https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3' \
--header 'Axiom-API-Key: <api-key>' \
--header 'Content-Type: application/json' \
--data '
{
"input": [
"0x010A00000000000000"
]
}
'import requests
url = "https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3"
payload = { "input": ["0x010A00000000000000"] }
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: '{"input":["0x010A00000000000000"]}'
};
fetch('https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3', options)
.then(async (res) => {
const type = res.headers.get('content-type') || '';
if (type.includes('json')) return res.json();
if (!type || type.startsWith('text/')) return res.text();
return res.blob();
})
.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?proof_type=stark&priority=3",
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' => [
'0x010A00000000000000'
]
]),
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?proof_type=stark&priority=3"
payload := strings.NewReader("{\n \"input\": [\n \"0x010A00000000000000\"\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?proof_type=stark&priority=3")
.header("Axiom-API-Key", "<api-key>")
.header("Content-Type", "application/json")
.body("{\n \"input\": [\n \"0x010A00000000000000\"\n ]\n}")
.asString();require 'uri'
require 'net/http'
url = URI("https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3")
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 \"0x010A00000000000000\"\n ]\n}"
response = http.request(request)
puts response.read_bodycurl --request POST \
--url 'https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3' \
--header 'Axiom-API-Key: <api-key>' \
--header 'Content-Type: multipart/form-data' \
--form 'input=<string>' \
--form child_proofs=@example-filefrom contextlib import ExitStack
import json
import requests
url = "https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3"
headers = json.loads("{\"Axiom-API-Key\":\"<api-key>\"}")
with ExitStack() as stack:
files = [("child_proofs", ("./child_proofs", stack.enter_context(open("./child_proofs", "rb"))))]
files += [("input", (None, "<string>"))]
response = requests.request("POST", url, headers=headers, files=files)
print(response.text)// Node.js 22+
import { openAsBlob } from 'node:fs';
const form = new FormData();
form.append("input", "<string>");
form.append("child_proofs", await openAsBlob("./child_proofs"), "./child_proofs");
const response = await fetch("https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3", {
method: "POST",
headers: {
"Axiom-API-Key": "<api-key>"
},
body: form
});
console.log(await response.text());<?php
$boundary = bin2hex(random_bytes(16));
$body = '';
$body .= "--" . $boundary . "\r\nContent-Disposition: form-data; name=\"" . 'input' . "\"" . "\r\n\r\n";
$body .= '<string>' . "\r\n";
$body .= "--" . $boundary . "\r\nContent-Disposition: form-data; name=\"" . 'child_proofs' . "\"; filename=\"" . './child_proofs' . "\"\r\nContent-Type: application/octet-stream" . "\r\n\r\n";
$body .= file_get_contents('./child_proofs') . "\r\n";
$body .= "--" . $boundary . "--\r\n";
$curl = curl_init('https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3');
curl_setopt_array($curl, [
CURLOPT_CUSTOMREQUEST => 'POST',
CURLOPT_RETURNTRANSFER => true,
CURLOPT_POSTFIELDS => $body,
CURLOPT_HTTPHEADER => ['Axiom-API-Key: <api-key>', 'Content-Type: multipart/form-data; boundary=' . $boundary],
]);
$response = curl_exec($curl);
if ($response === false) { throw new RuntimeException(curl_error($curl)); }
curl_close($curl);
echo $response;package main
import (
"bytes"
"fmt"
"io"
"mime/multipart"
"net/http"
"os"
"path/filepath"
)
func main() {
var body bytes.Buffer
writer := multipart.NewWriter(&body)
if err := writer.WriteField("input", "<string>"); err != nil { panic(err) }
file1, err := os.Open("./child_proofs")
if err != nil { panic(err) }
part1, err := writer.CreateFormFile("child_proofs", filepath.Base(file1.Name()))
if err != nil { panic(err) }
if _, err = io.Copy(part1, file1); err != nil { panic(err) }
file1.Close()
if err := writer.Close(); err != nil { panic(err) }
req, err := http.NewRequest("POST", "https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3", &body)
if err != nil { panic(err) }
req.Header.Set("Content-Type", writer.FormDataContentType())
req.Header.Set("Axiom-API-Key", "<api-key>")
res, err := http.DefaultClient.Do(req)
if err != nil { panic(err) }
defer res.Body.Close()
data, err := io.ReadAll(res.Body)
if err != nil { panic(err) }
fmt.Println(string(data))
}HttpResponse<String> response = Unirest.post("https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3")
.header("Axiom-API-Key", "<api-key>")
.field("input", "<string>")
.field("child_proofs", new java.io.File("./child_proofs"))
.asString();require 'uri'
require 'net/http'
url = URI("https://api.axiom.xyz/v1/proofs?proof_type=stark&priority=3")
request = Net::HTTP::Post.new(url)
request["Axiom-API-Key"] = "<api-key>"
files = []
begin
form = [
["input", "<string>"],
["child_proofs", (files << File.open("./child_proofs", 'rb')).last]
]
request.set_form(form, 'multipart/form-data')
response = Net::HTTP.start(url.host, url.port, use_ssl: url.scheme == 'https') { |http| http.request(request) }
puts response.body
ensure
files.each(&:close)
end{
"id": "<string>"
}{
"detail": [
{
"loc": [
"<string>"
],
"msg": "<string>",
"type": "<string>"
}
]
}Authorizations
Query Parameters
Program ID to generate proof for
The type of proof to generate. must be one of: evm, stark
Number of GPUs to use for this proof. If not provided, uses the program's default_num_gpus setting.
1 <= x <= 10000Priority level for this proof (1-10, where 10 is highest priority)
1 <= x <= 10Body
Hex string array: 0x01 prefix + bytes, or 0x02 prefix + u32 LE field elements
Response
Successful Response
Proof job submitted successfully
Invalid input data or proof type
Program not found
Validation Error
Generic response for POST operations.