Lab
Generate a real proof in your browser, watch each stage, then check it. Nothing you type leaves this device.
Circuits4
Planned
Uploading your own circuit is planned, not built. This lab runs the four bundled ones.
Tally floor
UltraHonk (EVM target) · 10,273 gates
Statement
Eight private counts behind a public commitment add up to at least the public floor.
- Reveals
- The commitment and the floor.
- Keeps out of the proof
- Each count and the exact total.
- Does not prove
- That the counts were measured honestly. The prover supplied them.
ResultNo run yet
Preparation—
Witness—
Proving—
Verification—
Measured on this browser and device, one prover thread. Your next run or another machine will differ, and this is not a benchmark.
- Proof size
- —
- Public inputs
- —
- Expected
- Verified
Proof generator
Generate
Private values stay in the worker. The bundled circuits are test material: do not put real secrets in them.