ResearchBenchmarksBug Detection on Circom Benchmarks Small - ZKAPFollow20True PositivesCircomspect5.449.221316.78Jan 31, 2026Evaluation ResultsMethodMethodLinksTrue PositivesFalse PositivesPrecisionCircomspectRandom seeds=5Random seeds=52026.01201571ZKFUZZ++Random seeds=5Random seeds=52026.01200100zkCraftRandom seeds=5Random seeds=52026.01200100ZKFUZZRandom seeds=5, Aggreg...Random seeds=5, Aggregated results=Max / Min2026.01190100ZKAPRandom seeds=5Random seeds=52026.0115288PicusRandom seeds=5Random seeds=52026.0190100ConsCSRandom seeds=5Random seeds=52026.0160100