TON Masterchain Contracts Formal Verification
Off-Chain (Private)
Audited on 2022/09/14
No active critical issues
Summary
TON is a fully decentralized layer-1 blockchain designed by Telegram to onboard billions of users. It boasts ultra-fast transactions, tiny fees, easy-to-use apps, and is environmentally friendly.
Issues (5)
Low | Medium | High | Critical | Total | |
|---|---|---|---|---|---|
Not fixed | 1 | - | - | - | 1 |
Fixed | 3 | 1 | - | - | 4 |
| Total | 4 | 1 | 0 | 0 | 5 |