블로그
기술 인사이트
CertiK 엔지니어가 전하는 스마트 계약 취약점 심층 분석, 블록체인 보안 모범 사례 및 기술 연구.
교육 자료Advanced Formal Verification of HyperEnclave's TEECertiK applies a range of analytical methods during audits. This includes careful code review by human auditors, bug-finding through fuzzing, static analysis against insecure code patterns, model checking with respect to standard protocols, and more. One of the most interesting methods is to use machine-checked proofs (a.k.a. formal verification).
기술 분석Advanced Web3 Formal Verification of HyperEnclave’s TEECertiK applies a range of analytical methods during audits. This includes careful code review by human auditors, bug-finding through fuzzing, static analysis, model checking with respect to standard protocols, and machine-checked proofs (a.k.a. formal verification).
기술 분석Why Memory-Safe Blockchain RPC Nodes are Not Panic-Free CertiK's Skyfall team recently uncovered several vulnerabilities in Rust-based RPC nodes in various blockchains including Aptos, StarCoin, and Sui. As RPC nodes are pivotal infrastructure components linking dApps with underlying Blockchains, their robustness is essential for seamless operations.
교육 자료What is Account Abstraction?One of the latest developments making the rounds in the Ethereum community is the concept of “account abstraction.” Although it might sound technical, it’s about making the Ethereum blockchain more flexible and user-friendly.
교육 자료Exploring the BRC-20 Token Standard: An IntroductionSince its introduction in 2015, the ERC-20 standard has gained widespread adoption due to its flexible and easy integration with DeFi protocols. Recently, another term, "BRC-20," has gained significant attention and has become a hot topic in the blockchain space.
취약점 리서치The HamsterWheel: An In-Depth Exploration of a Novel Attack Vector on the Sui BlockchainCertiK’s Skyfall team identified and disclosed a series of denial of service vulnerabilities in the Sui blockchain. Among these vulnerabilities, a new type of bug stood out due to its critical severity implications which could cause the Sui network to not be able to process new transactions, effectively causing a total network shutdown.
교육 자료Gas Optimization in Ethereum Smart Contracts: 10 Best PracticesGas fees on the Ethereum mainnet have been a persistent concern, especially at times of network congestion. Gas optimization can lead to lower transaction costs and improved efficiency, ultimately providing a more affordable and accessible blockchain experience for users.
교육 자료A Short Introduction to Zero Knowledge ProofsIn the complex field of cryptography, zero-knowledge proofs offer a unique solution for a seemingly contradictory task: proving the possession of a piece of information without revealing the information itself.
교육 자료Top Tips For Keeping Up With The Latest Crypto Security EventsStaying abreast of the latest security events is crucial to safeguarding your digital assets. Check out these top tools for keeping up with the hectic pace of Web3 security news.
교육 자료Top 10 Security Tips for BNB Chain BuildersCheck out these top ten tips for secure smart contract programming on BNB Chain.
교육 자료Diamond Proxy Contracts: Best PracticesA diamond proxy contract, also known as a "diamond," is a design pattern for Ethereum smart contracts that is introduced by Ethereum Improvement Proposal (EIP) 2535.
기술 분석Best Tools for Tracking Top Crypto WalletsTransparency is one of the key advantages of using blockchain technology. For those interested in following the movements of top crypto wallets, whether it be for research, investment purposes, or simply curiosity, there are several powerful tools available to help.