博客
技术洞察
深入探讨智能合约漏洞、区块链安全最佳实践以及 CertiK 工程师的技术研究。
技术分析Formal Verification, the Move Language, and the Move ProverIn this post, we take a deep dive into the formal verification of Move programs.
教育Upgradeable 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.
技术分析Moving 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.
教育An 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.
教育What 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.
教育Realizing 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.
技术分析Spotlighting 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. 
教育Top 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.
教育Spooky Stories From the CryptThe world of crypto can be a creepy place...
技术分析How 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.
技术分析What 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."
技术分析Bootstrapping 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