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 |
Loading the SOTA2 catalog…
| Method | Links | |||||
|---|---|---|---|---|---|---|
| COBALT-TLAVulnerability Class=Pre-finality Mint2026.04 | 1 | 4 | 15 | 0.3 | 17.9 |