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