Smart Contract Vulnerabilities:Vulnerable Does Not Imply Exploited总结
Smart Contract Vulnerabilities:
Vulnerable Does Not Imply Exploited
Usenix Security A 2021
研究背景
通过调查了最近六个学术项目所报告的23327个易受攻击的领域,结果发现,尽管这些领域的风险很大,但自部署以来,只有1.98%的领域被开发利用。这最多相当于8487 ETH(约170万美元),或仅占300万ETH(6亿美元)的0.27%。我们通过证明资金非常集中于少数在实践中不可利用的合同来解释这些结果
然后介绍了引起智能合约漏洞的背景
要执行智能合约,发送方必须向合约发送交易,并支付一笔费用,该费用来自合约的计算成本(以gas为单位)。每一条执行的指令消耗一个商定的气体量。消耗的gas贷记给包含交易的区块的矿工,而未使用的gas则退还给发送者。为了避免从不终止程序导致的系统故障,事务为合同执行指定了gas限制。一旦达到此限制,就会抛出gas不足异常。
智能合约本身有能力调用以太坊区块链上的其他账户。这个函数是重载的,因为它既用来调用另一个契约中的函数,也用来将以太坊中的基础货币ETH(ETH)发送到一个帐户。以太坊的一个特殊之处是,来自合同内部的调用(也称为内部事务)不会创建新的事务,因此不会直接记录在链上。这意味着在不执行事务的情况下查看事务并不能提供足够的信息来跟踪事务流。
然后介绍了六种智能合约的漏洞
Re-Entrancy (RE)。重入攻击 以太坊智能合约的特点之一是合约之间可以进行相互间的外部调用。同时,以太坊的转账不仅局限于外部账户,合约账户同样可以拥有Ether,并进行转账等操作。向以太坊合约账户进行转账,发送Ether的时候,会执行合约账户对应合约代码的回调函数(fallback)。一旦向被攻击者劫持的合约地址发起转账操作,迫使执行攻击合约的回调函数,回调函数中包含回调自身代码,将会导致代码执行“重新进入”合约。这种合约漏洞,被称为重入漏攻击Re-Entrancy。
Unhandled Exceptions (UE)未处理异常.发送以太时,在失败时不会抛出异常,而是通过返回布尔值来报告状态。如果未选中此返回值,则即使支付失败,调用方也会继续执行,这很容易导致不一致。
Locked Ether (LE). 以太坊智能合约可以像以太坊上的任何帐户一样接收以太。然而,有几个原因使收到的资金可能被永久地锁定在合同中。本文关注的是合约依赖于不再存在的外部合同的情况,因为这是对以太坊财务影响最大的模式。
2017年11月发生的Parity Wallet漏洞,锁定了价值数百万美元的以太,一个原因是,合同可能依赖于另一个合同,该合同已被使用EVM的自毁指令销毁,即其代码已被删除,其资金已被转移。如果这是这样一个合同发送Ether的唯一方式,它将导致资金被完全锁定。
还有一些情况下,合同将总是用尽gas时,试图发送Ether,这可能导致锁定合同资金。
Transaction Order Dependency (TO)事物顺序依赖. 在以太坊,多个事务包含在一个块中,这意味着合同的状态可以在同一块中多次更新。如果调用同一智能合约的两个事务的顺序改变了最终结果,则攻击者可以利用此属性进行攻击。例如,给定一个期望参与者提交exchange中一个谜题的解决方案以获得奖励的合同,恶意合同所有者可以在提交交易时减少奖励金额。
Integer Overflow (IO).整数上溢和下溢在许多编程语言中是一种常见的错误类型,但在以太坊环境中,它可能会产生非常严重的后果。例如,如果一个循环计数器溢出,产生一个无限循环,合同的资金可能会被完全冻结。如果攻击者能够增加循环的迭代次数(例如,通过注册足够的用户来触发溢出),则可以利用此漏洞。
Unrestricted Action (UA). 这样的问题不仅发生在开发人员忘记执行关键检查,也会发生在攻击者可以执行任意代码,例如通过控制委派调用的地址。合约通常通过检查消息的发送者来执行身份验证,以限制用户可以执行的操作类型。通常,只有合同的所有者才可以销毁合同或设置新的所有者。
用于分析的智能合约
本文收集了6篇学术论文中易受攻击的智能合约
为了检查潜在的漏洞,我们执行字节码级别的事务分析,在执行特定事务时查看契约执行的代码。我们使用这种类型的分析来检测第2节中介绍的六种类型的漏洞。为了执行我们的分析,我们首先检索数据集中所有合约的事务数据。接下来,为了执行字节码级别的分析,我们提取可能影响合同的交易的执行跟踪。我们使用EVM的调试功能,这使我们能够在跟踪执行的指令时重放事务操作。为了加快数据收集过程,我们修补了Go以太坊客户端,而不是依赖默认以太坊客户端提供的远程过程调用(RPC)功能。
这是本文定义的函数方法
通过调用不同的方法来检测不同的漏洞 在本节中,我们逐一介绍每个漏洞的结果;我们的结果是使用第4节中描述的方法获得的;目的是显示这些资金中有多少实际处于风险之中。
最后通过检查得到了最后的结果如下图
总的来说,我们发现被利用的合同数量是不可忽略的,在我们的研究中涉及的6个漏洞中,约有2%到4%的脆弱合同被利用了4个。然而,值得注意的是,开采的Ether百分比要低一个数量级,最多有0.4%的Ether用于再进入。这表明开发的合同通常价值较低。
我们认为,报告的脆弱合同数量与利用的合同数量之间存在差异的一个主要原因是Ether在合同中的分布。事实上,在我们数据集中的23327份合同中,只有大约2000份含有以太,而且大多数合同的余额低于1Ether。图12a显示了数据集中包含Ether的合同的平衡分布。此外,排名前10位的合约约占总合约的95%。我们在图12b中显示了Ether在含有10个Ether以上的合同中的累积分布。这表明,只要顶级合约无法交割,实际处于风险中的Ether总量就不会接近“脆弱”Ether的上限.
为了确保这一事实推广到整个以太坊区块链,而不仅仅是我们的数据集,我们获取所有现有合约的余额。总共有15459193份合同。其中,只有463538份合同有非零余额,仅占所有合同的3%。余额非零的合同中,前10名、前100名和前1000名分别占Ether总量的54%、92%和99%。这表明,我们的数据集与整个以太坊区块链的趋势相同:只有极少量的合约持有大部分财富。我们决定手动检查前6个合同,在撰写本文时的余额方面,这些合同被数据集中的任何工具标记为易受攻击。我们把重点放在前6位,因为这恰好是目前持有超过10万ETH的合同数量。这些合同总计持有1695240 ETH,占我们数据集中所有合同目前持有的2037521 ETH总数的83%。
介绍了由于智能合约漏洞导致的严重后果
The DAO漏洞。DAO漏洞[45]是以太坊区块链上最著名的漏洞之一。攻击者利用了合同的重入漏洞[11],该漏洞允许耗尽合同资金。攻击者可以在DAO余额减少之前调用函数以重新进入的方式提取资金,从而使资金的自由外流成为可能。共排出350多万Ether。考虑到攻击的严重性,以太坊社区最终同意了硬分叉。
Parity wallet bug。Parity wallet漏洞[14]是以太坊区块链上的另一个突出漏洞,导致价值2.8亿美元的以太坊被冻结在Parity wallet账户上。这是由于一个非常简单的漏洞:Parity wallet使用的库契约没有正确初始化,任何人都可能破坏它。一旦库被毁,任何对平价钱包的调用都将失败,从而有效地锁定了所有资金。
总结
本文调查了最近6个学术项目所报道的23327份弱势合同。我们提出了一个基于数据日志的公式,用于对EVM执行跟踪执行分析,并使用它来分析这些契约执行的总计超过2000万个事务。我们发现,在23327份合同中,最多有463份受到了侵害,但最多有8487 ETH(170万美元),或者说只有0.27%的300万ETH(6亿美元)的潜在风险被发现。最后,我们发现大部分Ether仅由少数合同持有,并且报告的这些漏洞要么是误报,要么在实践中不可利用,从而为我们的结果提供了合理的解释。
静态工具和动态工具
分析工具大致可以分为两类:静态分析工具和动态分析工具。使用术语“静态”相当宽松,静态分析工具可以定义为不需要部署智能合约就可以捕获bug或漏洞的工具。运行时分析工具试图通过执行部署的契约来检测这些。我们的工具属于第二类。
静态分析工具。静态分析工具一直是研究的重点。这是可以理解的,因为避免已部署契约中的漏洞是多么重要。这些工具大多通过分析字节码或契约的高级代码以及检查已知的易受攻击的模式来工作。
Smart Contract Vulnerabilities:Vulnerable Does Not Imply Exploited总结相关推荐
- Smart contract security Papers---智能合约安全论文
友情提示:原创博客,禁止转载,谢谢配合 [CCS'22]Towards Automated Safety Vetting of Smart Contracts in Decentralized App ...
- 使用Node.js部署智能合約(Smart Contract)
從智能合約原始檔.編譯.部署,一氣呵成 我想大部分的人應該都是為了寫智能合約(Smart Contract)而選擇使用Ethereum,在開發應用程式(Dapp)時,若能透過程式碼自動部署智能合約,就 ...
- Setting up Ethereum smart contract development using Parity on Ubuntu
Ethereum represents one of the most interesting technological developments in the past few years, ta ...
- Using APIs in Your Ethereum Smart Contract with Oraclize
原文地址:https://medium.com/coinmonks/using-apis-in-your-ethereum-smart-contract-with-oraclize-956564342 ...
- 智能合约Smart Contract技术详解
文章目录 合约编写 基本介绍 构造方法 ipfs mint 提现 白名单 合约 前端 部署 验证合约代码 前端和合约交互 准备工作 获取已经mint了的数量 mint 合约编写 建议读者先了解下sol ...
- 如何编写智能合约(Smart Contract)?(II)建立加密代币
如何编写智能合约(Smart Contract)?(II)建立加密代币 接着上一篇如何编写智能合约(Smart Contract)?,本篇文章,我们将写一个简单的加密代币的智能合约来给大家诠释加密代币 ...
- 区块链学习5:智能合约Smart contract原理及发展历程科普知识
☞ ░ 前往老猿Python博文目录 ░ 一.智能合约的定义 通俗来说,智能合约就是一种在计算机系统上,当一定条件满足的情况下可被自动执行的合约,智能合约体现为一段代码及其运行环境.例如银行信用卡的自 ...
- 《Smart Contract Development: Challenges and Opportunities》论文笔记
论文地址:下载地址 年份:2019 这篇论文主要的工作时,开展了一个探索性的研究,调查统计了区块链中的智能合约(只要针对以太坊:最受欢迎的针对智能合约的区块链平台)存在的挑战与问题,和开发者们对 ...
- 什么是智能合约(Smart Contract)?
智能合约是什么? 在区块链上运行的程序,通常称为智能合约(Smart Contract)��.所以通常会把写区块链程序改称写智能合约.虽然比特币(Bitcoin)上也能写智能合约,但是比特币所支持的语 ...
最新文章
- Flash(JSFL)
- Windows核心编程 第2 4章 异常处理程序和软件异常
- java == 与 equals 相同与不同点
- Jquery radio选中
- 【pygame】pygame的init()
- 装了Visual Studio 2005之后重装IIS的问题解决方法
- python学习(8)
- Flask 框架app = Flask(__name__) 解析
- 机器人编程软件semia_机器人10大流行编程语言对比 你掌握了哪种?
- Hbase和MySQL的区别是什么?
- eclipse启动springboot项目_多模块项目中的一个Spring Boot启动错误
- Docker生态技术链
- PowerShell因为在此系统中禁止执行脚本解决方法
- Bailian3729 用set实现字符串的排序和查找【文本处理】
- 【生活智慧】001.追求实在的东西
- 错误处理之异常与返回码
- python爬取美女_Python制作爬虫抓取美女图
- java基于ssm+vue的办公耗材采购管理系统
- 用一个简单的函数来理一下RPC调用过程
- c#获取电脑硬件信息参数说明(声卡篇 Win32_SoundDevice )
热门文章
- 解决 chrome 37 之后 flash 版本过低问题
- php 如果记录集不存在,ThinkPHP教程_PHP框架之ThinkPHP(八)【CRUD与连贯操作】
- ros手柄控制机器人小车(三)
- 二. 征服C指针:C如何使用内存
- 多线程-线程让步(yield)
- HQChart使用教程30-K线图如何对接第3方数据35-固定范围/可视范围成交量分布图数据
- 《MATLAB SYNTAX》第1章 数据类型
- 手把手带你部署Java项目到Linux服务器
- 攻防世界crypto进阶区--告诉你个秘密
- 手把手教你写!黑马培训java需要多长时间