ResearchBenchmarksBug Detection on Circom Benchmarks Large AllFollow17TPCircomspect-0.683.918.513.09Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionCircomspectRandom seeds=5Random seeds=52026.0117627zkCraftRandom seeds=5Random seeds=52026.01170100ZKFUZZ++Random seeds=5Random seeds=52026.01160100ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.01120100ZKAPRandom seeds=5Random seeds=52026.014450PicusRandom seeds=5Random seeds=52026.0100—ConsCSRandom seeds=5Random seeds=52026.0100—