深入浅出解读 Scroll 技术架构和工作流程
兰905
发表于 2023-4-26 21:44:15
1123
0
0
为什么呢?! s; N; _) c. z- u% w9 O
他们将自己定位为“正确的”ZKR 的典范,具有完整的道德观,并且资金充足。
但除此之外,他们还有伟大的技术来支持这一切。2 L5 M: r2 Q& C, P5 T# h
以下是他们的架构概览。
在本篇 thread 中,我将涵盖以下这些主题 :
· 当前的架构
· Scroll 节点、Roller 网络、Rollup 和桥接合约. |1 W' ~! i! j& ~1 ]" n
· Scroll 的工作流程( `% X7 W* M( N$ ]8 a/ G
不用担心,我将把以上这些内容深入浅出地表达给大家。
还请查看 @_SSLocket 最近的通讯,了解深入的概述。
1/ Scroll 的架构由三个基础设施组件组——Scroll 节点、Roller、Rollup 和桥接合约。' k7 ]7 M. F( Y
Scroll 节点负责通过排序器构建和将 L2 区块 roll up 到 Eth L1。
2/ 它还促进了 L1 和 L2 之间通过中继器的通信。) Y a+ U. a5 I6 t1 Y7 p/ M
Scroll 节点包括三个部分:序列器、协调器和中继器。5 L/ n9 Z8 u0 E e/ I4 S
序列器是流行的 Geth 节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。& A( ?' \3 F1 y5 J
3/ 序列器接受来自 L2 mempool 的 L2 事务,并执行它们以创建一个新的 L2 区块,将其更新为当前状态。' E3 W+ P% R5 {. G: J6 i
协调器——该区块的执行轨迹被协调器接收,然后将其传递给 Roller 以生成证明。
4/ Relayer——也许 Relay-Watchdog 会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控(像看门狗一样)rollup 合约,以确保数据的可用性、有效性和一般状态都在掌控之中。+ m4 z: D, \' \; _, x
5/ 它还关注 Scroll 和 ETH 上的桥接合约的存款和提款事件,并在它们之间转发消息。
Roller——Roller 负责生成 L2 交易的有效性证明。# Z+ A- E$ @3 ]
6/ 它使用 zkp(零知识证明)硬件加速器,如 GPU、FPGA 和 ASIC,以加快证明生成过程并降低其成本。
这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。
7/ Roller 的功能分 3 个步骤:/ M0 h! Q" n4 q; f
1. 我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被 roller 转换为电路见证。, [$ c) m7 Q6 T( `8 l9 R% A
2. 然后为每个 zkEVM 电路生成证明。
3. 使用证明聚合,将多个 zkEVM 电路合并为一个证明。1 }$ l7 |7 S, Q, g$ u: m! [! P+ i
8/ 注意:一个 zk 电路是以算术方式生成的。9 v* j: D) f$ V* E! M, x
0 v+ ]# D$ D2 R* }
9/ Rollup 和桥接合约——这是 Scroll 的 DA 层,用于 L1 和 L2 之间的信息传递;它通过连接 Ethereum 的基础层来实现。% g; |4 u1 g8 f+ A
Rollup 合约。它从排序器中接收 L2 状态根和区块数据。* }0 |9 c% X. z9 p+ l
10/ 它将状态根存储在以太坊状态上,区块数据作为调用数据存储在 ETH 上。
这为 Scroll 提供了 DA 支持,并确保 Relayer 的 L2 区块重建。3 x/ u% W7 m l: w2 H
11/ 只有当 L2 区块的有效性被 Rollup 合约验证后,L2 区块才被认为在 Scroll 上最终确定。
桥接合约。这是 scroll 上的一个无信任的信息传递/桥接协议,帮助 ERC-20 资产在 L1 和 L2 之间转移。3 H+ }% z5 @# n* J* N* z
12/ 这是 Scroll 的 zkR 的工作流程:
这个工作流程由上面提到的所有组件组成。4 [6 A" n) \5 ] a( e5 l, C
这就是 L2 区块在 ETH 上生成和最终完成的方式: Z3 r" T/ I, q# z3 D4 O
13/ 首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给 rollup 合约。% |" A7 j* V- l: _
14/ 接下来,协调人随机选择一个 Roller,为每个区块追踪生成一个有效性证明。
然后,Roller 将区块证明发回给协调人,每隔 k 个区块,就向另一个 Roller 派发一个聚合任务,以合并 k 个区块证明。 x" J" x( V- X7 _: v) F5 w
15/...(这里的 k 表示区块的数量)变成一个聚合证明。: o1 R! t [; k* A8 ^, T
最后,聚合的证明由协调人发送到 rollup 合约,以最终确定 L2 区块。
现在,这就是字节码兼容的 zkR 的架构和功能。
成为第一个吐槽的人