令人激动的 Rollup 互操作性新方案

令人兴奋的提案正在出现，以解决汇总之间的互操作！在这里深入了解最新的提案，包括：

-@Jskybowen和@benafisch在@modular_summit的会谈

-@alt_layer的信标层

-@pumatheuma,@0xShitTrader和@jtguibas的共享有效性排序

我们为什么需要共享排序层？

- 我们需要在不同的卷积之间进行互操作，以实现更快、更安全的跨链消息传递（尤其是 ORU），并实现跨链原子性（用于跨链桥接、资产交换、闪贷等活动）。

- 共享排序层还有其他好处，比如它的分散性可以增强rollup与 CR 的兼容性、MEV 保护、弹性等。

旧的互操作解决方案有哪些问题？

- 对于共享排序器来说，它们的节点是懒惰和无状态的。它们能保证事务的排序，但不能保证状态根的执行。这就为更可靠的保证留下了空间。

- @Jskybowen 解释了共享排序器节点保持懒惰的原因：有状态共享排序器可以防止对排序器的无权限使用，因为资源需求会随着滚动次数的增加而增加，从而防止对排序器的无权限使用。

- 对于跨链桥接来说，它们依赖于一个集中的第三方来执行基于软终结性的交易，这就存在很大的隐患。此外，它还不够灵活，无法实现更具表现力的原子交易。

利用共享排序层实现 x-rollup 互操作的最新建议

- Espresso：懒散的共享排序器+构建器通过桩来做出执行承诺

*注：在此 PBS 模式中，假定构建者已拥有对部分区块的必要权限。

- 由于构建器是有状态的，并充当共享序列器的底层执行角色，因此它自然会做出额外的承诺。

- 此解决方案还可以扩展，以适应更复杂的原子 tx，如 @sanjaypshah 所阐述的 flashloans。

Astria：旨在创建简洁状态证明的懒共享排序器+证明器网络

- 当 SS 将 tx 批量发送到 DA 层时，它会确保 x-rollup tx 的规范排序和 DA。因此，唯一需要确认的是执行： S1 == STF（S0，B1）。

- Josh设想的终极目标是让 @SuccinctLabs 和 @RiscZero 等证明者网络通过向共享排序器提供简洁的状态证明来确认执行后的状态。

- 这样就能为 dapp 和用户提供强大的确认功能，让所有三个组件都信服。

共享有效性排序：有状态共享排序器+欺诈证明以确保良好行为

- 在这种设计中，rollup的排序器并不懒惰。它们负责构建区块，并为连接的rollup执行事务。

- 现在接受跨链请求的不再是对跨链 tx 做出承诺的构建者，而是排序者。

- 为了防止排序者的不诚实行为，我们使用了一种共享的欺诈证明机制，对原有的rollup欺诈证明机制稍作改动。

- 在挑战期间，挑战者还将验证原子操作的正确执行。这可能涉及检查不同rollup上桥接合约的根，或检查排序者提供的梅克尔证明。

- 不诚实的排序者会被淘汰。

@alt_layer 的信标层：有状态共享排序器层 + 分散验证层以确保良好行为

- Altlayer 在rollup和 L1 之间有一个信标层

- 当滚动器通过 AltLayer 启动时，它可以直接从信标层节点启动定序器

- 信标层的排序器负责排序、执行和生成有效性证明（POV）。

- POV 允许验证者在不访问整个状态的情况下，为以后的rollup验证状态转换。

- 通过去中心化验证器定期检查，我们实现了高度稳健的交易终结性。无需等待 7 天，因为验证器已经完成了必要的检查。因此，跨链信息传递变得更快、更安全。

- 对于原子 tx，值得注意的是 Altlayer 与 Espresso 的合作。原子跨链操作可以捆绑在Espresso中，由Altlayer负责执行。这样，用户和应用程序就可以轻松验证 POV，检查其原子 tx 的状态。

- 看到构建者、证明者网络和 Altlayer 如何弥补共享排序器的执行限制，令人振奋。此外，共享有效性排序解决方案非常简洁，可无缝集成到现有的 ORU 框架中，令人印象深刻。

相关风险

- 对有状态排序器/构建器的更高要求可能会导致中心化问题。但是 @benafisch 指出，这种要求远低于 zk 求证器。

- 在交易价值极高的极端情况下，为确保良好行为而采用定金和砍价机制的解决方案可能会失灵。此外，还存在无法解决的串通风险。