Vulnerability Detection on ZK Bug Detection Benchmark
88TPCircomspect
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| CircomspectAnalysis Configuration=Recursive, Constraint Size=Total2025.04 | 88 | 181 | 33 | |
| CircomspectAnalysis Configuration=Recursive, Constraint Size=Small2025.04 | 58 | 28 | 67 | |
| ZKAPAnalysis Configuration=with US and USCO, Constraint Size=Total2025.04 | 45 | 89 | 34 | |
| ZKAPAnalysis Configuration=with US and USCO, Constraint Size=Small2025.04 | 37 | 23 | 61 | |
| CircomspectAnalysis Configuration=Recursive, Constraint Size=Large2025.04 | 17 | 30 | 36 | |
| CircomspectAnalysis Configuration=Recursive, Constraint Size=Medium2025.04 | 7 | 23 | 23 | |
| CircomspectAnalysis Configuration=Recursive, Constraint Size=Very Large2025.04 | 6 | 100 | 5 | |
| ZKAPAnalysis Configuration=with US and USCO, Constraint Size=Large2025.04 | 4 | 8 | 33 | |
| ZKAPAnalysis Configuration=with US and USCO, Constraint Size=Medium2025.04 | 2 | 29 | 6 | |
| ZKAPAnalysis Configuration=with US and USCO, Constraint Size=Very Large2025.04 | 2 | 29 | 6 |