CertiK Blog and News
Join Our Community Today!
CertiK AutoScan Engine: 53 of the top 500 tokens by market cap were found to have vulnerabilities
CertiK | Aug 31
Since blockchain’s infancy, there have been several, catastrophic smart contract hacks, which have underscored the importance of blockchain security.
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 Formal Verification Engine Could Help ICON Detect ICX EnableTokenTransfer Issue
CertiK | Jun 17
On Jun 16th 2018, reports have emerged that a bug was found in the ICON smart contract code. This error is being exploited by malicious actors to disable ICX token transfer, which could halt thousands of transactions.
How Formal Verification Would Have Prevented the Stolen of 2 Billion EduCoin
CertiK | May 24
On May 23rd, a new bug was found in EduCoin’s smart contract, prompting several exchanges to result in more than 2 billion EDU tokens missing. EduCoin reaches market capitalization of $0.00 over last 24-hour.