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.
Hash opening
UltraHonk (EVM target) · 946 gates
Statement
The prover knows two field elements whose Poseidon hash equals the public digest.
- Reveals
- The digest.
- Keeps out of the proof
- The two values, as long as they are hard to guess.
- Does not prove
- Who the prover is, or where the digest came from.
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.