블로그
기술 인사이트
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.