链资讯 链资讯
Ctrl+D收藏链资讯
首页 > DAI > 正文

STW:安比实验室创始人郭宇:智能合约安全的严重性远超大家想象 | 区块链P.O.D大会_APP

作者:

时间:

9月5日,由Odaily星球日报主办、36Kr集团战略协办的P.O.D大会在北京举行。在大会的安全论坛上,安比实验室创始人郭宇与众嘉宾共同探讨区块链的安全问题。郭宇就近期的安全热点话题Lastwinner展开报告,详细解释其中内幕。在谈及Lastwinner攻击母合约,为何需要传入Lastwinner合约地址时,郭宇表示Lastwinner攻击母合约实际上是一个通用武器,能攻击很多类Fomo3D游戏,这个合约构造的非常巧妙。在带领大家切身感受黑客如何一步步巧妙利用Fomo3D游戏中的漏洞实施攻击后,郭宇也表示,智能合约安全的严重性远超大家想象,我们在享受去中心化世界带来好处时也会面临新的安全风险和代价。以下为安比实验室创始人郭宇演讲实录:

我是安比实验室的郭宇,今天分享一下一些比较有意思的事情。

8月10日,一个合作伙伴突然跟我说以太坊似乎有一些很奇怪的事情,问我们能否分析一下。我们接过来后也觉得事情奇怪。这其中有连续且大量的失败交易,标红色的点中发现带的全都是0.1ETH,这些大量重复的东西好像在攻击什么。而且这些所有交易来源方均来自于一个前四个字母是0x5483的诡异智能合约。该智能合约的交易量还很大,一分钟有几十个,这很容易造成以太坊严重拥堵,这是我们发现一个初步特征。觉得奇怪,又感到很可疑,我们也想知道它到底要干什么。

加密资产风险管理公司Elliptic任命两位新高管担任CFO和CPO:金色财经报道,加密资产风险管理公司Elliptic宣布任命两位新高管,前RangeForce首席财务官/首席运营官Barry Chubrik将担任首席财务官,前Electronic Arts高管Sophie Froment担任将首席人力资源官。Elliptic还宣布将拓展纽约和伦敦团队,该公司曾在2021年9月完成由Evolution Equity Partners领投、Digital Currency Group参投的6000万美元C轮融资,去年刚刚任命Jackson Hull任首席技术官。(crowdfundinsider)[2023/2/21 12:19:50]

之后我们发现除了大量的失败交易外,还存在更大量的成功交易。成功交易没什么显著特征,投进去0.1个,出来有0.19个,这就特别奇怪。同时,失败交易的一个特别特征是Gas消耗特别低,感觉是一个非常高效的挖矿机,回报率相当高。

知情人士:黄光裕正为元宇宙四处借钱,国美元宇宙负责人已离职:11月5日消息,据棱镜援引消息人士透露,今年上半年,黄光裕开始沉迷\"元宇宙\"业务,周围能借钱的都借过了,为了这事,好几个兄弟都和他反目了。6 月前后,\"打扮家\"创始人崔健刚刚被黄光裕\"炒掉\",有元宇宙从业背景的孙浩接续其入职,但目前孙浩也已从国美离职。

据相关报道,6 月份有知情人士透露国美已将元宇宙定为最重要的战略方向,元宇宙项目总负责人已于 6 月入职。[2022/11/5 12:20:29]

之后我们就发现,0X5483实际上是一个攻击Lastwinner的攻击合约,精心构造且非常强大,攻击步骤也特别复杂。合约中存在大量转账,比如PPT中的这个合约,扔进去的0.1ETH,最后出来是0.18ETH或者0.12ETH等。

Lastwinner是什么?它是Fomo3D山寨版,主要面向国内。在百度能看到大量广告信息,还有很多微信群、QQ群。此外,Lastwinner还有安卓以及iOS客户端可以下载。当时高峰时期有16000,参与的人非常疯狂。

区块链支付公司Fnality正寻求融资约5000万英镑:金色财经报道,Fnality International 是一家总部位于伦敦的区块链支付公司,由一群大银行支持,正在向投资者推销 B 轮融资。一位知情人士表示,该公司正在寻找 5000 万英镑(5600 万美元)的资金,这与 2019 年 6 月通过A 轮融资筹集的金额相同——并补充说,投资银行 Broadhaven Capital Partners 正在协助筹集资金. 另一位接近 Fnality 的人士表示,一家美国买方公司和一家中型投行已经悄悄投资,但出于商业敏感性拒绝点名。[2022/9/23 7:16:37]

Fomo3D是什么?这是前一段时间一个现象级的智能合约游戏,瞬间对以太坊用户造成拥堵。游戏中有一个巨大的奖励诱惑,规则是这样的。首先是需要兑换key,在拿到key之后扔给类Fomo3D游戏合约。这其中包括三种获利方式,第一种方式存在主奖池,可以有机会拿到最终大奖,即这个游戏不停倒计时,最后一个买key的人拿到最后的巨额奖励;第二种方式有一个副奖池,方式为随机概率抽奖,即兑换key时就有机会抽奖;第三种方式为小额度奖励,买key时间越早,就可以越早享受后来人进来的分红。基于这三种诱人的获奖模式,Fomo3D推出之后就一度造成以太坊拥堵。7月24日,安比实验室就已发现刚才第二项空投存在漏洞,有人可以通过不公平方式拿到抽奖结果,我们在8月10日才收到警告。之前被曝光的空投抽奖的模式,是有人公开了一个可以攻击的方案,但攻击方式非常低效,甚至不一定成功。大家知道但没有人去试,好像赚不到什么钱。但是这个攻击合约不一样,经过统计该合约成功率将近60%。第二天,我们开始对该合约进行分析后发现有三个疑点。一是有五个地址来调用攻击合约;二是Lastwinner合约地址作为参数传入攻击合约;三是每笔成功中奖的攻击交易中都带有合约的创建与自毁。当时也不知道为什么,但是可以肯定这是一个团伙,对其数据分析后发现,这个团伙做了很多别的事情,他们共同去攻击不同的游戏合约。我们把该攻击者组织命名为“BAPT-LW20”。12日,团队开始尝试逆向分析该合约代码。由于手上工具有限,只能看自解码,抠了一天还是没什么进展,分析过程陷入僵局。第二天,小伙伴建议把这个攻击合约拷贝下来,将攻击合约中的攻击者地址替换成我们的地址,是不是可以像他一样去拿到奖励?我们重新部署攻击合约,并发起试探性攻击。但经过多次尝试后,均无法赢得抽奖。我们做了非常完备的替换,并且跟踪这个过程,就不知道为什么,就是成功不了,也是挺郁闷。晚上12点,最后方案决定对合约进行死磕,开始对合约进行逆向分析。合约逆向很累,我们怎么办?我们思路就是开发逆向分析辅助工具。手头上并没有什么东西,我们要做几件事情。首先,针对EVM逆向分析工具很少,我们决定自己开发;再者合约多层嵌套很难跟踪;同时EVM字节码中的循环过程不易定位。我们花了三天时间开发工具,事情开始出现转机。第一个工具为awesome-tx-tracer,借助这个能够把智能合约整个过程产生若干个tracer,并把很多交易行为全部tracer分析,进而产生大量数据;第二个我们做了用来做逆向的工具——minievm,借助该工具能够批量定性分析很多tracer;第三个工具为ida-evm,这是基于evm的插件修改而来。产生的tracer可以自动往前往后,来回执行,这样就能够比较容易的把整个过程反复看。最终,我们终于发现真相,攻击合约是一个母合约,母合约驱动1000个子合约,这样能大大提高随机数的中奖率。同时,每个子合约攻击的时候会创建一个幽灵合约来发起攻击。什么是幽灵合约?就是在攻击的时候创建,等攻击完立即自毁,在区块链存储区域不留下任何痕迹。黑客通过某一个母合约驱动1000个子合约,又创建无数的自毁合约,自毁合约最终去攻击Lastwinner,这是一个非常巧妙的玩意。在17日早上开始复盘,我们敲定的最终结果是6天内抽走抽奖池50%,发起近5万笔攻击调用,创建2万多个幽灵合约。Lastwinner很有意思是把空投奖池比例由Fomo3D的1%提高到10%。因此,黑客在攻击Lastwinner成功以后,但是对Fomo3D并不那么了解。这个母合约在Lastwinner上线第一天几个小时之内就发动了攻击,在前几天每小时几十万的收入。巧合的是,上午10点Lastwinner大奖开出,即刚才说的三种获利模式中的第一个大奖。大奖被这五个攻击者其中一个人拿走,攻击者地址为0X5167,奖励额度也超高,比他们空投抽到的还要大。事情还没有结束。五天以后,下午3点02分,我们又有了一个惊人发现,Fomo3D第一轮结束,大奖被拿走。是被一个人拿走的吗?不是,他们用了同样手法拿走大奖。为什么?当时我们看到Fomo3D大奖的时候,就发现熟悉的一幕。在大奖开出时,出现一组连续的异常区块,且这组连续的异常区块中的消息数量骤减。最后,同一个知名miner打包获奖交易。Lastwinner结束前后,也出现过类似的异常区块,获奖消息也是由同一个miner打包,这时候我们就发现这太巧了。我们开始怀疑,矿池是不是真的对Fomo3D作弊?第一时间跟矿池负责人联系后,并把我们知道的所有信息拿出来跟对方对比发现,矿池并没有参与这次作弊,而是这个异常区块隐藏着一个巨大的秘密。这个秘密就是异常区块中的消息均调用同一个合约,这里面存放一些非常诡异的交易,所有交易的Gas相当于正常的Gas的100倍;而这个合约的创建者与中奖者是同一个人。矿工并没有作弊,而是攻击者利用矿工打包策略,即矿工会优先选择手续费很高的交易打包,这对矿工最有利。通过制造超高手续费来造成区块链的拥堵,阻隔其他玩家。攻击者也非常聪明,攻击合约能够智能判断是否启动网络阻塞功能,使其效益最大化,成本最小化。总之,这个合约构造的非常巧妙。若攻击者没有拿走大奖,它依然会存在于很多矿池的应用池,等待时机成熟,这些交易就会顺势变成交易费用非常高的交易。所以说,这个游戏漏洞使得前面主奖池和副奖池可以很轻松被攻击。还有一个问题,大家还记得Lastwinner攻击母合约,为什么需要Lastwinner作为合约地址?事实上,这个攻击母合约是一个通用母合约,能够攻击很多类Fomo3D游戏。在Fomo3D上线第二天就有人发现空投抽奖漏洞,并攻击成功。你面对的是全世界非常顶尖的黑客,你随时有可能受到损失。因此,智能合约安全严重性远超大家的想象,大家想象的未来去中心化世界真的那么美好吗?在享受去中心化世界带来好处的时候也同样会付出一些代价和面临一些新的安全风险。谢谢大家。

标签:STWTWIAPPTOKEtrustwallet币不见了TWI价格DAPPT币AOC Token

DAI热门资讯
ODE:猎豹区块链研究中心杨文玉:智能合约自动化审计存在误报率高、自动化程度低及审计时间长三大问题 | 区块链P.O.D大会_Advanced United Continent

9月5日,在由Odaily星球日报主办、36Kr集团战略协办的P.O.D大会安全论坛上,猎豹区块链研究中心安全专家杨文玉发表题为《智能合约自动化审计技术》的演讲.

加密货币:长远角度:加密市场崩溃的原因是什么?_ODE

对于加密货币市场来说,最近都是冷清阴郁的日子。今年1月份,还不容易看到百万富翁们对他们的新财富感到沮丧,市场上也出现“加密货币是永不流行的泡沫”之类的短语,随之市场开始变缓,最终快速下滑.

APP:刷APP就能挣token?「时间链」将为APP们增加用户使用时长_KEN

当前,我们每天通过手机完成社交、阅读资讯、订餐、打车、网购、理财、工作等需求,有数据统计,中国人平均花费在手机上的时间达3小时,位居全球第2位.

AST:CertiK首席科学家Vilhelm?Sj?berg:建立值得完全信赖的智能合约和区块链生态系统 | 星球日报 P.O.D大会_CAST

区块链这三个字近年经历了几番跌宕,从前沿的技术概念、风口上的热词,到被过度消费的符号。很多人相信,区块链是解决许多行业痛点的工具,有潜力成为下一个世代“超级商业载体”诞生的催化剂.

ERT:为什么开发者呼吁普通用户不要在闪电网络主网进行过多尝试?| 区块链课堂第 36 问_PEEPS币

编者按:本文来自哈希派,作者:不碎,星球日报经授权转载。在闪电网络实验室发布的主网测试版lnd0.4声明中提到,这个版本是为闪电网络应用程序的开发者、技术用户以及预期节点准备的,不建议普通用户进.

区块链:星球首发 | 区块链版“papi酱”胖妮获数百万元战略投资,想打造个人IP,做区块链行业的传道者_DailySwap Token

Odaily星球日报获悉,被誉为区块链版“papi酱”的自媒体人胖妮获极豆资本、旭鑫盛资本、链创孵化器、徐可、TNB合伙人等数百万元人民币的战略投资.