Letscout
HomeNewsCompaniesPeopleVideos
Search…⌘K
Letscout© 2026 Letscout.
← Videos/Company

Verifying TON Chain Governance, How a bug was found and how to avoid it

Sep 10, 2024⏱ PT1M32S
↗ Watch on Platform
Our Formal Verification of TON's blockchain contracts had revealed the "Missing Stake Bug," which could have caused loss of staked funds or compromised network security, this issue has since been addressed proactively by the team.
More from Company
Standards SDK & The AI Hackathon on HederaPT1H2M42S
Standards SDK & The AI Hackathon on Hedera
Apr 15, 2025
Consensus Layer Meeting 155P0D
Consensus Layer Meeting 155
Apr 15, 2025
PeerDAS Breakout Room - Call #25PT1H4M3S
PeerDAS Breakout Room - Call #25
Apr 15, 2025
How Space DESTROYS Your BodyPT1M5S
How Space DESTROYS Your Body
Apr 14, 2025
Eth multicall Meeting Apr 14, 2025PT2M45S
Eth multicall Meeting Apr 14, 2025
Apr 14, 2025
SEC Roundtable: Between a Block and a Hard Place?PT4H42M3S
SEC Roundtable: Between a Block and a Hard Place?
Apr 11, 2025