ResearchBenchmarksUnique bug detection on Full benchmark suite Very LargeFollow6TPZKFUZZ1.842.9245.08Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionZKFUZZEvaluation Mode=Recurs...Evaluation Mode=Recursive, Time Budget=2 hours, Random Seeds=52026.0161006zkCraftTime Budget=2 hours, R...Time Budget=2 hours, Random Seeds=52026.0160100ZKAPEvaluation Mode=US/USC...Evaluation Mode=US/USCO, Time Budget=2 hours, Random Seeds=52026.012296