Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

深入浅出解读 Scroll 技术架构和工作流程

兰905
1127 0 0
当我们提到 zkEVM 时,我们总会想到 Scroll。! Z+ M& |1 L4 o7 y/ m* `. p: {
为什么呢?; l' b" E( \3 `, l' }
他们将自己定位为“正确的”ZKR 的典范,具有完整的道德观,并且资金充足。# O+ G: m( G& O' {1 d5 s
但除此之外,他们还有伟大的技术来支持这一切。5 ]& F: o% S9 H2 W
以下是他们的架构概览。
0 L* _& f( S- ~1 Y+ i* f在本篇 thread 中,我将涵盖以下这些主题 :) O5 [( w" j" c0 P1 W* B! Q
· 当前的架构
+ {. E) P  v( B& y' e· Scroll 节点、Roller 网络、Rollup 和桥接合约- Q$ G- a5 {. Q/ ]" h, [
· Scroll 的工作流程
8 Z  N+ I* c9 G- O不用担心,我将把以上这些内容深入浅出地表达给大家。
0 m3 h! D& O  H还请查看 @_SSLocket 最近的通讯,了解深入的概述。3 E+ [$ F* J$ e% {
1/ Scroll 的架构由三个基础设施组件组——Scroll 节点、Roller、Rollup 和桥接合约。
. d' R" a& I" C. U3 i, x7 KScroll 节点负责通过排序器构建和将 L2 区块 roll up 到 Eth L1。
: J1 |) y/ `$ |5 g2 A" u/ `9 p+ |. G2 B8 ]; l3 T
2/ 它还促进了 L1 和 L2 之间通过中继器的通信。
& R& Q$ b. k$ [2 Z! I* e9 u! \! CScroll 节点包括三个部分:序列器、协调器和中继器。
  x. N( Q$ Q% U3 F# P: u6 C序列器是流行的 Geth 节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。4 @- b/ t3 o: X
3/ 序列器接受来自 L2 mempool 的 L2 事务,并执行它们以创建一个新的 L2 区块,将其更新为当前状态。, Y) J9 C. e% T8 g6 m- C) F
协调器——该区块的执行轨迹被协调器接收,然后将其传递给 Roller 以生成证明。" Y! a0 d. J, n7 R& O( y3 o& T
4/ Relayer——也许 Relay-Watchdog 会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控(像看门狗一样)rollup 合约,以确保数据的可用性、有效性和一般状态都在掌控之中。
/ b" s" K% ^- L5 q5/ 它还关注 Scroll 和 ETH 上的桥接合约的存款和提款事件,并在它们之间转发消息。
% a2 g8 ]2 I. V' }: }4 nRoller——Roller 负责生成 L2 交易的有效性证明。. p7 Q  f: h$ g4 K2 n* S
6/ 它使用 zkp(零知识证明)硬件加速器,如 GPU、FPGA 和 ASIC,以加快证明生成过程并降低其成本。! |, B5 u2 a! S4 p; I6 A% q* K
这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。
7 e; Y6 [+ ]" N: |( r7 i5 G0 l7/ Roller 的功能分 3 个步骤:
# Y1 w& B; {# x1. 我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被 roller 转换为电路见证。
! n. I9 f2 v4 }3 P7 |' w; V9 b2. 然后为每个 zkEVM 电路生成证明。
- ~( Y$ Z  u4 ^) s, D3. 使用证明聚合,将多个 zkEVM 电路合并为一个证明。3 B: A  N/ f5 Z) q( y0 I& `9 H
8/ 注意:一个 zk 电路是以算术方式生成的。* t, t1 i: K  O) L

+ m" k% m: I0 P7 K9/ Rollup 和桥接合约——这是 Scroll 的 DA 层,用于 L1 和 L2 之间的信息传递;它通过连接 Ethereum 的基础层来实现。% m( l' D) X3 X% C; c
Rollup 合约。它从排序器中接收 L2 状态根和区块数据。
* g! Q7 y* T: ]3 q5 [10/ 它将状态根存储在以太坊状态上,区块数据作为调用数据存储在 ETH 上。
9 w) }& t: r9 S# y) f% }6 \5 J" @0 ], `6 K这为 Scroll 提供了 DA 支持,并确保 Relayer 的 L2 区块重建。
1 J9 }5 T4 q* }1 F6 K11/ 只有当 L2 区块的有效性被 Rollup 合约验证后,L2 区块才被认为在 Scroll 上最终确定。
- l; l9 l( v1 J5 U8 ^桥接合约。这是 scroll 上的一个无信任的信息传递/桥接协议,帮助 ERC-20 资产在 L1 和 L2 之间转移。9 @0 ~( f6 u) |9 S" f0 s# O, X
12/ 这是 Scroll 的 zkR 的工作流程:# _9 o  ^: |7 z- u  r
这个工作流程由上面提到的所有组件组成。
5 X7 m) g0 i4 u7 t8 ], M7 P# h这就是 L2 区块在 ETH 上生成和最终完成的方式:
3 Q% k/ Y. d' u3 v4 ^! W& s) E- C
3 J2 l1 }3 H. j( \+ a- Q13/ 首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给 rollup 合约。  S! `. G# Y/ B# L, |" G' Y
14/ 接下来,协调人随机选择一个 Roller,为每个区块追踪生成一个有效性证明。
$ S; {/ V0 R! F! d5 P1 }" E& ^然后,Roller 将区块证明发回给协调人,每隔 k 个区块,就向另一个 Roller 派发一个聚合任务,以合并 k 个区块证明。
) j! u8 q7 ~- v7 G, e1 d7 J15/...(这里的 k 表示区块的数量)变成一个聚合证明。
' q' i, @9 t/ T! q+ D最后,聚合的证明由协调人发送到 rollup 合约,以最终确定 L2 区块。
: M3 l: D1 Z- o; x* E现在,这就是字节码兼容的 zkR 的架构和功能。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

兰905 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    11