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