Beosin：BSC Token Hub 用于验证 IAVL 树的方式存在漏洞，允许攻击者伪造信息

据 Beosin EagleEye 平台监测显示，BSC Token Hub 10 月 7 日遭遇黑客攻击，Beosin 安全团队现将手法解析如下：币安跨链桥 BSC Token Hub 在进行跨链交易验证时，使用了一个特殊的预编译合约用于验证 IAVL 树。而该实现方式存在漏洞，该漏洞可能允许攻击者伪造任意消息。1）攻击者先选取一个提交成功的区块的哈希值（指定块：110217401）2）然后构造一个攻击载荷，作为验证 IAVL 树上的叶子节点3）在 IAVL 树上添加一个任意的新叶子节点4）同时，添加一个空白内部节点以满足实现证明5）调整第 3 步中添加的叶子节点，使得计算的根哈希等于第 1 步中选取的提交成功的正确根哈希6）最终构造出该特定区块（110217401）的提款证明据 Beosin 安全团队统计，总计有 1.435 亿美元的被盗资金通过跨链进行转移（含借贷），通过跨链转移的资金约被盗资金中有 7739 万美元的资金通过各种跨链转入了以太坊，5896 万美元的资金留存在 FTM 链中（含各种 gUSDT），400 万美元的资金在 Arbitrum 链中，172 万美元的资金在 Avalanche 链中，40 万美元的资金在 Polygon 和 110 万美元在 Optimism。Beosin Trace 正在对被盗资金进行实时追踪。