Formal Verification on Lock-Mint Reorg Attack (T1)
0Iteration CountCOBALT-TLA
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| COBALT-TLAVulnerability Class=Reorg / Stale Queue, Note=Ground truth (no LLM involved)2026.04 | 0 | 4 | 10 | 0.27 | 0.27 |
| Method | Links | |||||
|---|---|---|---|---|---|---|
| COBALT-TLAVulnerability Class=Reorg / Stale Queue, Note=Ground truth (no LLM involved)2026.04 | 0 | 4 | 10 | 0.27 | 0.27 |