ResearchTasksBug Detection and Capability ComparisonBug Detection and Capability ComparisonFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedZK Circuit Benchmarks——Primary metric0May 26, 2026