ResearchTasksZero-Knowledge Model CheckingZero-Knowledge Model CheckingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updated3-way handshake protocol exbSymbolic ZKMC1Runtime (Setup)18May 4, 2026DHCP protocolExplicit-State ZKMC2Runtime (Setup)14May 4, 2026Round-robin scheduler rrSymbolic ZKMC1Runtime (Setup)6May 4, 2026