令人激动的 Rollup 互操作性新方案
在交易价值极高的极端情况下，为确保良好行为而采用定金和砍价机制的解决方案可能会失灵。
原文标题：Exciting proposals are emerging to tackle the interop between rollups!
原文作者：Grace Deng
原文来源：X（Twitter）
编译：Lynn，MarsBit
令人兴奋的提案正在出现，以解决汇总之间的互操作！在这里深入了解最新的提案，包括：
-@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 互操作性新方案】的延伸阅读
加密杂谈：对RaaS和Eigenlayer的一些看法
本文讨论了加密货币领域的热门话题，包括Rollup技术、Restaking、LRT、AVS和Eigenlayer。作者认为目前情况并不乐观，团队进展缓慢，Rollup部署过多也不利。对于Restaking、LRT、AVS和Eigenlayer的不满，存入ETH数量巨大，但空投效果不佳。团队发布庞大白皮书，但工作原理和概念仍不清楚。Eigenlayer决定暂不启用惩罚机制，但是否有必要为每个新兴协议提供近十亿美元的用户Restaking ETH并面临风险？惩罚机制将在不到一年内启用，操作者是否意识到Restaking风险？或许会有其他平台蚕食Eigenlayer的市场份额。
详解 OP Stack Rollup 流程及对应代码
Optimism Bedrock是当前版本的OP Stack，提供了启动生产质量的Optimistic Rollup区块链的工具。它包括op-batcher和op-proposer两个服务，负责从sequencer读取交易内容并rollup到链上，以及将交易状态rollup到合约。文中介绍了如何使用recordL1Tip和l1Tip来获取最新的L1BlockRef，以及如何收集和提交交易数据。每个事务仅使用一帧，如果通道已满，则仅返回剩余帧，直到成功发送到L1。sendTransaction将交易发送到一层，并更新交易发送状态。FetchNextOutputInfo获取L2上的区块output，NextBlockNumber获取下一批次需要提交的区块区间，SyncStatus获取L2块的状态和块信息，OutputAtBlock根据块高获取output，sendTransaction使用output构建stateRoot提交交易到一层链。
共享有效性排序：有状态共享排序器+欺诈证明以确保良好行为
- 在这种设计中，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 求证器。
- 在交易价值极高的极端情况下，为确保良好行为而采用定金和砍价机制的解决方案可能会失灵。此外，还存在无法解决的串通风险。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：Grace Deng，如有侵权请联系删除。转载或引用请注明文章出处！
