himess.dev
All projects
Live2026

ZK Proof Service

Groth16 proof generation, billed per proof

Repository

Stack

  • TypeScript
  • Groth16
  • Tempo MPP
  • Rust

Highlights

  • ·Pay-per-Groth16-proof billing
  • ·Tempo MPP settlement
  • ·Submit circuit, get proof back

Problem

Running a Groth16 prover is slow, expensive, and needs GPUs. Small teams that generate one proof a day cannot justify the infra, and there is no clean way to pay someone else for a single proof.

Approach

A prover service behind an MPP paywall. The caller submits a witness and circuit, pays the fee in a single settlement, and receives the proof. Pricing scales with circuit complexity.

Outcome

Live. Turns one of the most resource-hungry pieces of ZK infrastructure into a metered API.