博客
技术洞察
深入探讨智能合约漏洞、区块链安全最佳实践以及 CertiK 工程师的技术研究。
教育CertiK has completed a security audit of Reserve ProtocolCertiK has recently completed a security audit of Reserve Protocol, a decentralized stablecoin and digital payment system.
技术分析Towards Building Trustworthy Blockchain EcosystemsHello everyone, I’m Ronghui Gu, an assistant professor at Columbia University Computer Science Department and co-founder at CertiK.
技术分析CertiK 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.
技术分析How 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.
教育CertiK 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.
技术分析How 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.