[論文レビュー] A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation

Ningyu He, Haoyu Wang+4 more|arXiv (Cornell University)|Jul 19, 2022

Blockchain Technology Applications and Security被引用数 5

ひとこと要約

本論文は、EOSIOブロックチェーンプラットフォームにおけるセキュリティ脆弱性、攻撃、緩和策について、初めての包括的サーベイを提示している。スマートコントラクト、EOS仮想マシン（EOS VM）、および合意形成メカニズムの各分野における欠陥を分析している。脆弱性を体系的に分類し、EOSBetの攻撃事例のような実世界の攻撃事例を詳細に記載し、DApp開発者、EOSIOチーム、研究者向けの開発者ベストプラクティスおよびセキュリティ強化戦略を提言している。

ABSTRACT

EOSIO, as one of the most representative blockchain 3.0 platforms, involves lots of new features, e.g., delegated proof of stake consensus algorithm and updatable smart contracts, enabling a much higher transaction per second and the prosperous decentralized applications (DApps) ecosystem. According to the statistics, it has reached nearly 18 billion USD, taking the third place of the whole cryptocurrency market, following Bitcoin and Ethereum. Loopholes, however, are hiding in the shadows. EOSBet, a famous gambling DApp, was attacked twice within a month and lost more than 1 million USD. No existing work has surveyed the EOSIO from a security researcher perspective. To fill this gap, in this paper, we collected all occurred attack events against EOSIO, and systematically studied their root causes, i.e., vulnerabilities lurked in all relying components for EOSIO, as well as the corresponding attacks and mitigations. We also summarized some best practices for DApp developers, EOSIO official team, and security researchers for future directions.

研究の動機と目的

• EOSIOは、高いスループットと急速に拡大するDAppエコシステムを備えた、ブロックチェーン3.0の主要プラットフォームであるが、そのセキュリティに関する体系的なサーベイが不足していることを補うため。
• スマートコントラクト、EOS VM、およびブロックチェーンプロトコル自体の3層にわたるセキュリティ脆弱性を特定・分類すること。
• 実世界の攻撃事例（例：EOSBetの二重利用攻撃）を分析し、攻撃戦術とその結果を理解すること。
• 既存の緩和技術（例：プログラムおよび取引分析）を要約し、開発者およびEOSIOチーム向けの実行可能なベストプラクティスを提言すること。
• 研究の今後の方向性を示すために、DeFi特有の脆弱性やWebAssemblyベースのスマートコントラクトにおける高度な静的解析の必要性といったギャップを特定すること。

提案手法

• セキュリティ会社のレポート、フォーラム、公式発表などの公開ソースから、EOSIOを標的とした113件の攻撃事例を収集・分析した。
• 脆弱性を3つの層に分類した：スマートコントラクト論理上の欠陥、EOS VM実行上の欠陥、および合意形成アルゴリズム（DPoS）設計上の問題。
• 各脆弱性をその根本原因、攻撃ベクトル、および実世界での利用事例（例：EOSBetの二重送金攻撃）にマッピングした。
• 導入前における脆弱性検出のため、記号実行、ファズィング、取引行動分析などの既存の緩和技術を評価した。
• 開発者や研究者がセキュリティ問題を理解・防止できるよう、階層的脆弱性分類法を提言した。
• 攻撃パターンと緩和効果の有効性に基づき、DApp開発者、EOSIOチーム、セキュリティ研究者向けのベストプラクティスを統合した。

実験結果

リサーチクエスチョン

• RQ1 EOSIOのスマートコントラクト、EOS VM、合意形成メカニズムにおける主なセキュリティ脆弱性は何か。これらはイーサリアムの脆弱性とどのように異なるか。
• RQ2 実世界の攻撃は、EOSIOの特定の脆弱性をどのように悪用するのか。直接的な財務的・運用的影響は何か。
• RQ3 WebAssemblyベースの実行環境において、EOSIOスマートコントラクト脆弱性を検出・緩和する上で最も効果的な戦略は何か。
• RQ4 DApp開発者およびEOSIOチームは、改善されたコーディング慣行とプラットフォームの強化を通じて、今後の攻撃をどのように防止できるか。
• RQ5 特に急成長するDeFiアプリケーションとゼロデイ脆弱性検出を踏まえた場合、EOSIOのセキュリティを強化する上で重要な研究ギャップは何か。

主な発見

• EOSIOプラットフォームは、発表後1年間で少なくとも113件の異なる攻撃事例を経験しており、主にスマートコントラクトおよびEOS VMの脆弱性に起因している。
• EOSBet DAppは、2つの取引引数の検証が不十分であったため、1か月の間に2度も侵害され、損失額は100万米ドルを超えた。
• スタック操作やメモリの安全でないアクセスといった、EOS VMにおける脆弱性が、アクセス制御を回避し、悪意あるコードを実行可能にした。
• 委任型プルーフ・オブ・ステーク（DPoS）合意形成メカニズムは、ブロックプロデューサーの操作やリソース枯渇攻撃といった新たな攻撃ベクトルを導入した。
• 記号実行やファズィングといった既存の緩和技術は、導入前の脆弱性検出において有望であるが、まだ広く採用されていない。
• 入力検証、最小特権アクセス、新規コンponentの分離といったベストプラクティスは、財務的損失や脆弱性の悪用リスクを顕著に低減できる。