Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

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

兰905
1276 0 0
当我们提到 zkEVM 时,我们总会想到 Scroll。7 \1 z# a/ g% x/ V; {$ P. y
为什么呢?7 K3 Q. L- F- u1 Q
他们将自己定位为“正确的”ZKR 的典范,具有完整的道德观,并且资金充足。
4 m3 q/ i, W, @0 U. H, j4 k: z2 D但除此之外,他们还有伟大的技术来支持这一切。
( o5 N5 n! B8 X$ _% F以下是他们的架构概览。1 h) V7 ^& m* a) a# P( E; P
在本篇 thread 中,我将涵盖以下这些主题 :
! K% C% W; H& \8 I7 |· 当前的架构
  c0 @) D2 v1 q' V0 Z· Scroll 节点、Roller 网络、Rollup 和桥接合约
- U" j2 s5 W: i; w: X6 z· Scroll 的工作流程
5 e/ u4 E; X0 X不用担心,我将把以上这些内容深入浅出地表达给大家。
: z2 t. L4 m! l( S3 e' h- W# ?还请查看 @_SSLocket 最近的通讯,了解深入的概述。+ \: a3 ]+ b, ]
1/ Scroll 的架构由三个基础设施组件组——Scroll 节点、Roller、Rollup 和桥接合约。
1 W' N0 `0 o6 eScroll 节点负责通过排序器构建和将 L2 区块 roll up 到 Eth L1。
1 m" a" @# B/ k1 |7 |  b
3 M4 K$ P) ^2 N1 Q2 F6 |. Q/ Y2/ 它还促进了 L1 和 L2 之间通过中继器的通信。
. o  t8 I3 K0 _- w  Q' mScroll 节点包括三个部分:序列器、协调器和中继器。
% `, x, s9 U! K- T; h9 e8 `序列器是流行的 Geth 节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。
. Q7 Z2 A0 w' P0 z5 e8 ]2 R3/ 序列器接受来自 L2 mempool 的 L2 事务,并执行它们以创建一个新的 L2 区块,将其更新为当前状态。5 [$ [2 n9 r& r; c, i
协调器——该区块的执行轨迹被协调器接收,然后将其传递给 Roller 以生成证明。
: g: S4 d! k- a9 ~3 r$ O# y4/ Relayer——也许 Relay-Watchdog 会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控(像看门狗一样)rollup 合约,以确保数据的可用性、有效性和一般状态都在掌控之中。3 U5 H9 Z0 ^% O: e
5/ 它还关注 Scroll 和 ETH 上的桥接合约的存款和提款事件,并在它们之间转发消息。) y+ z' a3 h. z8 R) {% y
Roller——Roller 负责生成 L2 交易的有效性证明。
& w: F2 ?) V4 F$ a: g6/ 它使用 zkp(零知识证明)硬件加速器,如 GPU、FPGA 和 ASIC,以加快证明生成过程并降低其成本。
; K2 ]8 e( `3 j9 G. C; k/ E" K4 q  A这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。# u( c. }  n* e. v; z% Q- ~
7/ Roller 的功能分 3 个步骤:- X1 O* ?# J7 d
1. 我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被 roller 转换为电路见证。. X9 p; J. ?5 x# ~" K' c$ Z
2. 然后为每个 zkEVM 电路生成证明。+ c& _; b) A- a8 G+ V! u) H% u3 I
3. 使用证明聚合,将多个 zkEVM 电路合并为一个证明。2 w0 S! d" S0 K4 I/ @$ u
8/ 注意:一个 zk 电路是以算术方式生成的。  E0 ]: H$ l$ l7 g: o" V* u2 j! H  _
) P; I6 r9 O: y* ?+ F: e
9/ Rollup 和桥接合约——这是 Scroll 的 DA 层,用于 L1 和 L2 之间的信息传递;它通过连接 Ethereum 的基础层来实现。7 _; o8 Q( c* j8 W  m7 U5 Z
Rollup 合约。它从排序器中接收 L2 状态根和区块数据。
" S8 R/ w0 G3 b8 P& z4 M10/ 它将状态根存储在以太坊状态上,区块数据作为调用数据存储在 ETH 上。
2 n; ]5 s5 Y# N! N8 ]这为 Scroll 提供了 DA 支持,并确保 Relayer 的 L2 区块重建。' t' g" i# J. e. W+ @
11/ 只有当 L2 区块的有效性被 Rollup 合约验证后,L2 区块才被认为在 Scroll 上最终确定。
9 M" X+ j. N* x; J# e桥接合约。这是 scroll 上的一个无信任的信息传递/桥接协议,帮助 ERC-20 资产在 L1 和 L2 之间转移。' b6 m- }9 u* D5 }
12/ 这是 Scroll 的 zkR 的工作流程:) x3 P$ q. j3 f+ S' \$ W
这个工作流程由上面提到的所有组件组成。  z, p. |2 D1 o, c9 A
这就是 L2 区块在 ETH 上生成和最终完成的方式:( N$ m6 w& Z; Q1 V/ d" W6 B

. u; M# a2 Y$ w13/ 首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给 rollup 合约。
/ [- p3 x) D6 z  Q! M  G- M14/ 接下来,协调人随机选择一个 Roller,为每个区块追踪生成一个有效性证明。
! i1 }! x1 {2 g8 k7 A  x然后,Roller 将区块证明发回给协调人,每隔 k 个区块,就向另一个 Roller 派发一个聚合任务,以合并 k 个区块证明。
; l4 [! g' \* v/ l9 E15/...(这里的 k 表示区块的数量)变成一个聚合证明。: i( v0 ?! m( l* c
最后,聚合的证明由协调人发送到 rollup 合约,以最终确定 L2 区块。! ], n2 L: F8 G6 [0 h, @
现在,这就是字节码兼容的 zkR 的架构和功能。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

兰905 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    11