案例分析:UMA 如何保障 Across 协议安全

  • uma_xyz
  • 发布于 2025-05-30 13:58
  • 阅读 32

本文分析了 Across Protocol 如何使用 UMA 的 Optimistic Oracle 来结算基于意图(Intents-based)的跨链交易,偿还中继者(relayers),并解决争议。Across 通过 UMA 的 optimistic oracle 实现了无需信任的跨链桥,验证跨链消息和结果,而无需依赖特权验证者或多重签名,为其他互操作协议提供了一个参考模型。

2025年5月29日

阅读6分钟

案例研究:UMA 如何在 Across 协议中提供安全保障

介绍

你是否知道 UMA 为 Ethereum 上速度最快、成本最低的跨链桥之一提供安全保障?

本案例研究探讨了 Across 协议 如何使用 UMA 来结算基于 Intent 的跨链交易、偿还 Relayer 并解决争议;所有这些都以最小的信任假设和最大的灵活性为前提。

最终,Across 展示了 UMA 的独特用例,并为基于去中心化事实而非中心化信任的基于 Intent 的跨链基础设施提供了一个参考模型。

让我们仔细看看。

UMA 的 Optimistic Oracle 的作用

UMA 的 Optimistic Oracle (OO) 是一个去中心化系统,用于验证链上的真实世界数据。它乐观地假设数据断言是正确的,除非有人对其提出质疑。如果数据存在争议,它将通过无需许可的投票机制解决,任何地方的参与者都可以参与。

UMA 通过将乐观验证与经济安全性相结合,为智能合约和 dApp 提供了一种可靠且经济实惠的解决方案,以提供值得信赖的数据。

UMA 的 Optimistic Oracle 通过轻量级的升级博弈运行,旨在实现最小化信任的验证。UMA 的 Optimistic Oracle 通过轻量级的升级博弈运行,旨在实现最小化信任的验证。

OO 通过轻量级的升级博弈运行,旨在实现最小化信任的验证:

  1. 提案者向 Oracle 合约提交数据声明并发布保证金。

  2. 开启一个短暂的挑战窗口(Across 通常为一个小时)。

  3. 如果该声明未受到质疑,则被认为是正确的。如果受到质疑,则通过 UMA 的 数据验证机制 (DVM) 解决争议。

该系统允许去中心化应用程序以低延迟和低成本验证结果,同时保持强大的安全保证。这种架构非常适合像 Across 这样的跨链协议,因为它能够以无需信任的方式验证跨区块链的消息和结果,而无需依赖特权验证者或多重签名。

Across 如何作为基于 Intent 的桥工作

Across 是一种基于 Intent 的桥接协议。Intent 是用户签署的对所需结果的表达,没有规定如何实现这些结果。Across 使用户 能够表达跨链 Intent(例如将 USDC 从像 Optimism 这样的 L2 发送到 Ethereum 主网),并借助 Relayer 和 UMA 的 Oracle 获得快速的桥接最终性。

Across 使用 UMA 的 Optimistic Oracle 来验证和结算跨链 Intent 的已完成交易。Across 使用 UMA 的 Optimistic Oracle 来验证和结算跨链 Intent 的已完成交易。

以下是核心流程:

  1. 用户 将 Token 存入始发链上的 SpokePool 合约。此存款包括目标链、接收者地址和可选的 Relayer 费用。

  2. 一个已抵押的 Relayer 通过将正确的 Token 交付给指定的接收者,在目标链上实现用户 的 Intent。

  3. 数据工作者稍后会聚合此 Intent 和其他已完成的 Intent,并将它们提交给 UMA 的 Optimistic Oracle 进行验证。

Across 仅使用规范资产(没有包装或合成 Token)。它不是要求实时验证每个桥接转移,而是通过 UMA 的 Oracle 分批结算。这种快速实现和延迟验证的分离为最终用户 提供了快速、廉价且安全的桥接体验。

技术集成:分步流程

Across 和 UMA 的 Optimistic Oracle 之间的集成是验证 Intent 以及在链之间以无需信任的方式管理流动性的支柱。Across 使用 OOV3 的独特变体,它与 OOV2 略有不同。

与 V2 不同,V3 不实现数据请求。相反,Relayer 交易被捆绑并直接断言到 Oracle。但 Across 的实现更加出色。

让我们更深入地分解该系统。

Across 协议、独立的 Relayer 和 UMA 协同工作,为用户执行、验证和结算跨链 Intent。Across 协议、独立的 Relayer 和 UMA 协同工作,为用户执行、验证和结算跨链 Intent。

  1. 用户发出 Intent 信号:当用户 通过调用其始发链的 SpokePool 上的存款函数来启动桥接转移时,该过程开始。此链上操作会托管资产(例如,Arbitrum 上的 500 USDC)并记录元数据,包括接收者地址、目标链和自定义 Relayer 费用。Intent 现已激活并对网络可见。

  2. Relayer 实现 Intent:Relayer(监控链的独立参与者)检测到存款事件并选择是否实现它。第一个采取行动的人在目标链(例如 Ethereum)的 SpokePool 上调用 fillRelay。此 Relayer 将正确的资产金额转移给用户,记录实现情况并发布保证金以防止重复索赔。这意味着用户 在几分钟内收到他们的资金,比规范桥接所需的时间快得多。

  3. 数据工作者聚合和提交批次:数据工作者(当前由 Risk Labs 运营的机器人)扫描所有 SpokePool 以查找已实现的 Intent。定期(例如,每小时),它会创建一个已完成转移的捆绑包并将它们编码为索赔。此捆绑包包括:

    • 所有 Relayer 及其应付金额。

    • 他们首选的还款链。

    • 用于重新平衡的净流动性变动。

数据工作者将交易捆绑包提交到 Ethereum 上的 Across 的 HubPool 合约。只有在 HubPool 合约上存在争议时,才会将交易捆绑包发送到 UMA。

以下是关于根捆绑包在 UMA 上如何 验证 争议 的详细信息。

  1. 争议升级(有条件):如果在 HubPool 合约上对交易捆绑包提出异议,则会在一个交易中将价格请求、提案和争议都提交给 UMA。捆绑包结构允许在一个 Oracle 调用中验证多个转移,从而提高 Gas 效率。一旦争议被发送到 UMA 的 DVM, $UMA Token 持有者就会对交易捆绑包的有效性进行投票,经济激励措施旨在奖励诚实并惩罚欺诈。

  2. 结算和流动性重新平衡:在挑战窗口之后(在步骤 3 中),如果交易捆绑包没有争议,则乐观地认为它是有效的。有争议的捆绑包通过 UMA 的 DVM(步骤 4)被认为是有效或无效的。一旦确认交易捆绑包有效,Across 的 HubPool 合约将执行还款指令,从汇集的 LP 资本中偿还 Relayer。同时,流动性使用规范桥在链之间重新平衡。例如,用户 最初锁定在 Arbitrum 上的 500 USDC 最终将通过 Arbitrum 的原生桥转移到 Ethereum 并补充资金池。

此过程将异步 Intent 转换为经过验证的跨链状态更新。它可以最大限度地减少 Gas 使用量,优化资本效率,并允许通过可靠的备用验证进行快速桥接。

安全性、延迟和资本效率

Across 与 UMA 的集成旨在实现速度、安全性和效率。方法如下:

  • 安全性:UMA 用作经济安全层。Relayer 不会自行提交报销申请。相反,Risk Labs 数据工作者会监控已实现的 Intent,并向 Oracle 提出批量还款捆绑包。如果捆绑包包含不准确的数据(例如,Relayer 因未实现或错误报告的 Intent 获得报销),则可以对其提出异议。争议过程是透明的,由 UMA Token 持有者投票解决,并惩罚提出者的保证金削减的不正确断言。

  • 延迟:Relayer 立即提供流动性,抢先于规范桥。大多数用户 在 3 秒内收到他们的资金。同时,Relayer 仅在 Oracle 验证期后获得报销,这意味着他们暂时承担用户 利益的风险。

  • 资本效率:Across 在 Ethereum 上使用共享流动性池。所有桥流都从中汲取并返回到此 Hub。这减少了闲置资本和跨链碎片。由于还款是分批结算的,因此与单独验证每个转移相比,该系统大大降低了每次交易的 Gas 成本。

Across 与 UMA 的集成旨在平衡速度、安全性和效率。Across 与 UMA 的集成旨在平衡速度、安全性和效率。

Optimistic Oracle 作为 Intent 的结算系统

UMA 的 Optimistic Oracle 非常适合验证 Intent。Oracle 回答了以下基本问题:“是否按预期实现了此 Intent?” 这使其成为在 Ethereum 上构建可互操作的应用程序的多功能层。

正如我们上面所探讨的,Across 将 UMA 的 Optimistic Oracle 转换为跨链 Intent 的验证和结算系统。Oracle 不仅仅是传递数据或充当价格供给,而是验证来自多个链的离散操作:“此转移是否已实现? 正确的当事方是否收到了正确的资产?” 这确保了 Across 的 Relayer 得到公平的回报。

此模型是:

  • 链不可知:Oracle 可以验证跨多个链的事件。

  • 用例不可知:它可以验证交换、合约调用或治理操作。

  • 激励一致:它创造了一个博弈论均衡,其中诚实的行为是有利可图的。

该系统是去中心化和无需信任的。如果某个参与者行为不端,第三方始终可以质疑该声明。诚实的参与者会获得奖励,而系统会自动纠正。

UMA 的 Optimistic Oracle 可以用作基于 Intent 的协议的结算层。UMA 的 Optimistic Oracle 可以用作基于 Intent 的协议的结算层。

Beyond Across:UMA 如何为其他 Interop 协议提供支持

Across 仅仅是个开始。UMA 为任何基于 Intent 的协议提供了一个快速启动的验证和结算层。它允许开发人员构建安全的、信任最小化的系统,该系统可以验证跨链的结果,而无需部署或管理其验证器基础设施。

构建跨链交换、通用桥接应用程序或其他 Intent 执行框架的项目可以采用相同的基本模型:

  • 用户 提交 Intent。

  • 让 Relayer 实现它们。

  • 使用 UMA 的 Oracle 验证实现情况。

  • 使用保证金和争议来保持参与者的诚实。

如今,最大的限制是 Oracle 的挑战期持续时间。但是,UMA 正在积极研究增强功能,包括 AI 辅助升级,以在保持无需信任和安全性的前提下减少验证时间。

使用 UMA 构建

Across 证明了 UMA 的灵活性。OO 在生产中工作,以大规模且毫不妥协的方式保护 Across 基于 Intent 的桥接。该设计提供了信任最小化的验证、快速桥接和资本效率,同时保持去中心化和无需许可。

幸运的是,你也可以集成 UMA 并使用它进行构建。

准备好开始构建了吗? 从这里开始你的旅程。

  • 原文链接: blog.uma.xyz/articles/ca...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
uma_xyz
uma_xyz
江湖只有他的大名,没有他的介绍。