Vulnerability Detection on Real-world ZK Circuits All
85True Positives (TP)ZKFUZZ++
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| ZKFUZZ++Constraint Size=Total, Reporting Metric=Max / Min2025.04 | 85 | 0 | 100 | |
| ZKFUZZConstraint Size=Total, Reporting Metric=Max / Min2025.04 | 79 | 0 | 100 | |
| CircomspectConstraint Size=Total2025.04 | 63 | 74 | 46 | |
| ZKFUZZ++Constraint Size=Small, Reporting Metric=Max / Min2025.04 | 58 | 0 | 100 | |
| ZKFUZZConstraint Size=Small, Reporting Metric=Max / Min2025.04 | 57 | 0 | 100 | |
| CircomspectConstraint Size=Small2025.04 | 49 | 23 | 68 | |
| ZKAPConstraint Size=Total2025.04 | 43 | 41 | 51 | |
| ZKAPConstraint Size=Small2025.04 | 36 | 12 | 75 | |
| PicusConstraint Size=Small, Solver=Z3 / CVC52025.04 | 22 | 0 | 100 | |
| PicusConstraint Size=Total, Solver=Z3 / CVC52025.04 | 22 | 0 | 100 | |
| ZKFUZZ++Constraint Size=Large, Reporting Metric=Max / Min2025.04 | 16 | 0 | 100 | |
| ConsCSConstraint Size=Small2025.04 | 14 | 0 | 100 | |
| ConsCSConstraint Size=Total2025.04 | 14 | 0 | 100 | |
| ZKFUZZConstraint Size=Large, Reporting Metric=Max / Min2025.04 | 12 | 0 | 100 | |
| ZKFUZZConstraint Size=Medium, Reporting Metric=Max / Min2025.04 | 7 | 0 | 100 | |
| ZKFUZZ++Constraint Size=Medium, Reporting Metric=Max / Min2025.04 | 7 | 0 | 100 | |
| CircomspectConstraint Size=Large2025.04 | 6 | 16 | 27 | |
| CircomspectConstraint Size=Very Large2025.04 | 5 | 27 | 16 | |
| ZKAPConstraint Size=Large2025.04 | 4 | 4 | 50 | |
| ZKFUZZ++Constraint Size=Very Large, Reporting Metric=Max / Min2025.04 | 4 | 0 | 100 | |
| CircomspectConstraint Size=Medium2025.04 | 3 | 8 | 27 | |
| ZKAPConstraint Size=Very Large2025.04 | 2 | 10 | 17 | |
| ZKFUZZConstraint Size=Very Large, Reporting Metric=Max / Min2025.04 | 2 | 0 | 100 | |
| ZKAPConstraint Size=Medium2025.04 | 1 | 15 | 6 | |
| PicusConstraint Size=Medium, Solver=Z3 / CVC52025.04 | 0 | 0 | — | |
| ConsCSConstraint Size=Medium2025.04 | 0 | 0 | — | |
| PicusConstraint Size=Large, Solver=Z3 / CVC52025.04 | 0 | 0 | — | |
| ConsCSConstraint Size=Large2025.04 | 0 | 0 | — | |
| PicusConstraint Size=Very Large, Solver=Z3 / CVC52025.04 | 0 | 0 | — | |
| ConsCSConstraint Size=Very Large2025.04 | 0 | 0 | — |