当我们提到zkEVM时,我们总会想到Scroll。
为什么呢?
他们将自己定位为“正确的”zkR的典范,具有完整的道德观,并且资金充足。
但除此之外,他们还有伟大的技术来支持这一切。
以下是他们的架构概览。
在本篇thread中,我将涵盖以下这些主题:
·?当前的架构
·?Scroll节点、Roller网络、Rollup和桥接合约
·?Scroll的工作流程
不用担心,我将把以上这些内容深入浅出地表达给大家。
还请查看@_SSLocket最近的通讯,了解深入的概述。
1/Scroll的架构由三个基础设施组件组——Scroll节点、Roller、Rollup和桥接合约。
Scroll节点负责通过排序器构建和将L2区块rollup到EthL1。
2/它还促进了L1和L2之间通过中继器的通信。
Scroll节点包括三个部分:序列器、协调器和中继器。
序列器是流行的Geth节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。
3/序列器接受来自L2mempool的L2事务,并执行它们以创建一个新的L2区块,将其更新为当前状态。
协调器——该区块的执行轨迹被协调器接收,然后将其传递给Roller以生成证明。
4/Relayer——也许Relay-Watchdog会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控rollup合约,以确保数据的可用性、有效性和一般状态都在掌控之中。
5/它还关注Scroll和ETH上的桥接合约的存款和提款事件,并在它们之间转发消息。
Roller——Roller负责生成L2交易的有效性证明。
6/它使用zkp硬件加速器,如GPU、FPGA和ASIC,以加快证明生成过程并降低其成本。
这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。
7/Roller的功能分3个步骤:
1.?我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被roller转换为电路见证。
2.?然后为每个zkEVM电路生成证明。
3.?使用证明聚合,将多个zkEVM电路合并为一个证明。
8/注意:一个zk电路是以算术方式生成的。
9/Rollup和桥接合约——这是Scroll的DA层,用于L1和L2之间的信息传递;它通过连接Ethereum的基础层来实现。
Rollup合约。它从排序器中接收L2状态根和区块数据。
10/它将状态根存储在以太坊状态上,区块数据作为调用数据存储在ETH上。
这为Scroll提供了DA支持,并确保Relayer的L2区块重建。
11/只有当L2区块的有效性被Rollup合约验证后,L2区块才被认为在Scroll上最终确定。
桥接合约。这是scroll上的一个无信任的信息传递/桥接协议,帮助ERC-20资产在L1和L2之间转移。
12/这是Scroll的zkR的工作流程:
这个工作流程由上面提到的所有组件组成。
这就是L2区块在ETH上生成和最终完成的方式:
13/首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给rollup合约。
14/接下来,协调人随机选择一个Roller,为每个区块追踪生成一个有效性证明。
然后,Roller将区块证明发回给协调人,每隔k个区块,就向另一个Roller派发一个聚合任务,以合并k个区块证明。
15/...变成一个聚合证明。
最后,聚合的证明由协调人发送到rollup合约,以最终确定L2区块。
现在,这就是字节码兼容的zkR的架构和功能。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。