火星链 火星链
Ctrl+D收藏火星链
首页 > 波场 > 正文

THE:以太坊智能合约为何安全漏洞频发?

作者:

时间:1900/1/1 0:00:00

最近,随着DeFi火热,以太坊智能合约安全漏洞频发。究竟是什么原因造成的,以及如何更好地防范这些漏洞?

概述

相比于比特币而言,以太坊更易发生安全事故。这主要是因为以太坊虚拟机是图灵完备的,以太坊可实现函数间相互调用、嵌套调用,智能合约间相互调用等各种复杂逻辑。而比特币只实现了基于栈的非图灵完备的虚拟机,并只能通过操作码进行入栈和出栈操作。另外比特币也没有复杂的DApp应用,所以逻辑上简单,故而没有太多空间引发安全漏洞。

以太坊上各种DApp复杂的智能合约逻辑是引发安全漏洞的主因。以太坊智能合约的安全漏洞主要可以分为逻辑问题和合约代码问题两种。

逻辑问题?

最近频繁的“闪电贷”攻击是一个典型的逻辑问题引起的安全漏洞。在各种闪电贷攻击中你可以看到清晰的逻辑问题。攻击者只要制造出两个系统之间的价格差,便能通过闪电贷攻击获利。

Ronin黑客已将6.25亿美元被盗资产从以太坊转移至比特币网络:8月22日消息,根据链上开发人员兼调查员Blite Zero研究发现,Ronin黑客已经将被盗资产从以太坊转移至比特币网络。今年3月,Ronin跨链桥遭攻击后,黑客将价值6.25亿美元的USDC和ETH转移到Tornado Cash,此后,BliteZero跟踪到黑客将资金从Tornado Cash转移至多个跨链桥和加密货币交易平台,通过renBTC形式将其转移到比特币网络,并存入到ChipMixer、Blender等混币器。[2022/8/22 12:39:57]

闪电贷攻击的逻辑细节大家可以阅读之前一篇专门讲闪电贷的文章:“造富神器”闪电贷。本文主要阐述合约代码问题。

合约代码问题?

我们知道,几乎稍微复杂一点的代码都或多或少地存在问题。了解出现问题的原因,并且归纳问题类别可以帮助我们更好地防范它们。下面是Ownbit钱包团队整理的关于以太坊智能合约安全最容易出现问题的点。

孙宇晨:波场TRON、BNBChain、以太坊网络目前均已支持USDD兑换:据最新消息,波场TRON创始人孙宇晨在直播中表示:目前,在波场TRON、BNBChain、Ethereum上均可通过去中心化交易所等DeFi平台兑换获取USDD,具体包括SunSwap、PancakeSwap、Ellipsis Finance、Uniswap和Curve。未来,USDD还将陆续上线更多交易所及钱包。[2022/5/5 2:52:28]

1.重入

这是排名第一的问题。所谓“重入”就是一个方法被多次循环调用。而这通常是合约开发者所意想不到的。例如一个取款合约:

function?withdrawEther()?public?{uint?amount?=?userBalances;bool?success,?)?=?msg

这是一段很简单的取款合约,让用户取走他的ETH余额。开发者并没有意识到这段代码可能会被重入。方法是:只要调用者是一个合约账户,那么msg.sender.call将默认调用该合约账户的fallback函数。攻击者只需要在其fallback函数再次调用withdrawEther就可以源源不断地取走ETH。

以太坊上稳定币流通量突破420亿美元:据欧科云链OKLink数据显示,截至今日10时,以太坊上稳定币流通总量已达到421.7亿美元,近一周新增流通量21.11亿美元。

其中USDT流通量为224.16亿,近一周新增10亿;USDC流通量为106.2亿,近一周新增7.7亿;DAI的流通量为28.91亿,近一周新增0.7亿。[2021/3/26 19:19:47]

发生在2016年6月,著名的TheDAO攻击,从而导致了ETC分叉的事件,就是通过同样的方法实施攻击的。从事后看来,这只是一个小小的程序问题。要修复这个问题也非常容易,只需要将两行代码调换顺序即可:

????userBalances?=?0;????(bool?success,?)?=?msg.sender.call.value(amount)("");

2.让你的交易不打包

Sigma Prime公布以太坊2.0客户端Lighthouse最近更新:以太坊2.0客户端Lighthouse开发团队Sigma Prime在推特上跟进Lighthouse最近更新,具体包括:

- 有前途的基准;

- 修复了Altona漏洞;

- 通过新的BLS库提供更快的同步速度;

- 更好的对等管理系统。[2020/7/11]

以太坊区块的打包机制是按照给予的矿工费进行优先打包,并且每个区块有总GasLimit的限制。所以攻击者可以制造出若干使用GasLimit非常大,并且GasPrice给得非常高的交易,让它们优先占满区块,从而让目标交易无法被打包。

所以,在编写合约逻辑时,不能假设你的交易会在有限时间内被打包,否则就容易受到此类攻击。著名的“Fomo3D”事件就是用了这样的攻击方法。

Fomo3D游戏规则是奖励最后一个购得某个商品的人。每次商品被买入将重置该商品的定时器,如果在定时器达到0之前没有其他购买者,则你将获得系统的奖励。攻击者在Fomo3D中买入商品,然后同时发送大量占用区块的攻击交易,以至于在接下来的13个区块内,其他购买者的交易无法被打包。这时定时器达到0,并认为无其他购买者。攻击者便获得了奖励,完成了攻击。

SMT最新公告:“以太坊智能合约溢出漏洞事件”已经得到全面控制:据SmartMesh(SMT)官方微博公告,此次“以太坊智能合约溢出漏洞事件”已经得到全面控制。对于此次溢出事件流出的“假币”,SMT基金会承诺将从公开流通市场进行回购,并进行销毁。[2018/4/27]

3.错误使用tx.origin

如果你发现一个合约使用了tx.origin,那么可以留心一下此处可能存在的漏洞。在大部分情况下,我们应该使用msg.sender来替代tx.origin,因为使用tx.origin容易引发安全漏洞。

很多时候,合约开发人员会假定msg.sender和tx.origin是相等的,但其实不是。例如:用户A?调用?合约B,而合约B进一步调用?合约C,那么在合约B和C中tx.origin都将是A,而msg.sender则一个是A,一个是B。

一般攻击者会引诱A调用一个诱导合约B,而B再去调用由A部署的目标合约C,因为合约C错误地使用了tx.origin,合约B可以通过传递过来的tx.origin获得对合约C的控制权,从而完成攻击。

4.溢出攻击

智能合约里的数据是可能溢出的,例如:uint256,你觉得很大:2^256。它的确很大,但依然可以溢出。例如一个合约允许对一个数据进行加减,攻击可以通过对这个数据进行精心策划的调用,让其通过溢出达到允许执行某些逻辑的目的,从而实现攻击。

5.fallback?可以revert

fallback是可以revert的,就是说,你如果向对方转移ether,对方可以让你总是不成功。

例如你编写一段合约,并且依赖于你成功向某个地址转移ether,那么攻击可以部署一个合约,将其fallback写成revert来让你来的调用总是失败:

function?()?public?payable?{???revert?()?;?}

6.?selfdestruct可以定义任意受益者,而不会调用fallback

当你以为可以通过revert进行阻止所有人向你付款ether时,你可能又错了。攻击者通过创建一个合约,并且然后销毁这个合约。销毁合约以太坊将退还一部分ether作为鼓励,而这个退还可以指定任意受益者,而对方的fallback函数不会被调用。

这就是说,开发者要意识到你没有办法完全阻止别人向你的合约账户转移ether。

7.?未正确使用delegatecall

在使用delegatecall时,要注意上下文的变化。用call进行合约调用时,上下文被切换至被调用合约。而用delegatecall进行合约调用时,上下文依然在本合约。

delegatecall和call不同的调用上下文也是合约安全漏洞较常出现的地方。

8.不同方法传气不一样

当我们进行ether转移时,不同的方法传气不一样。使用send()和transfer()?传递气仅为2300,而使用call.value()()?则将剩余的气全部传递。因此,最新的安全规范是建议使用call而不是?send或者transfer进行ether转移。

如果你发现一个合约还是使用send或者transfer,那么你可以制造出目标合约,让其转移OutofGas。

结语

以上这些点是合约代码最常出现问题的点。每个错误的原因都比较原子化,理解相应的原理可以帮助我们有效地避免这些问题。当合约逻辑复杂时,一定会有更加复杂、隐藏得更深的逻辑问题,这时,这些原子点的检查依然可以帮助我们找到它们。

以太坊智能合约的安全问题主要是因为其“过于灵活”引起的。灵活性和安全性如同天平的两端。以太坊选择了灵活性,某种程度上便把安全性的潜在风险留给了市场。

一个DeFi项目能否安全稳定地运行,或是会被黑客攻击,取决于合约开发人员对原理的理解、对细节的把控,以及严肃认真的态度。线上合约犯错的代价是巨大的,这就对合约开发人员提出了更高的要求!

标签:以太坊ALLETHTHE以太坊行情Parallel Universe MetaETHEKing Of The Doge

波场热门资讯
COI:关于CoinBene满币已完成BCH分叉及恢复交易的公告

尊敬的用户:BitcoinCash网络已经于2020年11月15日?(GMT8)完成硬分叉,目前分叉为Bitcoin?CashNode和Bitcoin?Cash?ABC.

1900/1/1 0:00:00
FILE:Filecoin是什么?IPFS上的Fil挖矿合法吗?

如果没有Filecoin这个激励层,IPFS系统极有可能因为节点的退出或作恶而全面奔溃。由于IPFS是任何人都可以免费使用的文件存储系统.

1900/1/1 0:00:00
比特币:齐衡预言:BTC再创今年新高 多头如期突破?山寨币百花齐放

齐衡预言:BTC再创今年新高多头如期突破山寨币百花齐放很多人看内容光看涨跌,却不想研究深层的东西,把赚钱的希望寄托在别人身上,等待别人进行投喂式的投资服务,想要依靠这种方式赚钱的.

1900/1/1 0:00:00
BTC:老山说币:比特币高位震荡,能否向上突破

:大家好,我是大家老朋友老山说币,技术只是成功道路上一个很微不足道方法,良好技术应用的背后是交易内功.

1900/1/1 0:00:00
ASI:“氪金”支持以太坊2.0 你原意吗?

“我可能会买32个ETH,支持以太坊的升级。”一周前,赵长鹏在推特上表达了自己对以太坊2.0的支持.

1900/1/1 0:00:00
BAO:币汐柔:11.19比特币以太坊投资中baocang的原因及如何防范

币汐柔:11.19比特币以太坊投资中baocang的原因及如何防范币圈交易一般都有杠杆,如果遇到逆势行情不止损,则很容易引发baocang.

1900/1/1 0:00:00