今年早些时候,我们宣布了 Connext 的Amarok 网络升级的开发和测试网。此次升级旨在解决当今 Connext 存在的许多关键问题,并引入了对**任意消息传递的支持,**使开发人员能够轻松集成到我们的网络中,以构建具有完全表现力的 xchain(跨链)应用程序 (xapps)。

Amarok 升级通过模块化桥接堆栈来完成上述任务。开发人员没有使用单个系统来支持构建 xapps 所需的所有功能,而是调用单个函数 (xcall),该函数在流动性层 (Connext) 和消息传递层之间拆分操作。

在对桥接安全模型的权衡进行深入研究后,该团队选择与 Nomad 密切合作,该团队发明了 Optimistic Bridge 模型——一种使用类似于乐观汇总的欺诈证明跨链中继数据的消息传递系统。
众所周知,Nomad 最近由于一个实现错误(与他们的乐观模型无关)而被利用。
Connext 团队仍然坚信Nomad 是桥牌领域最好的团队之一,并期望他们会因为这次赛事而变得更加强大。我们还继续坚信,鉴于其安全模型的实力,乐观的桥梁将成为未来桥梁建设的主导风格。
然而,实际上,Nomad 需要时间来收回资金并重新启动其系统。Connext 团队不能等待这种情况发生,因为我们有大约 150 个路由器、十几个 dApp 团队以及数以万计的用户等待 Amarok 升级上线。
幸运的是,我们能够想出一种替代方法,以最大程度地减少原始时间表的延迟。
该系统不会构建更多我们自己的基础设施,而是使用现有的 AMB 进行汇总和侧链来中继消息,并使用连接器系统将它们相互插入。请注意,整个消息传递系统将存在于现有的 Amarok 流动性层之下,该流动性层支持跨链发送和接收代币。
💡 AMB,任意消息系统,是其他链(L2 和 L1)用来连接主网络(通常是以太坊)的规范桥梁。示例是 Arbitrum-Ethereum roll-up 桥或 Polygon-Ethereum PoS 桥
中心辐射模型:在任何链上创建的交易都将被添加到 Merkle 根中。这些根将定期发送回以太坊 L1。到达 L1 后,Gelato 机器人将聚合根(即,通过组合每个特定于链的根将生成一个新根)并传播(通过 AMB 发送回每个链)。

在紧急情况下,L1 上的系统可以断开一条链——这将停止所有进出该链的新消息,而不会影响网络的其余部分。
我们的主要设计目标是确保协议、用户、路由器和开发人员模式尽可能不受此更改的影响。这可以减少实施系统所需的时间和对我们社区的影响:
**协议没有变化:**系统使用与 Nomad 相同的接口来调度和处理消息。这确保了我们现有的Amarok 基础设施不需要进行额外的更改——这意味着我们的链上合约和链下代理将与新的消息传递系统一起工作,并且更改为 0。
**构建者无需更改:*开发人员正在集成的界面和功能将保持完全相同*。
**流动性提供者没有变化:*作为路由器(主动流动性)或用户(被动 LP 进入每条链上的 AMM)提供流动性的体验将保持完全相同*。
尽管如此,对于直接使用乐观桥,新系统有一些权衡:
成本:由于现在需要通过以太坊 L1 传播状态根,因此成本会略有增加。目前,这笔费用将由 Connext 补贴——我们预计这在中短期内是可以的,因为以太坊的 gas 成本非常低。
延迟:用户交易和 xchain 合约调用所花费的时间仍然相同 - 约 2 分钟。但是,经过身份验证的“慢路径”xchain 合约调用(即那些需要对函数调用进行一些许可访问的调用)将需要更长的时间。以前,它的延迟约为 30 分钟。现在,我们估计可能需要约 2-3 小时。
信任最小化:这个系统的美妙之处在于它利用了每条链的现有AMB——这最大限度地减少了额外的信任假设,因为这些 AMB 已经是给定链/汇总上所有资产的信任来源。然而,特别是对于 Optimistic Rollups,我们需要将“慢路径”退出的延迟从 1 周显着减少(类似于 Across 的工作方式)。我们预计这将是目前可接受的信任权衡,因为汇总仍然严重依赖受保护的安全方法 +如果汇总的排序器检测到欺诈发生,系统将能够**断开汇总。
**链支持:**由于我们使用现有系统的 AMB,作为初始部署的一部分,我们将只能支持少数链。我们对上线后如何扩展到其他链有一些想法,但在第一天,系统将仅支持以下链:Optimism、Arbitrum、Gnosischain、Polygon、BNB Chain 和 Ethereum。
上述权衡的结果是,这个消息传递系统专门设计为一种临时解决方案,可以快速推出并且只需最少的更改。
💡 我们将尽快将系统升级为我们自己构建的完全乐观的桥梁,或者在下面插入 Nomad 的乐观桥梁消息传递层(如果/何时能够恢复)。
由于该系统利用现有的、经过实战考验的基础设施 (AMB),并且对 Connext 的其余部分的更改绝对为 0 ,因此所需的更改将仅为:
一组用于创建和验证 Merkle 根/证明的合约。强大的开箱即用版本已经在生态系统中随处可用。
每个链的连接器。
每条链上的 Gelato 机器人定期通过 AMB 推动根。以太坊 L1 上的冰淇淋机器人,用于混合和传播根。
**我们已经在 Goerli(以太坊)和 Optimism Goerli(Optimism)上进行了部署,我们的目标是在下周内备份一个工作测试网。**我们还完成了 Sokol(Gnosischain 测试网)连接器的开发,不久之后其他测试网链(Polygon、Arbitrum 和 BNB 链)即将推出。
我们正在尽快为新系统安排两次审计。
在 Connext,我们的理念是与用户密切合作,以改善我们的用户体验、安全性和测试,并在每个版本中提供最大的价值。在我们继续共同建设的过程中,我们鼓励任何反馈或问题。
