| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Circom Benchmarks Total - ZKAP | True Positives27 | 7 | 4d ago | ||
| Circom Benchmarks Total - All | TP88 | 7 | 4d ago | ||
| Circom Benchmarks Very Large - ZKAP | TP5 | 7 | 4d ago | ||
| Circom Benchmarks Very Large - All | TP6 | 7 | 4d ago | ||
| Circom Benchmarks Large - ZKAP | TP2 | 7 | 4d ago | ||
| Circom Benchmarks Large All | TP17 | 7 | 4d ago | ||
| Circom Benchmarks Medium - ZKAP | TP0 | 7 | 4d ago | ||
| Circom Benchmarks Medium - All | TP7 | 7 | 4d ago | ||
| Circom Benchmarks Small - ZKAP | True Positives20 | 7 | 4d ago | ||
| Circom Benchmarks Small - All | True Positives58 | 7 | 4d ago | ||
| Juliet Test Suite C/C++ | LLMDFA | DBZ Precision85.71 | 1 | 4d ago |
