作者:0xSalazar,加密KOL;翻译:金色财经xiaozou
当我们提到zkEVM时,我们想到的是Scroll。为什么?Scroll将自己定位为具有十足Eth精神的“正确”zk-rollup的典范,并且资金充足。但除此之外,他们还有很棒的技术支持。本文是Scroll的体系结构概述。
我们将在本文探讨如下话题:
undefined 当前架构
undefined Scroll节点、Roller网络、rollup和桥接合约
undefined Scroll运作流程
不必担心,这些内容都很通俗易懂。
1、当前架构
Scroll架构由三部分基础设施构成——Scroll节点、Roller网络,及rollup和桥接合约。
2、Scroll节点、Roller网络、rollup和桥接合约
(1)Scroll节点
Scroll节点负责构建L2区块并通过测序器(Sequencer)将L2区块rollup到以太坊L1上。它还通过中继器(Relayer)在L1和L2之间进行通信。
Scroll节点由三部分组成:测序器、协调器(Coordinator)和中继器。测序器是现在流行的Geth节点的一个分支,因其可靠性、最大安全性和久经考验的声誉而被选中。
该测序器从L2内存池中接收L2交易,然后执行交易来创建一个新的L2区块,再更新到当前状态。协调器接收该区块的执行跟踪(execution trace)信息,然后将其传递给Roller以生成证明。对于中继器来说,也许中继看门狗这个名字更适合!抛开玩笑话,中继器的工作是像看门狗一样监视rollup合约,以确保数据的可用性、有效性和一般状态都在掌控下。中继器还密切关注Scroll和ETH上桥接合约的存取款活动,并在它们之间进行消息传输。
(2)Roller
Roller负责为L2交易生成有效性证明。它使用zkp(零知识证明)硬件加速器,如GPU、FPGA和ASIC,以加快证明生成过程并降低其成本。这是因为在证明生成过程中存在瓶颈问题,而加速器可以帮助解决这个问题。
如果你想了解更多详细内容,下面这篇推文可能会有所帮助。
Roller分3步运行:
第一步:我们刚刚提到过执行跟踪;协调器发送的执行跟踪被Roller转化为电路见证(circuit witness)。
第二步:为每个zkEVM电路生成证明。
第三步:使用证明聚合(proof aggregation)将多个zkEVM电路组合成一个证明。
注:zk电路使用算术方法生成。
更多关于证明聚合的内容,可参考下面的推文:
(3)rollup和桥接合约
rollup和桥接合约是Scroll的DA(数据可用性)层,用于L1和L2之间的消息传输,通过连接到以太坊的基础层来实现这一点。
Rollup合约从定序器接收L2状态根和区块数据。它将状态根存储在以太坊状态上,并将区块数据存储为ETH上的调用数据。这为Scroll提供了DA支持,并确保中继器对L2区块的重建。只有当一个L2区块的有效性通过rollup合约验证后,才认为该L2区块已在Scroll上确定。
桥接合约是一种无需信任的消息传输/桥接协议,帮助在L1和L2之间转移ERC-20资产。
3、Scroll运作流程
Scroll zk-rollup运作流程由上面提到的所有部分构成。这就是L2区块在ETH上生成并最终确定的方式:
首先,定序器创建一个区块序列,它针对每个区块生成执行跟踪并将其发送给协调器,同时还将交易数据提交给Rollup合约。接下来,协调器随机选择一个Roller来为每个区块跟踪生成有效性证明。然后,Roller将区块证明发送回协调器,并且对于每k个区块,将给另一个Roller分派一个聚合任务将k个区块证明组合为一个单独的聚合证明(k在这里表示区块数量)。最后,由协调器发送聚合证明到rollup合约,以确定L2区块。