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.
Path member
UltraHonk (EVM target) · 8,797 gates
Statement
A leaf derived from a private secret sits under the public root, and the public tag came from the same secret and the public scope.
- Reveals
- The root, the scope and the tag. The same secret and scope always give the same tag.
- Keeps out of the proof
- The secret and the position in the tree.
- Does not prove
- That the wallet sending a transaction is the holder of the secret. Address, IP and timing stay visible.
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
Verification engine
Paste a proof and its public inputs, or take the ones from your last run. The check happens in your browser.
eth_call to the verifier. Costs no gas, sends nothing.