Blog
Technical insights
Deep dives into smart contract vulnerabilities, blockchain security best practices, and technical research from CertiK engineers.
Technology analysisFormal Verification, the Move Language, and the Move ProverIn this post, we take a deep dive into the formal verification of Move programs.
EducationalUpgradeable Proxy Contract Security Best PracticesProxy patterns enable contracts to upgrade their logic while maintaining their on-chain address and state values. This article gives an overview of the types of proxy contracts, associated security incidents and recommendations, as well as best practices when implementing a proxy contract.
Technology analysisMoving the Immovables: Lessons Learned From Our Aptos Smart Contract AuditWhile auditing smart contracts written in Move, we've encountered multiple instances of developers neglecting to use Move’s built-in protection mechanisms or adopting programming patterns that work counter to Move’s design philosophy. This post presents a few such examples along with our suggestions for how to fix them.
EducationalAn Introduction to MoveMove is a relatively new programming language which has seen application in a number of Web3 projects. We recently audited a novel Layer 1 blockchain which supports smart contracts written in Move, and thought we’d take this opportunity to give a general overview of Move.
EducationalWhat is Solana?Solana is a blockchain that performs many of the same functions as other smart contract-enabled chains – like Ethereum, Avalanche, Binance Chain, and others – while utilizing a novel approach to consensus about transaction ordering: Proof of History.
EducationalRealizing Post-Quantum Security with AlgorandThe benefits of quantum computers are manifold, offering incredibly faster processing, and even providing solutions to an entirely new class of problems. However, with the newly tapped power that quantum computers provide comes an entirely new class of security risk that could trample over existing non-quantum security protocols. This blog post will provide a rundown of how quantum computing can threaten web3, and the steps Algorand has taken to protect it.
Technology analysisSpotlighting Algorand's Growing EcosystemAlgorand is set to expand and enrich the current web3 landscape through its partnerships with multiple high-profile and exciting web3 projects. his blog post will spotlight some of the exciting developments in Algorand’s growing ecosystem, and emphasize the importance of bolstering this growth with Algorand smart-contract audits. 
EducationalTop 3 Tools for Timing the Crypto MarketTiming the market is not as reliable a strategy as time in the market, but there are a number of tools that can help make your entries and exits as timely as possible.
EducationalSpooky Stories From the CryptThe world of crypto can be a creepy place...
Technology analysisHow Algorand's State Proofs Power Blockchain InteroperabilityThis blog looks at what interoperability is, some of the solutions that are already available, and how Algorand’s State Proofs offer a major improvement on prior art.
Technology analysisWhat Makes a Web3 Project Worth Trusting?Here's how a Web3 project can build trust with its community, and where that fits into the ethos of "trustlessness."
Technology analysisBootstrapping the Sustainable Web3 with AlgorandThis blog looks at what it means for Algorand to truly be sustainable, discusses the importance of web3’s wider shift to sustainability for mainstream adoption, and spotlights some of the projects in Algorand’s ecosystem that are finding novel uses for blockchain in helping prevent climate change