ResearchBenchmarksBug Detection on Circom Benchmarks Medium - AllFollow7TPCircomspect-0.281.613.55.39Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionCircomspectRandom seeds=5Random seeds=52026.017327ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.0170100ZKFUZZ++Random seeds=5Random seeds=52026.0170100zkCraftRandom seeds=5Random seeds=52026.0170100ZKAPRandom seeds=5Random seeds=52026.011156PicusRandom seeds=5Random seeds=52026.0100—ConsCSRandom seeds=5Random seeds=52026.0100—