CertiK Blog and News
Join Our Community Today!
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.
How Formal Verification Would Have Fortified Beauty Chain (BEC) Smart Contract
CertiK | Apr 30
Formal Verification is the highly specialized process that CertiK uses to mathematically prove the security and correctness of blockchain smart contracts. Unlike manual security checks, Formal Verification examines the entire code logic at-scale and mathematically ensures your program works only as it’s intended to.