CertiK Blog and News
Join Our Community Today!
How CertiK Could Help Warn Bancor Issue that Led to Millions of Funds Lost
CertiK | Jul 12
While there are no guaranteed ways to protect the wallet’s private key, the cause for funds lost, observed from source code security audit perspective, is fundamentally due to the granting token admins functionality that should have been flagged as a vulnerability.
CertiK Unveiled: Ecosystem
CertiK | Jun 26
Welcome to our first post in the “CertiK Unveiled” series! Over the upcoming months we’ll continue to break down various elements of CertiK for our community.
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.