Share your thoughts, 1 month free Claude Pro on usSee more

Vulnerability Detection on Real-world ZK Circuits All

85True Positives (TP)

ZKFUZZ++

Updated 8d ago

Evaluation Results

Method	Links
ZKFUZZ++ 2025.04		85	0	100
ZKFUZZ 2025.04		79	0	100
Circomspect 2025.04		63	74	46
ZKFUZZ++ 2025.04		58	0	100
ZKFUZZ 2025.04		57	0	100
Circomspect 2025.04		49	23	68
ZKAP 2025.04		43	41	51
ZKAP 2025.04		36	12	75
Picus 2025.04		22	0	100
Picus 2025.04		22	0	100
ZKFUZZ++ 2025.04		16	0	100
ConsCS 2025.04		14	0	100
ConsCS 2025.04		14	0	100
ZKFUZZ 2025.04		12	0	100
ZKFUZZ 2025.04		7	0	100
ZKFUZZ++ 2025.04		7	0	100
Circomspect 2025.04		6	16	27
Circomspect 2025.04		5	27	16
ZKAP 2025.04		4	4	50
ZKFUZZ++ 2025.04		4	0	100
Circomspect 2025.04		3	8	27
ZKAP 2025.04		2	10	17
ZKFUZZ 2025.04		2	0	100
ZKAP 2025.04		1	15	6
Picus 2025.04		0	0	-
ConsCS 2025.04		0	0	-
Picus 2025.04		0	0	-
ConsCS 2025.04		0	0	-
Picus 2025.04		0	0	-
ConsCS 2025.04		0	0	-