Prove any computation is correct without revealing how. Generate ZK-STARK proofs with a single API call — verify in 3ms. No cryptography degree required.
Free tier · 100 proofs/month · No credit cardProved that 42 is in range [0, 100] without revealing the value. Verified in 2.8ms.
Prove a password hash matches, a value is in range, or a computation is correct — without revealing any secrets.
POST a proof request to /prove. Choose from 6 built-in templates like range_proof, hash_preimage, or data_integrity — or define your own program. You get a job ID instantly.
Our servers generate a ZK-STARK proof using O(√T) memory. No trusted setup. No ceremony. Typical proofs complete in 1–5 seconds.
Anyone can verify the proof in milliseconds via /verify. Always free. The verifier learns nothing except that the statement is true.
Python, TypeScript, or plain curl. Your first proof is free.
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) curl -X POST https://api.tinyzkp.com/verify \ -H "Content-Type: application/json" \ -d '{"proof":{...}}'
Pay only for proofs you generate. Verification is always free. Start with 100 free proofs per month.
Verification is always free
| Plan Limits | Free | Standard | Pro |
|---|---|---|---|
| Prove RPM | 10 | 100 | 500 |
| Verify RPM | 30 | 300 | 1,500 |
| Inflight jobs | 1 | 4 | 8 |
| Monthly cap | $5 | $500 | $5,000 |
| Max prove time | 5 min | 10 min | 60 min |
TinyZKP ships as an MCP server. AI agents can generate and verify ZK proofs autonomously.
Add to your claude_desktop_config.json:
{
"mcpServers": {
"tinyzkp": {
"command": "./hc-mcp",
"args": ["--api-key", "tzk_..."]
}
}
}