Generate and verify ZK-STARK proofs with a single API call. No cryptography degree required.
Get API Key Verification is always freePOST your program and expected output to the /prove endpoint. We return a job ID immediately.
Our servers generate a ZK-STARK proof with O(sqrt T) memory. No trusted setup needed.
Verify any proof in milliseconds with our /verify endpoint. Always free — no charge.
Verification is always free — no charge
from tinyzkp import TinyZKP async with TinyZKP("https://api.tinyzkp.com", api_key="tzk_...") as client: job_id = await client.prove(program=["add_immediate 1"], initial_acc=5, final_acc=6) proof = await client.wait_for_proof(job_id) result = await client.verify(proof) # free!
import { HcClient } from "tinyzkp"; const client = new HcClient("https://api.tinyzkp.com", { apiKey: "tzk_..." }); const jobId = await client.prove({ program: ["add_immediate 1"], initialAcc: 5, finalAcc: 6 }); const proof = await client.waitForProof(jobId); const result = await client.verify(proof); // free!
# Submit a proof job curl -X POST https://api.tinyzkp.com/prove \ -H "Authorization: Bearer tzk_..." \ -H "Content-Type: application/json" \ -d '{"program":["add_immediate 1"],"initial_acc":5,"final_acc":6}' # {"job_id":"abc123..."} # Poll for result curl https://api.tinyzkp.com/prove/abc123... # Verify (free, no auth) curl -X POST https://api.tinyzkp.com/verify \ -H "Content-Type: application/json" \ -d '{"proof":{...}}'
TinyZKP ships as a Model Context Protocol server. AI agents can generate and verify ZK proofs autonomously.
Add to Claude Desktop's claude_desktop_config.json:
{
"mcpServers": {
"tinyzkp": {
"command": "./hc-mcp",
"args": ["--api-key", "tzk_..."]
}
}
}