ROLL:看懂Scroll架构及其运作流程

当我们提到zkEVM时,我们想到的是Scroll。为什么?Scroll将自己定位为具有十足Eth精神的“正确”zk-rollup的典范,并且资金充足。但除此之外,他们还有很棒的技术支持。本文是Scroll的体系结构概述。

我们将在本文探讨如下话题:

undefined当前架构

undefinedScroll节点、Roller网络、rollup和桥接合约

undefinedScroll运作流程

不必担心,这些内容都很通俗易懂。

1、当前架构

Scroll架构由三部分基础设施构成——Scroll节点、Roller网络,及rollup和桥接合约。

2、Scroll节点、Roller网络、rollup和桥接合约

Scroll节点

Scroll节点负责构建L2区块并通过测序器将L2区块rollup到以太坊L1上。它还通过中继器在L1和L2之间进行通信。

Scroll节点由三部分组成:测序器、协调器和中继器。测序器是现在流行的Geth节点的一个分支,因其可靠性、最大安全性和久经考验的声誉而被选中。

该测序器从L2内存池中接收L2交易,然后执行交易来创建一个新的L2区块,再更新到当前状态。协调器接收该区块的执行跟踪信息,然后将其传递给Roller以生成证明。对于中继器来说,也许中继看门狗这个名字更适合!抛开玩笑话,中继器的工作是像看门狗一样监视rollup合约,以确保数据的可用性、有效性和一般状态都在掌控下。中继器还密切关注Scroll和ETH上桥接合约的存取款活动,并在它们之间进行消息传输。

Roller

Roller负责为L2交易生成有效性证明。它使用zkp硬件加速器,如GPU、FPGA和ASIC,以加快证明生成过程并降低其成本。这是因为在证明生成过程中存在瓶颈问题,而加速器可以帮助解决这个问题。

如果你想了解更多详细内容,下面这篇推文可能会有所帮助。

Roller分3步运行:

第一步:我们刚刚提到过执行跟踪;协调器发送的执行跟踪被Roller转化为电路见证。

第二步:为每个zkEVM电路生成证明。

第三步:使用证明聚合将多个zkEVM电路组合成一个证明。

注:zk电路使用算术方法生成。

更多关于证明聚合的内容,可参考下面的推文:

rollup和桥接合约

rollup和桥接合约是Scroll的DA层,用于L1和L2之间的消息传输,通过连接到以太坊的基础层来实现这一点。

Rollup合约从定序器接收L2状态根和区块数据。它将状态根存储在以太坊状态上,并将区块数据存储为ETH上的调用数据。这为Scroll提供了DA支持,并确保中继器对L2区块的重建。只有当一个L2区块的有效性通过rollup合约验证后,才认为该L2区块已在Scroll上确定。

桥接合约是一种无需信任的消息传输/桥接协议,帮助在L1和L2之间转移ERC-20资产。

3、Scroll运作流程

Scrollzk-rollup运作流程由上面提到的所有部分构成。这就是L2区块在ETH上生成并最终确定的方式:

首先,定序器创建一个区块序列,它针对每个区块生成执行跟踪并将其发送给协调器,同时还将交易数据提交给Rollup合约。接下来,协调器随机选择一个Roller来为每个区块跟踪生成有效性证明。然后,Roller将区块证明发送回协调器,并且对于每k个区块,将给另一个Roller分派一个聚合任务将k个区块证明组合为一个单独的聚合证明。最后,由协调器发送聚合证明到rollup合约,以确定L2区块。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:15ms0-4:123ms