ResearchBenchmarksBug Detection on Circom Benchmarks Very Large - AllFollow6TPCircomspect-0.241.3834.62Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionCircomspectRandom seeds=5Random seeds=52026.016516zkCraftRandom seeds=5Random seeds=52026.0160100ZKFUZZ++Random seeds=5Random seeds=52026.0140100ZKAPRandom seeds=5Random seeds=52026.0121017ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.0120100PicusRandom seeds=5Random seeds=52026.0100—ConsCSRandom seeds=5Random seeds=52026.0100—