블로그
기술 인사이트
CertiK 엔지니어가 전하는 스마트 계약 취약점 심층 분석, 블록체인 보안 모범 사례 및 기술 연구.
교육 자료Web3 모의해킹이란? Web3는 탈중앙화 애플리케이션(dApp)과 블록체인 기반 시스템이라는 새로운 시대를 열었습니다. 이러한 기술의 활용이 확대되고, 그 위에서 보호되는 자산 가치가 커질수록 안전한 Web3 개발과 구현의 중요성 또한 더욱 커지고 있습니다. 
교육 자료Smart Contract Security: Protecting Digital AssetsSecurity – in the context of smart contracts – refers to the prevention of unauthorized access, modification, or theft of the assets and agreements that smart contracts hold.
교육 자료What is a Blockchain Audit and How Does It Work?The importance of blockchain audits and how they work. We will also explore the benefits of conducting a blockchain audit and why it should be a top priority for L1 founders and the developers who build applications on top of these base layers.
교육 자료How AI Can Enhance Cybersecurity: A Primer on Deep Learning and its ApplicationsAI-powered tools such as ChatGPT have attracted considerable interest in the software development community. These tools have many applications, including to the security of Web3 platforms and smart contracts.
교육 자료Soulbound NFT란?“Soulbound” NFTs have attracted attention recently, with Ethereum founder Vitalik Buterin being one notable proponent. The concept of a soulbound NFT is derived from the online multiplayer game World of Warcraft. In the game, users are able to obtain high-level weapons and accessories that cannot be traded or exchanged but are instead tied to the user’s account, thus they are “soulbound.” 
교육 자료What is Formal Verification in Smart Contract Auditing?Formal verification is a method of mathematically proving that a computer program functions as intended. It involves expressing the program's properties and expected behavior as mathematical formulas, and then using automated tools to check that these formulas hold true. This process helps ensure that the program meets its desired specifications.
교육 자료Hacktivism Report: Part OneHacktivism is the act of misusing a computer system or network for a socially or politically motivated reason. This report examines the history and techniques of hacktivism in Web3, the laws and regulations developed in response to Web3 hacks, and looks at several case studies that are most famous for their hacktivism.
교육 자료An Introduction to the Cairo Programming LanguageEthereum layer 2 scaling solutions are rapidly evolving, and zero-knowledge rollups are one of the most exciting developments in the space. This article examines StarkNet - a general purpose ZK-rollup - and the programming language it uses: Cairo.
교육 자료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.
교육 자료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.