ZKProver

LIVE Groth16 Privacy Stealth Attestation Merkle Hashing MPP

Full-stack zero-knowledge proving service via Tempo MPP. ZK proofs, privacy transactions, stealth addresses, attestations, Merkle trees, and ZK-friendly hashing. 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

tempo request -v -X POST \
  -H "Content-Type: application/json" \
  -d '{"amount":"1000000"}' \
  https://himess-zk-proof-service.hf.space/privacy/deposit

tempo request -v -X POST \
  -H "Content-Type: application/json" \
  -d '{"inputs":["12345","67890"]}' \
  https://himess-zk-proof-service.hf.space/hash/poseidon

Discovery

Method	Path	Cost	Description
GET	/health	Free	Health check
GET	/circuits	Free	List circuits & pricing
GET	/pool	Free	Privacy pool info
GET	/llms.txt	Free	Agent discovery
GET	/openapi.json	Free	OpenAPI spec
GET	/.well-known/x402	Free	x402 resource list

ZK Proving

Method	Path	Cost	Description
POST	/prove/1x2	$0.01	Generate Groth16 proof (1x2 JoinSplit)
POST	/prove/2x2	$0.02	Generate Groth16 proof (2x2 JoinSplit)
POST	/prove/batch	$0.008/proof	Batch proof generation (20% discount)
POST	/verify/:circuit	Free	Verify a proof

Privacy Proofs

Method	Path	Cost	Description
POST	/privacy/deposit	$0.03	Shielded deposit proof
POST	/privacy/transfer	$0.03	Private transfer proof
POST	/privacy/withdraw	$0.03	Withdrawal proof

ZK Attestation

Method	Path	Cost	Description
POST	/attest/zk/balance-gt	$0.01	ZK proof: balance > threshold
POST	/attest/zk/verify	Free	Verify ZK attestation

Credential Attestation

Method	Path	Cost	Description
POST	/attest/commitment	$0.001	Create Poseidon commitment
POST	/attest/balance-gt	$0.005	Attest balance > threshold
POST	/attest/range	$0.005	Attest value in range
POST	/attest/membership	$0.005	Attest set membership
POST	/attest/verify	Free	Verify attestation

On-chain Attestation (Tempo)

Method	Path	Cost	Description
POST	/attest/onchain/balance	$0.005	Verify token balance on Tempo
POST	/attest/onchain/nft	$0.005	Verify NFT ownership
POST	/attest/onchain/interaction	$0.005	Verify contract interaction

Stealth Addresses

Method	Path	Cost	Description
POST	/stealth/generate-keys	$0.002	Generate stealth meta-address
POST	/stealth/derive-address	$0.002	Derive one-time stealth address
POST	/stealth/scan	$0.005	Scan for stealth payments
POST	/stealth/compute-key	$0.002	Recover stealth private key

Merkle Tree

Method	Path	Cost	Description
POST	/merkle/build	$0.01	Build Poseidon Merkle tree
POST	/merkle/prove	$0.005	Generate inclusion proof
POST	/merkle/verify	Free	Verify inclusion proof

Hash Functions

Method	Path	Cost	Description
POST	/hash/poseidon	$0.001	Poseidon hash
POST	/hash/mimc	$0.001	MiMC sponge hash
POST	/hash/pedersen	$0.001	Pedersen hash
POST	/hash/keccak256	$0.001	Keccak256 hash

Proof Tools

Method	Path	Cost	Description
POST	/proof/compress	$0.002	Compress proof + Solidity calldata

Performance

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

Links

GitHub · llms.txt · OpenAPI · Circuits · Pool Info