木星链 木星链
Ctrl+D收藏木星链

EPE:从安全研究视角看Poly Network事件

作者:

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

在过去的一周里,陆续发生了几起安全事件,包括PolyNetwork和DaoMaker等造成大额资金损失的安全事件。虽然后续损失资金大部分或者全部被追回,但仍然给DeFi的安全敲响了警钟。

PolyNetwork:6亿美金

DaoMaker:700万美金

Maze:500万美金

PunkProtocol:800多万美金

在本文中,我们主要从安全研究的视角来分析一下PolyNetwork攻击事件,包括如何对安全事件进行分析和复盘以及如何能将整个生态的安全性做的更好。

0x1PolyNetwork安全事件

事件发生在2021年8月10日傍晚,网上一些渠道传出PolyNetwork被攻击的消息,但是对于攻击的手段是什么,项目方的漏洞成因并没有准确的消息。对安全研究团队来说,第一时间需要能搞清楚问题的根本原因所在。在明白问题所在之后,才能对事情的性质做基本判断:是代码漏洞所致、还是人为因素造成、亦或者是虚假消息。

0x1.1确定攻击交易

BlockSec团队首先从以太坊的攻击交易入手,这源于我们已经有一个比较好的交易trace分析系统(https://tx.blocksecteam.com),能用可视化的方式将函数调用过程恢复。

因此,我们首先在分析系统中重放了以太坊上的一笔攻击交易,交易hash值是:0xd8c1f7424593ddba11a0e072b61082bf3d931583cb75f7843fc2a8685d20033a。

Matrixport旗下加密交易所BIT在立陶宛完成虚拟资产服务提供商注册:7月5日消息,据官方博客,新加坡加密金融服务公司Matrixport旗下加密货币交易所BIT宣布已在立陶宛完成虚拟资产服务提供商 (VASP) 的注册。此次注册使BIT能够向欧盟/欧洲经济区内的客户提供一系列加密相关服务。通过此次注册,BIT现已获得授权提供加密货币兑换和加密货币存托钱包服务。BIT被允许提供其平台作为交易所,用户可以在其中购买、出售和交易各种加密货币,并促进数字资产与法定货币或其他加密货币之间的交易。[2023/7/5 22:19:29]

函数调用非常清晰和简单,这和之前利用价格操纵来进行攻击的情况有非常显著的区别。在价格操纵中,攻击的trace往往非常复杂,攻击者需要经过多次的trade才能完成攻击。而在本次攻击中,攻击者只进行了有限的操作,最后就完成了资金转账。

0x1.2分析合约代码

在捋清楚调用序列后,我们需要研究攻击合约和被攻击合约的源代码。有意思的是,被攻击合约在etherscan上是没有提交源代码验证的。也就是说,这样一个高TVL的项目方的合约居然未发布验证的源代码!

彭博社:穆迪正在研究加密稳定币的评分系统:金色财经报道,彭博社援引一位知情人士的话报道称,全球评级机构穆迪(Moody’s)正在正在为稳定币(加密货币领域交易量最大的代币)开发评分系统,知情人士透露,该系统将包括对多达 20 种稳定币的分析,该分析基于支持它们的储备证明质量。另一位人士告诉彭博社,该项目还处于起步阶段,不会发布官方信用评级。储备证明通常按月或按季度发布,由第三方审计公司认证。

穆迪发言人拒绝置评,该公司为Coinbase Global Inc.等上市加密货币公司提供信用评级,其研究部门发布有关该行业的更广泛的分析报告。[2023/1/27 11:31:46]

虽然etherscan上并没有源代码,但是我们通过项目方的github一些线索和函数签名,找到了可能的源代码。因此接下来的事情就是分析源代码了。

在分析源代码的过程中,我们仔细比对了代码逻辑,并没有发现明显的逻辑漏洞。我们将该攻击交易和其他正常交易的trace进行了比较,攻击的整个调用trace和一条正常合法的交易并没有本质区别。?

0x1.3恢复关键状态

自此,分析进入了死胡同,而时间也到了深夜。在从外围没办法打开局面的情况下,我们只能去对执行过程中的关键变量进行恢复。整个的攻击过程是从函数VerifyHeaderAndExecuteTxEvent开始,我们恢复出来了函数的调用参数和函数执行过程中关键变量的值。这就有了我们当时在blog?中所提到的关键参数的值。

当前Arbitrum桥接存储总价值突破30亿美元,参与桥接交易用户超40万:10月26日消息,据Dune Analytics数据显示,以太坊Layer2扩容解决方案Arbitrum跨链桥接存储总价值已达到1,920,035枚ETH,按照当前ETH价格计算超过30亿美元。此外,参与Arbitrum桥接交易的用户量已超40万,截止目前为405,085个。[2022/10/27 11:46:17]

通过这个过程,我们发现验证的keeper只有一个(如上图)。由于这个值是从真实的攻击交易中恢复出来的,因此是准确的。并且我们发现攻击者的交易确实在整个过程中都通过了签名校验。结合只有一个keeper的发现,当时我们的判断是唯一的keeper私钥泄露了或者服务端签名程序有bug。

这里我们犯了一个错误,做攻击分析,要像剥洋葱一样一层一层深入进行,只有找到真正的“rootrootrootcause”才能结束。因此,虽然我们从当时的表象“一个keeper,签名校验也是通过的”得出了两个可能“私钥泄露或者服务端签名有bug”,但是没有并没有进一步去研究keeper是否被人修改过,而这正是整个攻击比较关键的一步。写完初步分析文章已经是凌晨3点,于是就各自回家休息。

0x1.4?新的线索

在早上醒来后,发现twitter上Kelvin和慢雾都分别给出了新的线索。新的线索表明,keeper曾经被修改过,并且修改keeper是通过hash碰撞来完成的。

这个时候,我们意识到第一次的分析还不完整。

Nexo将再花30天时间来决定是否收购Vauld:金色财经报道,加密借贷平台Nexo将再用一个月的时间来决定是否收购Vauld。Nexo于7月5日开始对Vauld进行尽职调查,并在9月5日前做出决定。延期意味着最早要到10月的第一周才会宣布决定。

虽然Nexo要在10月初之前宣布其决定,但Vauld本身要在11月7日之前决定未来道路,它在8月从新加坡高等法院获得了三个月的时间。在该日期之后,除非法院再次批准延期,否则Vauld可能会被迫清算。如果Nexo交易没有发生,Vauld表示它有其他计划,包括筹集更多资金,等待其部署的一些资金返回,将债务转换为股权,并发行自己的代币。(the block)[2022/9/9 13:19:11]

因此,根据新的线索,我们很快也确认了修改keeper的交易是

0xb1f70464bd95b774c6ce60fc706eb5f9e35cb5f06e6cfe7c17dcda46ffd59581。修改keeper的交易并没有复杂之处。

但是请注意,在这一次修改keeper的交易中,keeper还没有被修改,是4个keeper,而且这4个keeper和合法交易一样--说明key是官方的。这一笔恶意交易也完整地通过了签名校验。那么攻击者是如何能让这一笔攻击交易上链并且能得到执行呢?也就是说,这个时候,最根本的原因还没有找到。

Uniswap已向122名受赠者提供价值约700万美元的UNI资助:6月21日消息,去中心化交易所 Uniswap 发布首份 Uniswap 赠款计划(UGP)回顾,自 UGP 推出的一年半以来,该计划已向 122 名受赠者提供了价值约 700 万美元的 UNI。

其中,受赠者的核心主题包括社区成长和支持(Unicode Hackathon、Serv.eth、Shields、UGP 社区分析、Solidity 训练营等)、富有成效且参与度高的治理(Other Internet、GFX Labs、Nomic Foundation、Uni.vote 等)、用户界面(Uniswap Gnosis SAFE、Defi Lab、Seedle 等)和开发者工具(V3 流动性挖矿合约、Uniswap Simple SDK、Pyexchange v3 客户端、V3 TWAP 插件、uniswappeR 等)。[2022/6/21 4:42:10]

0x1.4寻找源头交易

由于有了第一次的教训,我们并没有到此就结束分析,而是继续挖掘下去,并且在twitter上和社区交流。

既然从以太坊来看这是一条合法的交易,那么这个交易是怎么最初到以太坊上的呢?我们沿着这个思路,仔细研究了项目的白皮书和源代码。Poly是一个跨链的平台,用来在不同的链之间进行资产转移。因此在以太坊上的调用是目标链,那么必然存在一条源头链,用来发起交易。

我们通过以太坊上的交易进而找到了polychain上的交易。根据polychain上的中间交易,进而找到了源头的Ontology链。

这里有一个非常隐蔽的点,曾经困扰了我们很久。因为有了修改keeper的以太坊交易trace,我们已经能恢复出来关键的交易hash。比如下图中的txHash。从ChainID,我们很容易知道Polychain和Ontology链上的交易hash,但是我们使用这个hash并没有在这两个链上找到完整的交易,难道是恢复出来的数据不对?

经过一番的努力,我们终于发现,是因为参数中的hash和在链上的交易hash数据表达方式不同。比如图中的polychain的txHash是0x80cc978479eb082e1e656993c63dee7a5d08a00dc2b2aab88bc0e465cfa0721a。

但是在polychain浏览器中,hash是1a72a0cf65e4c08bb8aab2c20da0085d7aee3dc69369651e2e08eb798497cc80。发现这个关键的点之后,我们找到了polychain上的交易以及源头本体链上的交易,于是在11号下午16:55我们在tg上向社区分享了我们的发现。

0x1.5寻找根本原因

但是这个时候,仍然不能回答”为什么这个交易会被上链“?如果不能回答这个问题,对于漏洞仍然没有找到根本原因。因此我们继续从Ontology链入手,追踪整个交易流向。我们发现整个交易的流向如下:

Ontologytransaction->Ontologyrelayer->Polychain->Ethereumrelayer->Ethereum

因此想要弄清楚问题的本质,还需要对Ontology和relayer进行研究。我们通读了Ontology和relayer的代码,发现原因是Ontology的relayer对交易缺乏验证。在团队成员反复讨论和互相challenge之后,我们认为这个发现是接近事实真相的。因此在12号凌晨2点41Twitter上公布我们的发现,并且在medium上公开我们的分析全文。

自此我们的分析结束,其他安全厂商也陆续发布独立的分析报告,比如派盾在12号早上也公布了是由Ontology链发起了攻击交易。

0x2经验和教训

本次事件对于整个DeFi社区是非常重要的一起安全事件,虽然攻击者最终返还了被攻击的数字货币,但就像余弦所说”这种能力太过消耗,成本也非常高,也有运气成分”。我们不能期待每一次的攻击事件都会有好的结局。因此,社区如何做才能让整个生态的安全变得更好?

要让安全渗透到项目方的血液当中,包括安全的意识、设计、编码、管理、运营、监控、事件处理等每一个方面。一个好的DeFi项目必须首先要是一个安全优先的项目,否则用户将资产投入到项目里面,他们的资产安全由谁来守护?很遗憾的是,从这个事件来看,项目方的安全设计意识是不足的。作者本人在讲授本科生的软件安全课程,我们在软件安全第一堂课就会讲威胁模型和攻击面。很显然,这一次的跨链设计并没有对攻击面做一个梳理,没有在预防可能的攻击面上有过深入思考。或者有过深入的分析,但是最后的实现并没有完全能遵循设计。

项目方的上线合约代码没有经过验证,虽然项目方在github开源了一些代码,但是其在链上并没有上传经过验证的代码。去中心的基础是信任,信任的基础是透明。而这样一个没有验证源代码的黑盒项目居然有那么大的锁仓量,说明社区在繁荣的同时,用户也缺乏必要的安全意识。如何在用户安全意识上破局,需要新的解决方案。

标签:EPEKEEKEEPPOLPEPEC币bitkeep钱包安卓版bitkeepPolker.Game

欧易交易所app下载热门资讯
PSG:金色前哨 | 梅西接受巴黎圣日尔曼粉丝代币PSG作为部分薪酬

据巴黎圣日尔曼俱乐部官方信息,足球明星利昂内尔·梅西在转会到法国巴黎圣日尔曼俱乐部后的财务方案将包括以加密货币粉丝代币PSG支付.

1900/1/1 0:00:00
NFT:金色硬核 | JPEG夏季:探索NFT繁荣背后的数据

在过去两周,NFT的销售量激增,远远超过了3月份的NFT热潮。最大的NFT市场OpenSea的交易笔数在上周达到每天超过6万的峰值,接近3月份峰值的8倍.

1900/1/1 0:00:00
区块链:美众议员提出旨在促进宾州区块链发展的两项法案

金色财经报道,最近成立的美国两党新兴技术核心小组的主席、州众议员NapoleonNelson公布了一组区块链立法方案,旨在促进这一新兴行业在宾夕法尼亚州进行负责任、审慎的扩张.

1900/1/1 0:00:00
区块链:云南省首个区块链产业金融服务平台融资逾94亿元

2020年9月,玉溪市在全省首创的区块链产业金融服务平台正式运行,将分散于工商、税务、环保等29个部门的149项涉企信息归集共享,以大数据、区块链和人工智能为支撑,按需开放到银行机构.

1900/1/1 0:00:00
加密货币:基础设施法案加密修正案背后的美国立法者提出妥协版修正案

如果没有参议员反对,新的妥协版修正案仍然可以通过一致同意的请求被添加到HR3684中。美国参议员对基础设施协议中适用于加密货币的条款提出了不同的修正案,在立法受挫后达成了妥协.

1900/1/1 0:00:00
EFI:金色DeFi日报 | SushiSwap上线“多链扩展基金”等5个提案治理投票

DeFi数据1.DeFi总市值:1152.89亿美元 市值前十币种排名数据来源DeFiboxDeFi总市值数据来源:Coingecko2.过去24小时去中心化交易所的交易量:39.

1900/1/1 0:00:00