事件背景
北京时间2022年10月7日凌晨，BNBChian跨链桥BSCTokenHub遭遇攻击。黑客利用跨链桥漏洞分两次共获取200万枚BNB，价值约5.66亿美元。漏洞分析
BSCTokenHub是BNB信标链和BNB链之间的跨链桥。BNB链使用预编译合约0x65验证BNB信标链提交的IAVL的Proof，但BNB链对提交的Proof边界情况处理不足，它仅考虑了Proof只有一个Leaf的场景，对多个Leaves的处理逻辑不够严谨。黑客构造了一个包含多Leaves的Proof数据，绕过BNBChain上的校验，从而在BNB链造成了BNB增发。以其中一次攻击交易为例：0xebf83628ba893d35b496121fb8201666b8e09f3cbadf0e269162baa72efe3b8b黑客构造输入数据payload和proof，输入参数通过validateMerkleProof校验，返回值为true。
在后续IApplication(handlerContract).handleSynPackage处理中，合约给黑客增发100万个BNB。
港股区块链板块持续走强，欧科云链现涨10%，火币科技现涨超8%:行情显示，港股区块链板块持续走强，欧科云链现涨10%，此前一度涨超12%，火币科技现涨超8%。[2021/4/7 19:54:19]
函数调用过程交易首先调用CrossChain合约0x2000的handlePackage函数：
handlePackage会进一步调用MerkleProof.validateMerkleProof对输入的proof进行校验：
港股收盘：欧科云链收涨2.88%，火币科技收跌0.85%:今日港股收盘，恒生指数收盘报26016.17点，收涨1.18%；欧科集团旗下欧科云链（01499.HK）报0.143港元，收涨2.88%；火币科技（01611.HK）报3.510港元，收跌0.85%。[2020/11/9 12:05:37]
MerkleProof相关代码可以看到，实际的验证逻辑是使用预编译合约0x65完成：https://github.com/bnb-chain/bsc-genesis-contract/blob/master/contracts/MerkleProof.sol#L66
系统预编译合约0x65对应iavlMerkleProofValidate功能：https://github.com/bnb-chain/bsc/blob/f3fd0f8bffb3b57a5a5d3f3699617e6afb757b33/core/vm/contracts.go#L81
独家 | 欧科云链李炼炫：基于区块链的股权交易能解决腐败孳生等问题:金色财经报道，对于“北京股权交易中心获得首批开展区块链试点建设资格对于区块链行业发展和股权交易会带来哪些影响？”记者提问，欧科云链研究院首席研究员李炼炫接受采访时表示，这对区块链行业和股权交易市场都有好处。目前传统的股权交易中存在这腐败孳生，不公开透明以及无法实时结算的风险等问题，而基于区块链技术的股权交易能较好地解决这些问题。此外，区块链技术的最大应用价值正是在清结算领域，鼓励区域性股权市场参与区块链建设，有利于推动国内区块链技术和产业创新发展，推进区块链和经济社会融合发展。[2020/7/22]
系统合约0x65实现代码如下，主要逻辑为使用DecodeKeyValueMerkleProof解码输入参数，并调用Validate进行校验：https://github.com/bnb-chain/bsc/blob/master/core/vm/contracts_lightclient.go#L106
IAVL代码问题
欧科云链B-LABS荣获第八届TopDigital创新银奖:7月2日，欧科云链B-LABS出品的高端视频访谈《解构Inside Blockchain》在638家参赛公司提报的共计2744件作品中脱颖而出，斩获2020第八届TopDigital创新银奖，这该奖项下唯一一家获奖的区块链公司。据了解，《解构 Inside Blockchain》是一档立足于区块链领域的高端对话访谈节目。[2020/7/2]
IAVL的Proof校验过程中，Hash计算存在漏洞，导致黑客可以在Proof添加数据，但计算Hash时并没有用到添加的数据。详细分析如下：在len(pin.Left)不为0的分支中，计算Hash并没有使用pin.Right数据。黑客利用该处漏洞构造数据，添加proof.LeftPath.Right数据，但是该数据并不参与Hash计算。https://github.com/cosmos/iavl/blob/master/proof.go#L79-L93
根据上述分析，正常数据组织结构如下，proof.LeftPath.Right为空值，计算得到正确的Hash。proof.LeftPath=len(2)proof.LeftPath是一个正常数据，proof.LeftPath.Left是一个正常数据，proof.LeftPath.Right空值proof.InnerNodes=len(0)proof.Leaves=len(1),proof.Leaves是一个正常数据黑客构造攻击数据结构如下，添加proof.LeftPath.Right数据，且该数据不参与Hash计算。proof.LeftPath=len(2)proof.LeftPath是一个正常数据，proof.LeftPath.Left是一个正常数据，proof.LeftPath.Right是一个伪造数据proof.InnerNodes=len(1),InnerNodes=nilproof.Leaves=len(2),proof.Leaves是一个正常数据，proof.Leaves是一个伪造数据且proof.LeftPath.Right=COMPUTEHASH(proof.Leaves)IAVL的Proof校验代码如下，主体逻辑为COMPUTEHASH递归调用。由于lpath.Right也为黑客输入数据，使得黑客构造的数据能够通过bytes.Equal(derivedRoot,lpath.Right)的校验，并返回上一轮COMPUTEHASH通过proof.Leaves计算的结果，该结果为正常数值，从而绕过了IAVL的Proof校验。https://github.com/cosmos/iavl/blob/master/proof_range.go#L222-L309
欧科云链李炼炫：投资机构对矿机制造商业务发展一直抱有疑虑:在亿邦国际上市日，嘉楠科技股价报收于1.89美元。公开信息显示，嘉楠科技自去年11月底登陆美股后，股价长期下跌，已从发行价的9美元下跌近80%。从二者股价表现可以看出，资本对于挖矿行业的前景并不看好。欧科云链研究院首席研究员李炼炫表示，投资机构对矿机制造商的看法一直抱有疑虑。首先，这两家上市公司的经营绩效都不佳，相较于2017年和2018年高速增长的营收和利润，2019年两家公司都出现较大程度的下滑，经营绩效不佳，很难支撑股价；其次，是对矿机业务发展的疑虑，矿机业务的营收情况极其依赖加密币价格走势，而加密币市场具有高风险特征，导致矿机业务十分不稳定，投资者会对企业产生“可持续经营”上的担忧，尤其是在比特币价格十分疲软的当下，加深了这种疑虑。（金融1号院）[2020/6/29]
黑客攻击构造的数据中，包括了IAVL:V和multistore相关数据，multistore数据也是基于IAVL进行操作，原理是一样的，不再进行详细分析。这次IAVLProof暴露的问题在于，数据局部的变化无法反应到整体，使得校验发生错误。在Cosmos生态中，IBC使用ICS23来做数据的校验处理，ICS23与IAVLProof校验不同点在于，ICS23会对所有的“叶子节点”的值进行数据校验，最后计算得出的根Hash再与链上数据进行校验，OKC采用的是ICS23的Prove，因此不存在BNBChain这次遇到的安全漏洞。测试验证代码
利用黑客攻击交易数据，基于BNBChain单元测试代码，增加了基于黑客攻击交易的测试用例，可以完整复现黑客的攻击交易。单元测试代码利用iavlMerkleProofValidate.Run接口验证输入数据，即相当于调用预编译合约。https://github.com/BananaLF/bsc/blob/bsc-hack/core/vm/contracts_lightclient_test.go#L99-L100
利用黑客攻击交易数据，构造新的payload数据为value:=byte(“okctesthack”)，并对proof相应数据进行了修改，即修改proof.LeftPath.Right和proof.Leaves对应的数据，新构造的数据可以通过okcIavlMerkleProofValidate校验，即修改了黑客数据也能通过校验。另外，如下单元测试代码对原始黑客数据和修改后的数据两种case都进行了校验，且校验都能成功，从而说明如下测试代码利用本文所述漏洞成功进行了复现。https://github.com/BananaLF/bsc/commit/697c5cd73a755a7c93c0ed6c57d069e17f807958
事件过程
被攻击全过程可查看上一篇文章：链上卫士：BNBChain遭攻击时间轴梳理。OKLink多链浏览器已对BNBChain黑客地址进行风险标签标记，关于此次被盗后续，链上卫士团队将进一步追踪案件细节并及时同步。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。