Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

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

兰905
1268 0 0
当我们提到 zkEVM 时,我们总会想到 Scroll。
' n9 @- E. E! s; o; g为什么呢?1 O+ b6 ~+ U' N8 C+ W2 ^& G
他们将自己定位为“正确的”ZKR 的典范,具有完整的道德观,并且资金充足。* ]5 h0 Y, I& d. Q
但除此之外,他们还有伟大的技术来支持这一切。
( R6 Y3 `" J' y6 q1 m. ^以下是他们的架构概览。
& q  n4 j$ K6 `* H) p- c4 c& n! ^% f在本篇 thread 中,我将涵盖以下这些主题 :
6 \1 l+ H# q/ ~7 k$ `3 R3 W- D2 \· 当前的架构  a* _7 ^9 d/ b( M
· Scroll 节点、Roller 网络、Rollup 和桥接合约
# {' _! B5 [/ b· Scroll 的工作流程
+ {9 x% z3 X0 v: n% F* @不用担心,我将把以上这些内容深入浅出地表达给大家。% J2 E" ?' l: Z$ c# @7 ]
还请查看 @_SSLocket 最近的通讯,了解深入的概述。4 I$ O2 z# h. w2 u  A
1/ Scroll 的架构由三个基础设施组件组——Scroll 节点、Roller、Rollup 和桥接合约。; K! S7 L) O: Y% m9 g- F. @+ A
Scroll 节点负责通过排序器构建和将 L2 区块 roll up 到 Eth L1。) q; _! N6 X  k7 d; ?4 ]  t+ A

8 N  x+ ?1 N% k( {( U$ w$ D: o4 k2/ 它还促进了 L1 和 L2 之间通过中继器的通信。2 S$ R" V5 x1 F) d: ]6 y$ ]
Scroll 节点包括三个部分:序列器、协调器和中继器。
: E  {4 x, q% G* j6 h) c, C( J  ~序列器是流行的 Geth 节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。
* B8 c# R; Y0 J* q; k3/ 序列器接受来自 L2 mempool 的 L2 事务,并执行它们以创建一个新的 L2 区块,将其更新为当前状态。
  m, N# m; R, W1 _& _, _3 b5 S# J! M4 s协调器——该区块的执行轨迹被协调器接收,然后将其传递给 Roller 以生成证明。- |9 f& F5 ]3 N2 c% Z9 _
4/ Relayer——也许 Relay-Watchdog 会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控(像看门狗一样)rollup 合约,以确保数据的可用性、有效性和一般状态都在掌控之中。4 J$ E& _6 U$ l% |$ c3 Q- v
5/ 它还关注 Scroll 和 ETH 上的桥接合约的存款和提款事件,并在它们之间转发消息。
* {) t  ]: `& ?6 T; MRoller——Roller 负责生成 L2 交易的有效性证明。
/ U! ~3 m( n( {5 y: M6/ 它使用 zkp(零知识证明)硬件加速器,如 GPU、FPGA 和 ASIC,以加快证明生成过程并降低其成本。7 L- W2 S  I( ]% v
这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。( i4 ]" ?; n# o2 ~; K* @
7/ Roller 的功能分 3 个步骤:. i  z; S$ Z' z) M! z! O9 ?
1. 我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被 roller 转换为电路见证。8 y- @! P" z5 f0 Z
2. 然后为每个 zkEVM 电路生成证明。
6 e9 E1 n' o- M% x+ D4 p  q3. 使用证明聚合,将多个 zkEVM 电路合并为一个证明。
1 a6 `$ Z. l/ s9 t! t, X8/ 注意:一个 zk 电路是以算术方式生成的。
0 G1 Z7 |9 `2 m& Q" b% E5 {4 c" l) }/ @
9/ Rollup 和桥接合约——这是 Scroll 的 DA 层,用于 L1 和 L2 之间的信息传递;它通过连接 Ethereum 的基础层来实现。7 ^) j& |- t3 u, c
Rollup 合约。它从排序器中接收 L2 状态根和区块数据。6 k7 V* s+ z8 M! l9 K+ z' D
10/ 它将状态根存储在以太坊状态上,区块数据作为调用数据存储在 ETH 上。+ f* V+ A5 `. ]
这为 Scroll 提供了 DA 支持,并确保 Relayer 的 L2 区块重建。
) J6 E* X2 K/ }; N11/ 只有当 L2 区块的有效性被 Rollup 合约验证后,L2 区块才被认为在 Scroll 上最终确定。
( @7 {& v* ]" _6 @5 U6 F2 I桥接合约。这是 scroll 上的一个无信任的信息传递/桥接协议,帮助 ERC-20 资产在 L1 和 L2 之间转移。
7 L/ D' e' d) h. [12/ 这是 Scroll 的 zkR 的工作流程:4 x! J5 I' G" V9 ?7 N; r3 O1 u
这个工作流程由上面提到的所有组件组成。5 O6 E+ @' S' d$ m4 ~* H! a
这就是 L2 区块在 ETH 上生成和最终完成的方式:8 Z% b) \) n# @- e- u. c$ _

& v# c, Q+ _1 e8 ^13/ 首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给 rollup 合约。
8 \7 R6 y4 O# i' P1 g+ j9 k14/ 接下来,协调人随机选择一个 Roller,为每个区块追踪生成一个有效性证明。/ }: z6 s+ H. g  p1 ^
然后,Roller 将区块证明发回给协调人,每隔 k 个区块,就向另一个 Roller 派发一个聚合任务,以合并 k 个区块证明。$ t. E4 _- g2 y3 V4 a/ c
15/...(这里的 k 表示区块的数量)变成一个聚合证明。& H& ]( n9 ^$ O/ @( |
最后,聚合的证明由协调人发送到 rollup 合约,以最终确定 L2 区块。
% L. Y( D2 q( l, Z; w- m  O现在,这就是字节码兼容的 zkR 的架构和功能。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

兰905 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    11