ResearchBenchmarksUnique bug detection on Full benchmark suite MediumUnique bug detection on Full benchmark suite MediumFollow8True Positives (TP)zkCraft1.763.3856.62Jan 31, 2026Evaluation resultsMethodMethodLinksTrue Positives (TP)False Positives (FP)PrecisionzkCraftTime Budget=2 hours, R...Time Budget=2 hours, Random Seeds=52026.0180100ZKFUZZEvaluation Mode=Recurs...Evaluation Mode=Recursive, Time Budget=2 hours, Random Seeds=52026.0172323ZKAPEvaluation Mode=US/USC...Evaluation Mode=US/USCO, Time Budget=2 hours, Random Seeds=52026.012296