Blog
Technical insights
Deep dives into smart contract vulnerabilities, blockchain security best practices, and technical research from CertiK engineers.
EducationalCertiK has completed a security audit of Reserve ProtocolCertiK has recently completed a security audit of Reserve Protocol, a decentralized stablecoin and digital payment system.
Technology analysisTowards Building Trustworthy Blockchain EcosystemsHello everyone, I’m Ronghui Gu, an assistant professor at Columbia University Computer Science Department and co-founder at CertiK.
Technology analysisCertiK AutoScan Engine: 53 of the top 500 tokens by market cap were found to have vulnerabilitiesSince blockchain’s infancy, there have been several, catastrophic smart contract hacks, which have underscored the importance of blockchain security.
Technology analysisHow CertiK Could Help Warn Bancor Issue that Led to Millions of Funds LostWhile 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.
EducationalCertiK Unveiled: Ecosystem 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.
Technology analysisHow Formal Verification Would Have Discovered the Code Exploit in the Beauty Chain Smart ContractThe 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.