$ZKFLASH address published at launchZero-knowledge testing · Robinhood Chain
ZKFLASHzkflash.xyzNOIRUltraHonk proofsBuilding ZK proof testing, verification, and developer tools. Real circuits. Your own clock. Limits written down.
Inputs become a witness, a witness becomes a proof, and a proof meets a verifier. zkFlash shows each stage with its own measured time, so a failed test tells you where it stopped.
Valid + invalid + tampered
Witness / prove / verify
Proof verification path
Chain verification state
Sample tree root behind path_member: 0x090494c49de7a2c8d3c3137d017f39512b2e7e61e8b9ebaeea771e12ca762301
A proof system earns trust by what it refuses. Each circuit ships with a true statement, a false one, a changed public input and a flipped proof byte, with the expected outcome written down before anything runs.
Path member is the one circuit with a Solidity verifier. Run these or build your own.
zkFlash keeps local results, chain checks and public records apart, and labels which one you are looking at. A green check in your browser never reads as a claim on chain.
Four Noir circuits, compiled in advance and served by this site. Proving runs in a Web Worker, so inputs stay on your device and the page stays responsive.
The path_member circuit has a generated Solidity verifier. Send the same proof to it through a free eth_call and compare the answer with the local one.
Export a report with its limits written down, anchor its hash on the run book, and let a second wallet attest that it reproduced the same outcomes.
Every run you make lands in a bin. The chart reads your browser's own log and starts empty on purpose, because a timing is only true for the machine that measured it.
The worker loads the compiled circuit, the proving WASM and the public setup points from this site. Your form values become a witness in the shape the circuit expects.
The first run of a session pays for loading. The timeline shows that as its own stage.
Vague claims help nobody testing a circuit. Here is what a local run shows, what an anchored report adds, and everything neither of them can tell you.
No owner, no admin, no fee and no upgrade path. They take no ETH and hold no tokens. Roles exist per workspace only. Live on Robinhood Chain with verified source.
Start with a bundled circuit. Break it on purpose. Keep the report, with its limits, and let someone else check your work.