Ronin Bridge 出现异常提取跨链资产行为根本原因分析
注意安全风险
作者：Beosin
封面：Ronin
8 月 6 日，据区块链安全审计公司 Beosin Alert 监测显示，Ronin Bridge 项目出现异常提取跨链资产的行为。据 Beosin 安全团队分析，此次异常行为的根本原因在于项目方升级合约时，未正常初始化配置跨链交易确认所需的 operator 权重，导致合约中的 minimumVoteWeight 参数为零，从而使得任何人的签名都能通过跨链验证。
攻击交易链接：
https://etherscan.io/tx/0x2619570088683e6cc3a38d93c3d98899e5783864e15525d5f5810c11189ba6cb
Beosin 目前正与项目方合作处理此次事件，本篇长文，我们也将与大家分析本笔交易存在异常的点在于两点：
首先，提取数量过高。在 Ronin Bridge 中，有跨链提取额度的限制，如果跨链提取的额度太大，则需要转至人工确认，而本次交易的跨链资产 WETH 的限制额度为 4000。此笔交易提取了 3996 个。当然这不是漏洞，但足以让人引起了注意。
其次，查看这笔提取交易发现，其跨链验证者 Operator 只有一个，且对应的操作权重为 0，那就可以确认这笔交易是存在问题的，因为在 Ronin Bridge 项目中，用户提取跨链资产需要得到多个 Operator 的签名，且累计的权重必须达到指定阈值。
事件分析：
分析链上合约和数据发现，合约 Operator 是对应的 Manager 合约独立管理，并且它是一个治理合约，专门用于管理 ronin bridge，查看其交易记录，发现最近一笔交易是对 Ronin Bridge 合约进行升级，并且就在异常交易之前。所以漏洞的大致方面就基本明确，应该是项目方升级合约所导致的问题。
进一步深入，对比 Ronin Bridge 升级前后的代码发现，事件所使用的关键参数 “_totalOperatorWeight” 是本次升级新增的，并且需要在升级中调用 initializeV3 函数进行 V3 版本新增的 “OperatorWeight” 进行初始化。
但遗憾的是：升级合约的交易中，并未调用 initializeV3 函数，而是错误调用 initializeV4 函数进行了 V4 版本的初始化。
至此，该事件的漏洞原理已经明了，Ronin Bridge 项目方在合约升级时未正确对新增数据进行初始化，导致对应的关键数据 “_totalOperatorWeight” 始终为 0，使得任意用户的提取请求都可以通过审核。
至本文发布前，项目方已经确认该问题，并发文说了本次攻击行为是白帽所为，并已进行退款，并未造成过多的损失。这是一个好消息，但是也暴露了合约升级这一大易出错的点。
可升级合约
可升级合约是一种 solidity 智能合约设计方案，使得已部署的合约能够在未来进行升级或修改，而无需完全重新部署。这个概念的核心在于将合约的逻辑和数据分离，并利用 “delegatecall” 实现对逻辑合约的调用。
尽管这种模式提供了灵活的升级能力，我们也必须高度重视其安全性。由于代理合约负责转发所有的用户请求，它实际上成为了合约系统的入口点。任何对代理合约的攻击都可能影响到整个合约的安全性。因此，在设计和部署可升级合约时，确保代理模式的安全性至关重要。目前代理模式的合约需要注意以下几点：
函数选择器冲突
在以太坊虚拟机（EVM）中，每个智能合约函数都有一个唯一的标识符，称为函数选择器。这个选择器是函数签名的前 4 个字节的哈希值。函数选择器用于确定合约中的具体函数，确保调用请求被正确路由到相应的函数实现。而在代理模式在调用函数时，会先检查代理合约中的函数接口是否能匹配调用函数，如果不能匹配，才会利用 fallback 中的 delegatecall 调用逻辑合约。
因此，如果代理合约和逻辑合约中存在函数选择器相同的函数，当代理合约接收到调用时，它直接调用代理合约中的函数，而不是逻辑合约，这可能导致预期之外的行为或安全漏洞。
存储冲突
在以太坊虚拟机（EVM）中，合约的状态数据存储在特定的存储槽中，每个存储槽的地址由其索引（从 0 开始）确定。合约中的每个状态变量都对应一个存储槽，数据在这些槽中持久化。
在代理模式中，存储槽通常是由代理合约管理的，而逻辑合约则通过代理合约来访问这些槽。存储冲突可能发生在逻辑合约中新增的状态变量与代理合约中现有的状态变量槽发生冲突时。这可能导致代理合约中的数据被覆盖或不一致
合约初始化问题
在代理模式中，由于代理合约和逻辑合约的分离，而每次升级可能都涉及到变量的更改和新增，因此在升级时必须确保在正确设置这些关键变量。本次的 ronin bridge 事件就是因为这个问题没做好，导致被攻击。
此外，需要确保初始化函数 initialize 只能被调用一次，以防止在初始化后被恶意攻击者重复调用，从而修改关键变量。
ldelegatecall 调用机制
delegatecall 是一种低级调用机制，它允许一个合约在其上下文中执行另一个合约的代码。这意味着，调用合约的存储、地址和消息发送者保持不变，但执行的逻辑来自被调用的目标合约。虽 delegatecall 提供了强大的功能，但也需要谨慎使用。
如果目标合约地址不存在，delegatecall 的执行将失败并返回失败码，但这种失败可能不会被立刻发现。结果，代理合约中的调用可能看起来像是成功，但实际操作并未生效，从而导致系统的不一致或错误。
代理合约权限管理
在代理模式中，权限管理是另一个关键的安全问题。代理模式通过分离代理合约和逻辑合约的职责，使得合约可以在不改变数据存储的情况下进行升级，但同时也引入了复杂的权限管理问题。正确地管理权限对于保证合约系统的安全性和稳定性至关重要。
免责声明：作为区块链信息平台，本站所发布文章仅代表作者及嘉宾个人观点，与本站立场无关。文章内的信息仅供参考，均不构成任何投资建议及要约，并请您遵守所在国家或地区的相关法律法规。
你可能感兴趣的文章
-
Tether否认放弃乌拉圭5亿美元加密货币项目的报道导读
Tether否认了关于放弃乌拉圭5亿美元加密货币挖矿项目的报道,称相关消息'不准确',该公司表示，当地运营企业正与政府协商解决约480万美元的欠款问题,并强调将继续评估在乌拉…
2025-09-23 -
UXLINK被盗事件回顾及影响分析
2025年9月23日凌晨，安全公司 Cyvers 的系统检测到涉及 UXLINK 的 1130 万美元可疑交易,UXLINK 疑似被盗,今晨，慢雾余弦于X平台发文确认了UXLINK遭遇黑客攻击,本文梳理UXLI…
2025-09-23 -
纳斯达克上市公司ETHZilla推出3.5亿新资金池押注以太坊（ETH）
ETHZilla是以太坊链上创新型财库，通过发行可转债等金融工具募集资金加仓ETH,其最新3.5亿美元融资引发市场对质押率与清算风险的关注，持仓规模已突破4.6亿美元,该项目试图…
2025-09-23 -
币安通过Alpha和Aster，再造两个小币安
币安的核心业务是合约与现货，而如今它要把链上的现货与合约业务也要紧紧抓在手上,币安正在打造一个链上帝国,再造了两个小币安，一个是 Alpha ，一个是 Aster,他们一个专注…
2025-09-23 -
ASTER一周暴涨4倍，借势Binance向Hyperliquid发起挑战
2025 年 9 月 18 日，赵长鹏发布了一张既非比特币也非 BNB 的价格走势图,数小时内，ASTER 代币较发行价暴涨 400%,市场清晰地接收到了这一信号：这位前 Binance 首席执行官…
2025-09-23 -
MetaMask 发币在即：生态飞轮与高额估值背后，市场为何仍存疑虑？
钱包之王 MetaMask 终将发币，手握生态飞轮与千万用户，市场为何仍存疑虑？面对激烈竞争与社区审视，其代币价值几何？本文将为你深度剖析，揭示 $MASK 的真实前景,下文将为…
2025-09-23 -
稳定币公链化：从价值依附到价值捕获的新格局
稳定币公链化正重构加密经济逻辑：通过智能合约将传统锚定资产升级为可编程生态基础设施，从被动价值依附转向主动价值捕获,公链化赋予稳定币流动性挖矿、链上治理等能力，…
2025-09-22 -
为什么说稳定币是区块链最佳落地赛道？
稳定币是区块链最佳落地赛道，因其兼具法币稳定性与链上高效性，完美解决加密货币价格波动痛点,2025年全球监管框架完善后，其跨境支付、DeFi抵押等场景爆发，市场规模突破3…
2025-09-23 -
一文了解FTX复苏信托将在9月分配中为债权人解锁16亿美元资金
FTX复苏信托将于9月30日启动16亿美元资金分配，覆盖债权人赔付需求,此次分配是破产程序关键进展，部分债权人有望获得超额偿付,信托方表示，后续将根据资产回收情况优化清偿…
2025-09-22 -
币安（BINANCE）USDe奖励发放正式启动 现可享 12% 活动年化收益率
币安USDe奖励活动火热进行中,用户参与即可享受12%超高年化收益,该活动通过链上质押与衍生品套利机制实现稳定收益,进一步巩固币安在加密理财市场的领先地位,收益每日发放至…
2025-09-22
