博客
技术洞察
深入探讨智能合约漏洞、区块链安全最佳实践以及 CertiK 工程师的技术研究。
教育Blockchain Fundamentals: Key Consensus AlgorithmsConsensus algorithms are the bedrock upon which distributed systems, including blockchains, are built. These algorithms are protocols that every node in a blockchain network adheres to in order to achieve agreement on a shared state.
教育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).
教育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.
教育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.
教育What is Multi-Party Computation (MPC)?Multi-Party Computation (MPC) is a mathematical approach used in cryptography that has the ultimate goal of having a cryptographic operation computed by multiple entities while ensuring that their inputs stay private and are not shared with any third party.
教育Social Media Crypto ScamsMore than $1 billion was lost to crypto scams since the beginning of 2021. Many of these are initiated on social media platforms. Read on to learn more about the most common types of scams and how to avoid falling victim to them.
教育Secure Smart Contract Programming in FunC: Top 10 Tips for TON DevelopersTON is an innovative blockchain that incorporates novel concepts in smart contract design. In this article, we’ll go through a couple of the most interesting features of the TON blockchain, then we’ll go through a list of best practices for developers programming smart contracts in FunC.