ResearchBenchmarksBug Detection on Circom Benchmarks Large - ZKAPFollow2TPCircomspect-0.080.4611.54Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionCircomspectRandom seeds=5Random seeds=52026.012214zkCraftRandom seeds=5Random seeds=52026.0120100ZKFUZZ++Random seeds=5Random seeds=52026.0110100ZKAPRandom seeds=5Random seeds=52026.01040PicusRandom seeds=5Random seeds=52026.0100—ConsCSRandom seeds=5Random seeds=52026.0100—ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.0100100