CertiK Blog and News
Join Our Community Today!
An Introduction to Formal Verification
CertiK | Jun 10
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.
Ronghui Gu discussed blockchain security on Columbia Data Security
CertiK | May 22
Ronghui Gu is also a co-founder of CertiK, a pioneering smart contract and blockchain cybersecurity firm which leverages Formal Verification technology to secure blockchain ecosystems.
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.