ResearchBenchmarksBug Detection on Circom Benchmarks Medium - ZKAPFollow0TPCircomspect-0.001-0.000500.0005Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionCircomspectRandom seeds=5Random seeds=52026.01000ZKAPRandom seeds=5Random seeds=52026.01080PicusRandom seeds=5Random seeds=52026.0100—ConsCSRandom seeds=5Random seeds=52026.0100—ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.0100—ZKFUZZ++Random seeds=5Random seeds=52026.0100—zkCraftRandom seeds=5Random seeds=52026.0100—