专栏首页区块链大本营“冰封”合约背后的老牌劲敌——拒绝服务漏洞 | 漏洞解析连载之二

“冰封”合约背后的老牌劲敌——拒绝服务漏洞 | 漏洞解析连载之二

安全,区块链领域举足轻重的话题,为什么一行代码能瞬间蒸发几十亿市值?合约底层函数的使用不当会引起哪些漏洞?在合约中发送以太币存在哪些风险?服务攻击DOS有哪些类型? 「区块链大本营」携手「链安科技」团队重磅推出「合约安全漏洞解析连载」,以讲故事的方式,带你回顾区块链安全走过的历程;分析漏洞背后的玄机。让开发者在趣味中学习,写出更加牢固的合约,且防患于未然。 当然,这些文章并不是专为开发者而作的,即使你不是开发者,当你读完本连载,相信再有安全问题爆出时,你会有全新的理解。

引子:秦人不暇自哀,而后人哀之;后人哀之而不鉴之,亦使后人而复哀后人也。

——《阿房宫赋》

上回书道

溢出漏洞引增发

币值一落千万丈

黑客造假本领大

SafeMath来救驾

本回咱们聊聊:

DoS攻击重现区块链江湖

缜密防范助阵安全区阵营

眼观目前区块链发展的步伐越来越急促,似乎我们已无暇回首当初那些辉煌与挫败,只能低着头继续跟从与追赶。

回首2016年的战场,似乎一切都已冰封,少有人记得这里发生过什么。

我们将当时的「拒绝服务攻击事件」挖掘出来,并将原理分析和漏洞修复技巧与大家分享,提醒要时刻牢记过去的教训

事件回顾

2016年2月6日至8日The King of the Ether Throne(以下简称KotET)“纷争时代”(Turbulent Age)期间,许多游戏中的退位君王的补偿和未接受款项无法退回用户玩家的钱包[1] 。

具有讽刺意味的是同年6月,连庞氏骗局GovernMental的合约也遭遇DoS攻击,当时1100以太币是通过使用250万gas交易获得[2],这笔交易超出了合约能负荷的gas上限,带来交易活动的暂停。

无论是蓄意破坏交易正常流程还是阻塞交易通道,都用到了一个互联网时代已经盛行已久的攻击方式——DoS,也就是我们所说的拒绝服务攻击。

这种攻击方式可以让合约执行的正常的交易操作被扰乱,中止,冻结,更严重的是让合约本身的逻辑无法运行。

何为DoS

DoS 是DenialOfService,拒绝服务的缩写[3],从字面上来理解,就是用户所需要的服务请求无法被系统处理。

打个比方来形容DoS,火车站是为大家提供乘车服务的,如果想要DoS火车站的话,方法有很多,可以占用过道不上车,堵住售票点不付钱,阻挠列车员或者司机不让开车,甚至用破坏铁轨等更加极端的手段来影响车站服务的正常运营。

过去针对互联网的DoS有很多种方法,但基本分为三大类:利用软件实现的缺陷,利用协议的漏洞,利用资源压制[3]。

此外,还有DDoS,称为分布式DoS,其区别就是攻击者利用远程操控的计算机同时向目标发起进攻,在上面的比喻中可以理解为雇佣了几百个地痞流氓来做同样的事影响车站的运作

智能合约DoS攻击原理分析及其漏洞修复

无处不在的DoS当然也会对基于Solidity语言的以太坊合约产生威胁。

针对智能合约的DoS攻击属于利用协议漏洞进行的手段,具体的攻击方法有三种[4],其目的是使合约在一段时间或者永久无法正常运行。通过DoS攻击,可以使合约中的Ether永远无法提取出来,区块成为“冰冻废土”

在对原始代码进行分析后,我们发现KotET事件中对君王称号进行锁定的DoS攻击属于以下三种范畴。

1. 通过(Unexpected) Revert发动DoS

如果智能合约的状态改变依赖于外部函数执行的结果,又未对执行一直失败的情况做出防护,那么该智能合约就可能遭受DOS攻击[5]。

我们使用案例合约还原KotET的竞拍机制,进行模拟分析:

以上案列合约是一个简化版的KotET的竞拍争夺王位的合约,如果当前交易的携带的Ether大于目前highestBid,那么highestBid所对应的Ether就退回给currentLeader,然后设置当前竞拍者为currentLeadercurrentLeader改为msg.value

但是,当恶意攻击者部署如下图所示的合约,并通过合约来竞拍,就会出现问题

攻击者先通过攻击合约向案例合约转账成为currentLeader,然后新的bider竞标的时候,执行到

require(currentLeader.send(highestBid))

会因为攻击合约的fallback()函数

(这里指function()external payable函数)

无法接收Ether而一直为false,最后攻击合约以较低的Ether赢得竞标。

漏洞修复

如果需要对外部函数调用的结果进行处理才能进入新的状态,请考虑外部调用可能一直失败的情况,也可以添加基于时间的操作,防止外部函数调用一直无法满足require判断。

对GovernMental事件中交易的gas值远远超出天际的原理分析,其属于通过区块gasLimit发动DoS

2. 通过区块Gas Limit发动DoS

一次性向所有人转账,很可能会导致达到以太坊区块gasLimit的上限。以太坊规定了每一个区块所能花费的gasLimit,如果超过交易便会失败。

即使没有故意的攻击,这也可能导致问题。然而,最为糟糕的是gas的花费被攻击者操控。在先前的例子中,如果攻击者增加一部分收款名单,并设置每一个收款地址都接收少量的退款。

这样一来,更多的gas将会被花费从而导致达到区块gasLimit的上限,整个转账的操作也会以失败告终。

如以下简化版案例合约所示:

这个案例合约遍历可被人为操纵的investors[]数组。

攻击者可以创建许多账户,使得investors[]数组变的很大,使得执行for循环所消耗的gas超过块gas极限,使得distribute函数一直处于out-of-gas(OOG)状态,而一直无法执行成功,合约正常功能实现受到影响。

漏洞修复

合约不应该循环,对可以被外部用户人为操纵的数据结构进行批量操作,建议使用取回模式而不是发送模式,每个投资者可以使用withdrawFunds取回自己应得的代币。

如果实在必须通过遍历一个变长数组来进行转账,最好估计完成它们大概需要多少个区块以及多少笔交易。

然后你还必须能够追踪得到当前进行到哪,以便当操作失败时从那里开始恢复,举个例子:

3. 所有者操作发动DoS

另外, 我们联系之前提到的Owner权限过大,“超中心化”的问题,发现目前很多代币合约都有一个Owner账户,其拥有开启/暂停交易的权限,如果对Owner保管不善,代币合约可能被一直冻结交易,导致非主观的拒绝服务攻击。

例如如下Owner权限中的功能:

此Owner权限的局限性在于,在ICO结束后,如果特权用户丢失其私钥或变为非活动状态,Owner无法调用finalize(),用户则一直不可以发送代币,即令牌生态系统的整个操作取决于一个地址。

漏洞修复

可以设置多个拥有Owner权限的地址,或者设置暂停交易的期限,超过期限就可以恢复交易,例如:

require(msg.sender == owner || now > unlockTime)

漏洞分析,永不过时

综上所述,对于合约的DoS攻击,开发者应引起足够的重视。要牢记以下原则:

  1. 对于调用外部函数的代码一定要考虑周全,对于例外情况的判定要加入代码中;
  2. 遍历变长数组来逐个支付的方法需要全方位考虑和估计。合约中不应存在外部人员操纵的成分;
  3. 强调再三的去中心化特征也应该应用到Owner权限这个概念上来。

俗话说:以铜为镜,可以正衣冠;以古为镜,可以知兴替;以人为镜,可以明得失。对以往安全事件的分析和回顾,是保证未来合约安全的基础。

从被DoS到交易系统异常,到项目被冰封直至被遗忘,这一过程也反应了互联网发展初期所遭受的苦难。

但是只要我们铭记教训,就能稳固地保持区块链技术的发展。

次回予告:

“重入”“竞态”里应外合币穷财尽

“交互”“限制”强强联手链泰民安

杨霞 成都链安科技CEO,创始人。电子科技大学副教授,最早研究区块链形式化验证的专家。一直为航空航天、军事领域提供形式化验证服务。主持国家核高基、装发重大软件课题等近10项国家课题。CC国际安全标准成员、CCF区块链专委会委员。发表学术论文30多篇,申请20多项专利。

本文引用:

  1. Post-Mortem Investigation https://www.kingoftheether.com/postmortem.html
  2. A survey of attacks on Ethereum smart contract: https://eprint.iacr.org/2016/1007.pdf
  3. 张昆苍等.操作系统原理 DOS 篇(第2版):清华大学出版社,2000 年 9月
  4. Solidity Security: https://blog.sigmaprime.io/solidity-security.html#dos
  5. 以太坊智能合约——最佳安全开发指南:通过(Unexpected)Throw发动DoS
  6. 以太坊智能合约——最佳安全开发指南:通过区块GasLimit发动DoS

最新热文:

  • 合约安全漏洞连载之一:溢出漏洞
  • 智能合约没你想得那么智能!5分钟带你重新认识“智能”合约
  • 这45个场景,正在被区块链抽筋扒皮…
  • 几乎所有钱包都有致命漏洞,黑客接触手机2分钟,就能转走币

本文分享自微信公众号 - 区块链大本营(blockchain_camp)

原文出处及转载信息见文内详细说明,如有侵权,请联系 yunjia_community@tencent.com 删除。

原始发表时间:2018-07-26

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 深度解析区块链架构、跨链和演进

    区块链大本营
  • 精华篇 | 王嘉平:突破不可能三角「异步共识组Monoxide」(附PPT)

    近日,CSDN联合创新工场执行董事王嘉平博士于北京成功举办个人见面会之后,业内外技术人士和广大开发者对此极为关注。纷纷表示希望能有机会再深入理解本次演讲内容,能...

    区块链大本营
  • 分布式商业的春天已来

    寒冬过去了,但害死人的反而不是隆冬的寒气逼人,而是倒春寒的当头棒喝,虽然春天早已来临,可北京的冷风还是把人吹得瑟瑟发抖。

    区块链大本营
  • 每天一道剑指offer-二维数组中的查找

    乔戈里
  • Python学习之Django切换MySQL数据库

    我们使用Django 来操作MySQL,实际上底层还是通过Python来操作的。因此我们想要用Django来操作MySQL,首先还是需要安装一个驱动程序。在Py...

    小柒2012
  • 国内勒索病毒持续高发 如何有效防范?

    前言:自去年5月份Wannacry勒索病毒爆发后,国内勒索病毒就一直呈现高发状态,主要通过漏洞在XP、Win7等老旧系统中大肆传播,导致使用这些系统的政府、企业...

    用户6477171
  • 机器学习之线性回归(1)

    在开始理解回归分析之前,先有个二手房房价的例子,假设这里的房价只和面积,居室情况两个因素有关,那么我们就有下列的数据形式 面积 居室 房价[万] 80 2 10...

    breezedancer
  • 用深度学习技术,让你的眼睛可以控制电脑

    你有没有过这样的经历,当你在吃东西的时候,发现自己没有多余的手来调节电影的音量,或者调节屏幕的亮度?在本文,我们将看到如何使用最先进的人工智能技术来解决这个问题...

    AI研习社
  • 【从零学习OpenCV 4】方框滤波

    方框滤波是均值滤波的一般形式,在均值滤波中,将滤波器中所有的像素值求和后的平均值作为滤波后结果,方框滤波也是求滤波器内所有像素值的之和,但是方框滤波可以选择不进...

    小白学视觉
  • 开发 | 用深度学习技术,让你的眼睛可以控制电脑

    本文为 AI 研习社编译的技术博客,原标题 Use your eyes and Deep Learning to command your computer —...

    AI科技评论

扫码关注云+社区

领取腾讯云代金券