CertiK Blog and News
Join Our Community Today!
How Formal Verification Could Have Prevented the Loss of 2 Billion EduCoin
CertiK | May 24
An undetected smart contract exploit resulted in the loss of 2 billion EDU tokens. CertiK breaks down what happened and how its Formal Verification Engine would have detected the bug before it went live.
How Formal Verification Would Have Discovered the Code Exploit in the Beauty Chain Smart Contract
CertiK | Apr 30
The exploit in the Beauty Ecosystem Chain (BEC) token was a result of a single, faulty line of code. Let's review what went wrong and how they could have avoided it using CertiK's Formal Verification Engine.