Watch an audit read · map · analyze · trace · verdict

loading trace…

unexamined examined pass flag / fault

side –

stage –

nodes: 0
flags: 0
fault paths: 0

Replay position 0 / 0 Speed Case

Illustrative cases, not a detection rate. Each replay shows the circuit graph, the locations zk-audit flagged, the path from the entry template to each fault, and the verdict on the vulnerable and fixed versions. The analysis itself is shown as one stage, at a fixed pace. Bundled cases are DEV-split zkBugs cases.

Powered by NullSet