Vulnerability Detection on Real-world ZK Circuits All benchmark leaderboard · SOTA2 Research

Vulnerability Detection on Real-world ZK Circuits All

85True Positives (TP)ZKFUZZ++

Evaluation Results

Method	Links
ZKFUZZ++2025.04		85	0	100
ZKFUZZ2025.04		79	0	100
Circomspect2025.04		63	74	46
ZKFUZZ++2025.04		58	0	100
ZKFUZZ2025.04		57	0	100
Circomspect2025.04		49	23	68
ZKAP2025.04		43	41	51
ZKAP2025.04		36	12	75
Picus2025.04		22	0	100
Picus2025.04		22	0	100
ZKFUZZ++2025.04		16	0	100
ConsCS2025.04		14	0	100
ConsCS2025.04		14	0	100
ZKFUZZ2025.04		12	0	100
ZKFUZZ2025.04		7	0	100
ZKFUZZ++2025.04		7	0	100
Circomspect2025.04		6	16	27
Circomspect2025.04		5	27	16
ZKAP2025.04		4	4	50
ZKFUZZ++2025.04		4	0	100
Circomspect2025.04		3	8	27
ZKAP2025.04		2	10	17
ZKFUZZ2025.04		2	0	100
ZKAP2025.04		1	15	6
Picus2025.04		0	0	—
ConsCS2025.04		0	0	—
Picus2025.04		0	0	—
ConsCS2025.04		0	0	—
Picus2025.04		0	0	—
ConsCS2025.04		0	0	—