ResearchBenchmarksBug Detection on Circom Benchmarks Total - AllFollow88TPCircomspect11.0431.025170.98Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionCircomspectRandom seeds=5Random seeds=52026.01886346zkCraftRandom seeds=5Random seeds=52026.01880100ZKFUZZ++Random seeds=5Random seeds=52026.01850100ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.01790100ZKAPRandom seeds=5Random seeds=52026.01434151PicusRandom seeds=5Random seeds=52026.01220100ConsCSRandom seeds=5Random seeds=52026.01140100