Awesome EVM Security

EVM Securityを扱う資料や関連プロジェクトをまとめたAwesomeリストです。

目次

• ガイド
• ガバナンス
• アーキテクチャ
• 標準
• システム資産
• 脅威
• 脆弱性
• コントロール
• エコシステム

ガイド

• CryptoSec.info - 初心者がハッカーや詐欺師から資金を守る方法を学ぶための情報。
• Simplified Roadmap for Blockchain Security - ブロックチェーンセキュリティ分野に入るために知るべき、すべての基礎的な話題を扱う。
• How to become a smart contract auditor - 監査と監査人に関するよくある質問、および監査人が最初の仕事を得る方法。

ガバナンス

• A beginner’s guide to DAOs - DAOとは何か、なぜ興味深いのか、どのようなユースケースがあるのかを高水準で概観する。
• Deep DAO - 複数の指標を横断して主要DAOを一覧、ランク付け、分析する。
• SAFT Agreements - トークンの機能が開発される前に、トークンに関する権利を移転するために用いる商用契約。
• Voting Options in DAOs - DAOにおける投票オプション。
• The Wyoming DAO bill - Wyoming DAOに関するスレッド。
• It Takes a Cryptonetwork - DAO間関係に関するPrimeの戦略。
• DAOs, Democracy and Governance - DAOに関するRalph Merkleの論文。

アーキテクチャ

• Shelling Out: The Origins of Money - 社会的取引コストを減らすうえでの収集品の価値を示す。
• Foundations of Cryptoeconomic Systems - 「暗号経済学」という用語が文脈依存である理由を探り、補完的なミクロ、メゾ、マクロの定義を提案する論文。
• Towards a Practice of Token Engineering - トークン化エコシステムとそのインセンティブをどう設計し、分析・検証するか。
• A Crash Course in Mechanism Design for Cryptoeconomic Applications - メカニズムデザインの基本概念を紹介し、暗号通貨の世界での有用性を示す。
• WTF Is QF - 二次資金調達を簡潔に説明する。
• Bonding Curves Explained - ボンディングカーブとは何か、またその潜在的な応用。

標準

• DeFi Safety - ベストプラクティスに基づくセキュリティスコアレビュー。
• DASP Top 10 of 2018 - Decentralized Application Security Projectの上位10脆弱性。
• IVSCS - Immunefi Vulnerability Severity Classification System。
• Smart Contract Security Verification Standard - 開発者、アーキテクト、セキュリティレビュアー、ベンダー向けに、スマートコントラクトのセキュリティを標準化するため作られた無償の14部構成チェックリスト。
• Secureth guidelines - ソフトウェアプロジェクトにおける異なる懸念と期待の全体像を示し、独自のソフトウェアエンジニアリングプロセスを策定する助けとなる。
• CryptoCurrency Security Standard (CCSS) - 取引所、ウェブアプリケーション、暗号通貨保管ソリューションを含む、暗号通貨を利用するすべての情報システム向け要件セット。
• The Solcurity Standard - Solidityスマートコントラクトのための、意見を反映したセキュリティおよびコード品質標準。

システム資産

• Security Considerations in the Solidity documentation - いくつかの落とし穴と一般的なセキュリティ推奨事項を列挙する。
• Ethereum 2.0 Specifications Security Audit Report - Least AuthorityによるEth2.0仕様のセキュリティ監査報告書。
• Getting Deep Into EVM - EVMの仕組みに関する究極の詳細な解説。
• Ethereum EVM illustrated - いくつかのメンタルモデルと実装を探究する。
• Ethereum Blockspace: Who Gets What and Why - Ethereumブロックスペース市場の構造。
• What Is Uniswap and How Does It Work? - Uniswapとは何か、仕組み、Ethereumウォレットでトークンを簡単に交換する方法。
• Scaling EVM (Ethereum Virtual Machine) - EVMベースのブロックチェーンアーキテクチャは、どれほど高速かつ遠くまで進めるか。
• L2Beat - 新興のレイヤー2（L2）技術に関する透明で検証可能な洞察。
• The Non-Fungible Token Bible - NFTについて知るべきすべて。
• KEVM - K frameworkにおけるEVMの形式モデル。

脅威

• Blockchain Graveyard - ブロックチェーンに関わる大規模なセキュリティ侵害または盗難をすべて集めたリスト。
• List of Bitcoin Heists - 過去のBitcoin関連盗難の調査。
• Blockchain Threat Intelligence - ブロックチェーン、DeFi、暗号通貨の脅威インテリジェンス、脆弱性、セキュリティツール、イベントに関する最新情報。
• Rekt News - 調査報道、創造的な論評、インシデント分析。
• DeFiYield’s REKT db - 暗号資産ハック、エクスプロイト、詐欺のデータベース。
• CryptoScamDB - オープンソースデータベースで暗号通貨詐欺を追跡する。
• Mudit Gupta’s Twitter threads - Twitter上の初期分析と教育コンテンツ。
• Flash Boys 2.0 Paper - 分散型取引所でのフロントランニング、マイナー抽出可能価値、コンセンサス不安定性。
• MEV-explore - 「ダークフォレスト活動」とEthereumネットワークへの影響の重要性を、コミュニティが理解・定量化する助けとなる。
• Flashloan monitor - フラッシュローン取引を監視するダッシュボード。
• Known Attacks - Consensysによる、認識すべき既知攻撃のリスト。
• Solidity Security - 既知の攻撃ベクトルと一般的なアンチパターンの包括的リスト。

脆弱性

• SWC Registry - Smart Contract Weakness Classificationとテストケース。
• 246 Findings - Trail of Bitsのスマートコントラクト監査から得られた246件の発見。
• A Survey of Security Vulnerabilities in Ethereum Smart Contracts - 過去の悪用事例シナリオを分析し、ブロックチェーン技術のアプリケーション層に特有の8つの脆弱性を説明する。
• List of Security Vulnerabilities - さまざまな情報源から集めた、一般的なスマートコントラクトセキュリティ脆弱性の包括的リスト。
• List of Known Bugs - Solidityコンパイラーで判明しているセキュリティ関連バグの一部をJSON形式で列挙するリスト。

コントロール

• Simple Security Toolkit - 特にプロトコルの初期版を開発・管理するチームに適する、Nascentチームの見解に基づく推奨事項。
• Gnosis Safe - マルチシグ。各取引の実行に複数のチームメンバーの確認を要求し、企業暗号資産への不正アクセスを防ぐ助けとなる。
• List of DeFi auditors - DeFiSafetyが維持するDeFi監査人のリスト。
• State of DeFi Audits - 新しいDeFiプロトコルを適切に保護して利用者を迎え入れるうえで、監査領域とその重要性を考察する記事。
• Building Secure Contracts - 安全なスマートコントラクトの書き方に関するTrail of Bitsのガイドラインとベストプラクティス。
• Solidity Patterns - スマートコントラクトプログラミング言語Solidityのパターンとベストプラクティスの集成。
• Security Pattern for Ethereum and Solidity - Google Sheetsのチェックリスト。
• Solidity Best Practices for Smart Contract Security - Ethereumスマートコントラクトを堅牢にするためのConsensysの実践的助言。
• CERtified - サイバーセキュリティ評価による上位100取引所。
• Smart Contract Security Registry - チェーンとアドレスに基づきデプロイ済みコントラクトのインスタンスを、所属プロジェクトの一覧により特定する取り組み。
• Forta - スマートコントラクト向けのコミュニティベース実行時セキュリティネットワーク。

エコシステム

• People to follow on Twitter - web3エコシステムとセキュリティ関係者を概観するTwitterリスト。
• Videos to watch on YouTube - web3セキュリティ動画のYouTubeプレイリスト。

脚注

関連項目

その他のAwesomeリスト:

• Awesome BlockSec CTF - ブロックチェーンセキュリティのCapture the Flag（CTF）コンテスト。
• Awesome Buggy ERC20 Tokens - 影響を受けるトークンを伴うERC20スマートコントラクトの脆弱性。
• Awesome Cryptoeconomics - 暗号経済学の研究・学習資料。
• Awesome Zero-Knowledge Proofs (ZKP) - Zero-Knowledge Proofs（ZKP）の学習に関する優れたものを集めたリスト。
• Officer CIA’s Ultimate DeFi Research Base - DeFIとブロックチェーンの研究論文・ツールを集めたリスト。
• Awesome MEV resources