什么是 Ultrasound Rollup?

本文介绍了 Ultrasound Rollup 的概念,它是一种基于以太坊的 Layer 2 解决方案,利用以太坊进行结算、数据可用性(DA)、排序和执行。文章详细解释了 Ultrasound Rollup 的四个关键组成部分:结算、数据可用性、基于以太坊的排序以及原生执行,并探讨了每部分的技术优势和相关资源。

什么是 Ultrasound Rollup?一个 Based + Native Rollup

更具体地说,一个链使用以下各层都都使用以太坊

  • Settlement(结算层) -> Ethereum (L2)

  • DA(数据可用性) -> Ethereum (rollup)

  • Sequencing(排序器) -> Ethereum (Based)

  • Execution(执行层) -> Ethereum (native)

很是惊人的,对吧

Settlement(结算层)

这是一个相当基本的要求 - rollup结算到 Ethereum L1。这实现了各种其他功能(如原生执行和基于 Ethereum 的 rollups)。

对于乐观 Rollup:

“结算层锚定了整个区块链生态系统,建立了安全性,并且如果另一个链上发生争议(在这种情况下为乐观 Rollup)需要仲裁,则提供客观的最终性。”

对于有效性证明(validiums):

“Ethereum 作为结算层,还保证了 validium 上状态转换的有效性。在 validium 链上执行的链下交易通过基础 Ethereum 层上的智能合约进行验证。”

参见:https://ethereum.org/en/developers/docs/scaling/optimistic-rollups/#settlementhttps://ethereum.org/en/developers/docs/scaling/optimistic-rollups/#settlement

Data Availability (DA)(数据可用性)

第二个要求是 rollup 使用 Ethereum DA - blobs。

为了理解为什么这很重要,我们经常使用以下 DA 的定义:

“数据可用性是指用户可以确信验证区块所需的数据确实对所有网络参与者都可用的程度。”

这是一个要求,因为有趣的是,原生 Rollup 必须使用 Ethereum blobs。这是因为作为证明输入的见证数据必须与包含该证明的 EVM 区块相关联。如果使用外部 DA 层,攻击者可以通过将见证数据发送给部分证明者来分叉 Ethereum。

参见 @l2beat 的总结 https://l2beat.com/data-availability/summary 另见 https://ethereum.org/en/developers/docs/data-availability/ 有关 L2 上下文中的精彩概述:https://learnblockchain.cn/article/12369 by @eawosikaa

~ Based Sequencing(基于 Ethereum 的排序器) ~

被认为是原生 Rollup 的另一项要求是使用 Ethereum 作为你的排序器,而不是中心化排序器或其他排序机制。这被称为基于 Ethereum 的 Rollup,它们提供了一些强大的属性。

其中一些最重要的属性是:继承 L1 的抗审查性和活性,协调聚合证明以实现同步可组合性,使用 L1 作为可信中立的方式来进行共享排序。

与中心化排序器相比,基于 Ethereum 的排序不仅对用户和开发者来说是更好的产品,而且还以其他排序结构无法实现的方式扩展了 L1 的属性。

参见:https://ethresear.ch/t/based-rollups-superpowers-from-l1-sequencing/15016https://paragraph.xyz/@maven11research/everything-on-based-rollups @Spire_Labs 的简报:https://github.com/spire-labs/litepaper 和网站:spire.dev [过时:]https://mteam.space/eth-sequencing-preconfs-resources/

Native Execution(原生执行)

最后一个要求绝对是最不被理解的 - 我想将来写更多关于这方面的内容。原生 Rollup - 使用原生执行的 Rollup - 使用 Ethereum L1 zkEVM opcode(尚未添加或指定)来使用 SNARK 证明和验证 EVM 执行。该 opcode 不返回作为输出的 zk 证明,并且实际证明永远不需要存在于 L1 EVM 中。当与延迟状态根计算配对时,这意味着原生 Rollup 可以提供完全经过 zk 验证的安全计算,从 L1 的角度来看,这是原子的,而无需实时证明。

原生 Rollup 还可以实现大规模的极其繁重的计算,因为完整节点验证 SNARK 证明的成本非常低 - 并且每个完整节点都不需要自己证明执行。为了获得证明,只有 1/n 个节点需要提供有效的证明。这种激励服务尚不完全清楚,但如果证明成本和延迟在消费级硬件上足够低,则依赖利他主义可能是可以接受的。

关于这方面的两个(仅有的?)可靠资源是 @drakefjustin reddit 帖子:https://www.reddit.com/r/ethereum/comments/vrx9xe/comment/if7auu7/https://www.reddit.com/r/ethereum/comments/1f81ntr/comment/llmfi28/ 澄清:请注意,“原生 Rollup”已从“enshrined rollups”更名,并且这些原生 Rollup 与 @koeppelmann他的 devcon 演讲中 中描述的 rollups 不同。与 Martin 的提议的一个关键区别是 @drakefjustin 的原生 Rollup 是可编程的(数量可以更改,而不是固定的),并且现有的 L2 可以迁移到这些 Rollup。

结论

虽然Ultrasound Rollup 仍然只是一个模因,一个想法,但这些 Rollup 的理论特性明显优于现有 L2 的已实现特性。我相信Ultrasound Rollup 将为开发人员提供构建强大且实用的应用程序的最佳平台。

附:除了原生执行之外,每个组件的时间表大多明确,原生执行尚未在 Ethereum 社区成员、研究人员和核心开发人员之间达成共识。我预计原生执行会在 beam chain 之前发布,并且可以注意到,像 ethproofs.org 这样的证明 (zk[E]VM) 项目和研究将同时改进 beam chain 和原生 Rollup。

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

0 条评论

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