详解以太坊扩容方案 Scroll 的技术与架构设计

ELEN热度: 13826

Scroll是一个EVM等效的zkRollup以太坊扩容方案,核心的模块是zkEVM,用于证明EVM在Layer2中执行的正确性。

原文标题:Scroll的技术与架构设计

原文作者:ELEN

原文来源:DAO之声

Scroll近期在一级市场的表现非常好,所以我们今天来深入了解一下Scroll的技术与架构设计。

Scroll是一个EVM等效的zkRollup以太坊扩容方案,核心的模块是zkEVM,用于证明EVM在Layer2中执行的正确性。目前已经开发了一年的时间,并与以太坊基金会的隐私小组进行了深入的合作。

为了使得zkEVM变成一个完整的zkRollup,Scroll围绕zkEVM构建了一个完整的Layer2架构。

目前的架构包含了中心化的排序节点与去中心化的证明网络,但未来Scroll将会把排序节点也去中心化,使得整个网络更加健壮。

Scroll的架构

目前的Scroll架构包含三个主要的组件:

  • Scroll节点:从用户交易中构建L2的区块,提交到以太坊主网,并在L1和L2之间传递信息。
  • Roller网络:生成zkEVM的证明,确保交易被正确执行。
  • Rollup和桥合约:为Scroll交易提供数据可用性,验证zkEVM证明,允许用户在以太坊网络和Scroll之间转移资产。

这些组件的角色关系我们可以从下图中得出:

scroll

Scroll节点

Scroll节点是应用和用户与Scroll网络交互的主要方式,Scroll节点包含了三个模块:

Sequencer(序列机)

Sequencer提供了一个JSON-RPC接口从而获得Layer2上的转账信息。每隔几秒,Sequencer会从L2的内存池中获得一系列转账记录,执行这些转账并生成新的L2区块与新的状态根。

Scroll上的Sequencer是基于经过时间验证的Geth(Go-ethereum)开发的,目的是为了保证兼容性和安全性

Coordinator(协调器)

当新的L2区块被生成之后,Coordinator会从Sequencer中获得交易执行记录。然后Coordinator将执行记录分派到从 roller 池中随机选择的 roller 以生成证明。

Relayer(中继器)

Relayer会监视部署在以太坊和Scroll上的Rollup和桥合约,这主要有两个作用。

首先是监控Rollup合约以跟踪 L2 块的状态,包括数据可用性和有效性证明。

其次,Relayer监视部署在以太坊和 Scroll 上的桥合约的存取款事件,并将消息在两条链之间中继。

Roller网络

Rollers 在网络中充当证明者,负责为 zkRollup 生成有效性证明。Rollers 有望利用 GPU、FPGA 和 ASIC 等加速器来减少验证时间和验证成本。下图显示了 Roller 如何为每个块生成有效性证明:

scroll

  • Roller 首先将从 Coordinator 接收到的执行序列转换为 circuit witnesses。
  • 其次,Roller为每个 zkEVM 电路生成证明。
  • 最后,Roller使用证明聚合方法将来自多个 zkEVM 电路的证明组合成一个块证明。

Rollup和桥合约

Scroll通过Rollup和桥合约来连接以太坊主网和Scoll网络,保证L2交易的数据可用性,并使用户可以在L1和L2之间转移资产。

Rollup合约从Sequencer中获取L2的状态根作为calldata。这为 Scroll 块提供了数据可用性,并利用以太坊的安全性来确保包括 Scroll Relayer 在内的索引可以重建 L2 块。一旦建立 L2 区块有效性的区块证明已被 Rollup 合约验证,相应的区块将被视为在 Scroll 上最终确定。

部署在以太坊和 Scroll 上的 Bridge 合约允许用户在 L1 和 L2 之间传递任意消息。在这个消息传递协议之上,Scroll还构建了一个去信任桥接协议允许用户双向桥接 ERC-20 资产

要从以太坊向Scroll发送消息或资金,用户需要在Bridge合约上调用 sendMessage。

Relayer 将在 L1 上索引,并将其发送到 Sequencer 以包含在 L2 块中。从 Scroll 发送回以太坊的消息在 L2 Bridge 合约上使用了类似的过程。

Scroll的zkRollup是如何工作的

将上述的三个模块放在一起,我们就可以知道Scroll zkRollup 的整个工作流程了,如下图所示:

scroll

Scroll 中的 L2 区块生成之后,将提交给以太坊主网,具体的过程如下:

1. Sequencer生成了一系列的块,对于第i个块,Sequencer执行追踪T,并将其发送给Coordinator。同时,Sequencer将交易数据D作为calldata提交给以太坊上的Rollup合约以获得数据可用性,再将由此产生的状态根和交易数据作为状态提交给Rollup合约。

2. Coordinator随机选择一个Roller为每个块生成有效性证明。为了加快证明的生成过程,可以在不同的Roller上并行生成不同的区块证明。

3. 在为第i个块生成证明P后,Roller将其发送回Coordinator。每隔k个块,Coordinator向另一个Roller派发一个聚合任务,将k个块的证明聚合成一个证明A。

4. 最后,Coordinator将聚合证明A提交给Rollup合约,通过对照先前提交给Rollup合约的状态根和交易数据承诺来验证聚合证明,最后确定L2上的[i+1,i+k]之间的块。

经过这样的过程Scroll上的区块会被最终确定下来,每个L2的区块在这一过程中会经历三个过程,其分别为:

  • Precommitted(预确认):表示一个区块已经被Sequencer提交并发送给Rollers。
  • Committed(确认):表示区块的交易数据已经被发布到了以太坊网络的Rollup合约上。
  • Finalized(完成):表示此区块的交易已经被正确地执行。

综上所述,Scroll能够在L2上执行EVM字节码,同时从以太坊主网继承强大的安全性保证。这也是Scroll这种EVM等效和其他EVM兼容方案的最大不同点。

声明:本文为入驻“MarsBit 专栏”作者作品,不代表MarsBit官方立场。
转载请联系网页底部:内容合作栏目,邮件进行授权。授权后转载时请注明出处、作者和本文链接。未经许可擅自转载本站文章,将追究相关法律责任,侵权必究。
提示:投资有风险,入市须谨慎,本资讯不作为投资理财建议。
免责声明:本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况,及遵守所在国家和地区的相关法律法规。
关键字:scroll