Blog
Technical insights
Deep dives into smart contract vulnerabilities, blockchain security best practices, and technical research from CertiK engineers.
EducationalBlockchain 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.
EducationalAdvanced 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).
EducationalWhat 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.
EducationalExploring 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.
EducationalGas 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.
EducationalA 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.
EducationalTop 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.
EducationalTop 10 Security Tips for BNB Chain BuildersCheck out these top ten tips for secure smart contract programming on BNB Chain.
EducationalDiamond 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.
EducationalWhat 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.
EducationalSocial 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.
EducationalSecure 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.