Formal Verification on Lock-Mint Optimistic Relay (T2)
1Iteration CountCOBALT-TLA
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| COBALT-TLAVulnerability Class=Pre-finality Mint2026.04 | 1 | 4 | 15 | 0.3 | 17.9 |
| Method | Links | |||||
|---|---|---|---|---|---|---|
| COBALT-TLAVulnerability Class=Pre-finality Mint2026.04 | 1 | 4 | 15 | 0.3 | 17.9 |