ZK Proof Service

LIVE Groth16 MPP

Pay-per-proof ZK proving via Tempo MPP. Real compute, not a proxy.

Try it

tempo request -t https://himess-zk-proof-service.hf.space/circuits

tempo request -v -X POST \
  -H "Content-Type: application/json" \
  -d @input.json \
  https://himess-zk-proof-service.hf.space/prove/1x2

Endpoints

Method	Path	Cost	Description
GET	/health	Free	Health check
GET	/circuits	Free	List circuits & pricing
GET	/llms.txt	Free	Agent discovery
POST	/prove/1x2	$0.01	Generate 1x2 proof
POST	/prove/2x2	$0.02	Generate 2x2 proof
POST	/verify/:circuit	Free	Verify a proof

Performance

~2-5s proof generation · ~50ms verification · 13,726 constraints · BN254 curve

Links

GitHub · llms.txt · API