ResearchBenchmarksBug Detection on Circom Benchmarks Total - ZKAPFollow27True PositivesCircomspect5.1610.8316.522.17Jan 31, 2026Evaluation ResultsMethodMethodLinksTrue PositivesFalse PositivesPrecisionCircomspectRandom seeds=5Random seeds=52026.01272135zkCraftRandom seeds=5Random seeds=52026.01270100ZKFUZZ++Random seeds=5Random seeds=52026.01230100ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.01200100ZKAPRandom seeds=5Random seeds=52026.01181456PicusRandom seeds=5Random seeds=52026.0190100ConsCSRandom seeds=5Random seeds=52026.0160100