CertiK Blog and News

Join Our Community Today!

How CertiK's Formal Verification Engine Could Have Detected ICX's EnableTokenTransfer Issue

CertiK | Jun 17

On Jun 16th 2018, reports have emerged that a bug was found in ICON's smart contract code. This error was exploited by malicious actors to disable ICX token transfer, which halted thousands of transactions.

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.

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.