Vulnerability Detection on ZKAP Dataset
23TPZKFUZZ++
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| ZKFUZZ++Constraint Size=Total, Reporting Metric=Max / Min2025.04 | 23 | 0 | 100 | |
| CircomspectConstraint Size=Total2025.04 | 21 | 38 | 35 | |
| ZKFUZZ++Constraint Size=Small, Reporting Metric=Max / Min2025.04 | 20 | 0 | 100 | |
| ZKFUZZConstraint Size=Total, Reporting Metric=Max / Min2025.04 | 20 | 0 | 100 | |
| ZKFUZZConstraint Size=Small, Reporting Metric=Max / Min2025.04 | 19 | 0 | 100 | |
| ZKAPConstraint Size=Total2025.04 | 18 | 14 | 56 | |
| CircomspectConstraint Size=Small2025.04 | 15 | 6 | 71 | |
| ZKAPConstraint Size=Small2025.04 | 15 | 2 | 88 | |
| PicusConstraint Size=Small, Solver=Z3 / CVC52025.04 | 9 | 0 | 100 | |
| PicusConstraint Size=Total, Solver=Z3 / CVC52025.04 | 9 | 0 | 100 | |
| ConsCSConstraint Size=Small2025.04 | 6 | 0 | 100 | |
| ConsCSConstraint Size=Total2025.04 | 6 | 0 | 100 | |
| CircomspectConstraint Size=Very Large2025.04 | 4 | 15 | 21 | |
| ZKAPConstraint Size=Very Large2025.04 | 3 | 0 | 100 | |
| CircomspectConstraint Size=Large2025.04 | 2 | 12 | 14 | |
| ZKFUZZ++Constraint Size=Very Large, Reporting Metric=Max / Min2025.04 | 2 | 0 | 100 | |
| ZKFUZZ++Constraint Size=Large, Reporting Metric=Max / Min2025.04 | 1 | 0 | 100 | |
| ZKFUZZConstraint Size=Very Large, Reporting Metric=Max / Min2025.04 | 1 | 0 | 100 | |
| CircomspectConstraint Size=Medium2025.04 | 0 | 5 | 0 | |
| ZKAPConstraint Size=Medium2025.04 | 0 | 8 | 9 | |
| PicusConstraint Size=Medium, Solver=Z3 / CVC52025.04 | 0 | 0 | — | |
| ConsCSConstraint Size=Medium2025.04 | 0 | 0 | — | |
| ZKFUZZConstraint Size=Medium, Reporting Metric=Max / Min2025.04 | 0 | 0 | 100 | |
| ZKFUZZ++Constraint Size=Medium, Reporting Metric=Max / Min2025.04 | 0 | 0 | — | |
| ZKAPConstraint Size=Large2025.04 | 0 | 4 | 0 | |
| PicusConstraint Size=Large, Solver=Z3 / CVC52025.04 | 0 | 0 | — | |
| ConsCSConstraint Size=Large2025.04 | 0 | 0 | — | |
| ZKFUZZConstraint Size=Large, Reporting Metric=Max / Min2025.04 | 0 | 0 | 100 | |
| PicusConstraint Size=Very Large, Solver=Z3 / CVC52025.04 | 0 | 0 | — | |
| ConsCSConstraint Size=Very Large2025.04 | 0 | 0 | — |