[论文解读] 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系统性安全调查的问题，EOSIO作为高性能的区块链3.0平台，具备高吞吐量与不断扩展的DApp生态系统。
• 识别并分类三个层面的安全漏洞：智能合约、EOS VM与区块链协议本身。
• 分析真实世界中的攻击事件，包括EOSBet的双重攻击，以理解攻击手法与后果。
• 总结现有缓解技术，包括程序与交易行为分析，并为开发者与EOSIO团队提出可操作的最佳实践。
• 通过指明研究空白，如DeFi特定漏洞与基于WebAssembly的智能合约的高级静态分析需求，为未来研究提供指导。

提出的方法

• 从公开来源（包括安全公司报告、论坛与官方公告）收集并分析了113起针对EOSIO的攻击事件。
• 将漏洞划分为三个层次：智能合约逻辑缺陷、EOS VM执行缺陷与共识算法（DPoS）设计问题。
• 将每个漏洞映射至其根本原因、攻击向量及真实世界中的利用案例，如EOSBet的双重花费攻击。
• 评估现有缓解技术，包括符号执行、模糊测试与交易行为分析，以在部署前检测漏洞。
• 提出一种分层漏洞分类体系，以帮助开发者与研究人员理解并预防安全问题。
• 基于攻击模式与缓解措施的有效性，综合提出DApp开发者、EOSIO团队与安全研究人员的最佳实践。

实验结果

研究问题

• RQ1 EOSIO智能合约、EOS VM与共识机制中的主要安全漏洞是什么？与以太坊相比有何不同？
• RQ2 真实世界中的攻击如何利用EOSIO中的特定漏洞？其直接的财务与运营后果是什么？
• RQ3 针对基于WebAssembly执行的EOSIO智能合约漏洞，最有效的检测与缓解策略是什么？
• RQ4 DApp开发者与EOSIO团队如何通过改进编码实践与平台加固来预防未来攻击？
• RQ5 在保护EOSIO方面，当前存在哪些关键研究空白，特别是针对新兴的DeFi应用与零日漏洞检测？

主要发现

• EOSIO平台在发布后一年内至少遭遇113起独立的攻击事件，主要源于智能合约与EOS VM中的漏洞。
• 由于对两个交易参数验证不足，EOSBet DApp在一个月内被两次攻破，导致损失超过100万美元。
• EOS VM中的漏洞，如堆栈操作与内存安全问题，使攻击者能够绕过访问控制并执行恶意代码。
• 委托证明权益（DPoS）共识机制引入了新的攻击面，包括区块生产者操纵与资源耗尽攻击。
• 现有缓解技术如符号执行与模糊测试在部署前检测漏洞方面展现出潜力，但尚未被广泛采用。
• 最佳实践如输入验证、最小权限访问原则以及新组件的解耦，可显著降低财务损失与可利用性的风险。