ResearchBenchmarksBug Detection on Circom Benchmarks Small - AllFollow58True PositivesCircomspect12.2424.123647.88Jan 31, 2026Evaluation ResultsMethodMethodLinksTrue PositivesFalse PositivesPrecisionCircomspectRandom seeds=5Random seeds=52026.01584968ZKFUZZ++Random seeds=5Random seeds=52026.01580100zkCraftRandom seeds=5Random seeds=52026.01580100ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.01570100ZKAPRandom seeds=5Random seeds=52026.01361275PicusRandom seeds=5Random seeds=52026.01220100ConsCSRandom seeds=5Random seeds=52026.01140100