ResearchBenchmarksUnique bug detection on Full benchmark suite TotalFollow92TPzkCraft43.1255.8168.581.19Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionzkCraftTime Budget=2 hours, R...Time Budget=2 hours, Random Seeds=52026.01920100ZKFUZZEvaluation Mode=Recurs...Evaluation Mode=Recursive, Time Budget=2 hours, Random Seeds=52026.018818133ZKAPEvaluation Mode=US/USC...Evaluation Mode=US/USCO, Time Budget=2 hours, Random Seeds=52026.01458934