ResearchBenchmarksBug Detection on Circom Benchmarks Very Large - ZKAPFollow5TPCircomspect-0.21.152.53.85Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionCircomspectRandom seeds=5Random seeds=52026.015421zkCraftRandom seeds=5Random seeds=52026.0150100ZKAPRandom seeds=5Random seeds=52026.0130100ZKFUZZ++Random seeds=5Random seeds=52026.0120100ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.0110100PicusRandom seeds=5Random seeds=52026.0100—ConsCSRandom seeds=5Random seeds=52026.0100—