CertiK Blog and News
Join Our Community Today!
CertiK Named Recipient of Global Blockchain Excellence Award at Silicon Valley Entrepreneurs Festival
CertiK | May 4
CertiK has been named recipient of the Global Blockchain Excellence Award at the 2018 Silicon Valley Entrepreneurs Festival, one of the largest international conferences that focuses on innovation and entrepreneurship.
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.