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.
Range gate
UltraHonk (EVM target) · 3,756 gates
Statement
The value behind a public commitment lies inside the public bounds.
- Reveals
- The commitment and both bounds.
- Keeps out of the proof
- The value and the salt.
- Does not prove
- That the value is true in the world. The prover chose it.
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.