[论文解读] A Survey of Security Vulnerabilities in Ethereum Smart Contracts

Noama Fatima Samreen, Manar H. Alalfi|arXiv (Cornell University)|May 14, 2021

Blockchain Technology Applications and Security参考文献 20被引用 14

一句话总结

本文综述了以太坊智能合约中的八个关键应用层安全漏洞，分析了真实世界的利用案例与检测技术。评估了12种漏洞检测工具，揭示了显著的差距——尤其是对类型转换漏洞的检测能力不足——同时强调了重入攻击和整数溢出为造成经济损失的主要原因，其中DAO攻击和Parity钱包攻击分别导致了7000万和1.5亿美元的以太币损失。

ABSTRACT

Ethereum Smart Contracts based on Blockchain Technology (BT)enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum smart contracts are programs that are deployed as decentralized applications, having the building blocks of the blockchain consensus protocol. This enables consumers to make agreements in a transparent and conflict-free environment. However, there exist some security vulnerabilities within these smart contracts that are a potential threat to the applications and their consumers and have shown in the past to cause huge financial losses. In this study, we review the existing literature and broadly classify the BT applications. As Ethereum smart contracts find their application mostly in e-commerce applications, we believe these are more commonly vulnerable to attacks. In these smart contracts, we mainly focus on identifying vulnerabilities that programmers and users of smart contracts must avoid. This paper aims at explaining eight vulnerabilities that are specific to the application level of BT by analyzing the past exploitation case scenarios of these security vulnerabilities. We also review some of the available tools and applications that detect these vulnerabilities in terms of their approach and effectiveness. We also investigated the availability of detection tools for identifying these security vulnerabilities and lack thereof to identify some of them

研究动机与目标

• 识别并分类以太坊智能合约中的八个主要应用层安全漏洞。
• 分析这些漏洞的真实世界利用案例，包括以太币的财务损失。
• 基于其方法、有效性及对每种漏洞的覆盖范围，评估现有检测工具。
• 突出研究空白，特别是缺乏检测类型转换漏洞的工具。
• 为未来研究提供指导，推动开发更强大、更全面的智能合约漏洞检测框架。

提出的方法

• 本研究使用NIST缺陷框架对漏洞进行分类，但大多数漏洞因区块链特有的特性而无法直接映射。
• 通过文献回顾和对过往攻击的案例研究分析，识别根本原因和财务影响。
• 基于其分析方法（静态、动态或混合）评估12种检测工具（如Mythril、SmartCheck、Securify）的性能。
• 将每种漏洞映射到检测工具，并使用对比矩阵评估工具的覆盖范围。
• 分析各类漏洞在研究关注度和工具采用率方面的统计趋势。
• 识别工具的局限性，特别是缺乏对类型转换漏洞的检测能力，并讨论其对安全智能合约开发的影响。

实验结果

研究问题

• RQ1 以太坊智能合约中哪些八个应用层漏洞最为普遍且影响深远？
• RQ2 现实世界中的攻击如何利用这些漏洞，造成了多大的财务损失？
• RQ3 针对每种漏洞，哪些检测工具是有效的，它们分别采用何种分析方法（静态、动态或混合）？
• RQ4 为何尽管存在高风险，当前工具中对类型转换漏洞的检测仍基本缺失？
• RQ5 在提升智能合约漏洞检测方面，存在哪些关键研究空白和未来方向？

主要发现

• Parity多重签名钱包攻击，因利用了类型转换漏洞，导致以太币损失达1.5亿美元，是单个智能合约漏洞利用造成的最大记录损失。
• DAO攻击由重入漏洞引发，造成7000万美元以太币损失，凸显了常见编码缺陷带来的巨大财务影响。
• 重入漏洞是研究最充分的漏洞，12种被调查工具中有10种采用静态分析检测，但仅有两种结合了静态与动态分析以提高准确性。
• 尽管存在严重利用风险，目前尚未发现任何工具能够检测Solidity中的类型转换漏洞，表明存在重大研究空白。
• 整数下溢/溢出漏洞仅被两种工具——Zeus和Mythril——检测到，表明对这一高影响力类别的工具覆盖有限。
• 弱字段修饰符漏洞仅被一种工具（SmartCheck）检测到，表明该类别检测成熟度较低。