Smart Contract Hack Prevention on 37 DeFi benchmark protocols (test)
35Hacks Blocked CountCrossGuard
Evaluation results
| Method | Links | ||
|---|---|---|---|
| CrossGuardTraining Data usage (TS)=w/o TS2025.04 | 35 | 1.19 | |
| CrossGuardTraining Data usage (TS)=w TS2025.04 | 35 | 0.15 | |
| Trace2InvTraining Data usage (TS)=w TS, Security Invariant Type=EOA∧GC∧DFU2025.04 | 34 | 3.14 | |
| Trace2InvTraining Data usage (TS)=w TS, Security Invariant Type=EOA∧(OB∨DFU)2025.04 | 29 | 0.23 |