Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

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

兰905
1124 0 0
当我们提到 zkEVM 时,我们总会想到 Scroll。
3 p) V+ o# Y1 w# X% z为什么呢?
$ D7 _5 P+ c7 }8 V( d) Q他们将自己定位为“正确的”ZKR 的典范,具有完整的道德观,并且资金充足。! s8 k0 o1 q  j4 u4 {: P
但除此之外,他们还有伟大的技术来支持这一切。* ^# |- F9 ~8 K
以下是他们的架构概览。2 s! P- s0 D: N/ q! k. @. M
在本篇 thread 中,我将涵盖以下这些主题 :- R! O  S" ~+ J2 l/ Q( A, x
· 当前的架构9 a5 N6 y- V8 Z3 R6 H2 `- N
· Scroll 节点、Roller 网络、Rollup 和桥接合约
' n. ^; |! ?7 Z" I: F· Scroll 的工作流程" x; A  a2 {& Y% P/ K" `
不用担心,我将把以上这些内容深入浅出地表达给大家。
$ A) Q! d) l+ G, u# V还请查看 @_SSLocket 最近的通讯,了解深入的概述。
3 k) N$ K" l% {9 C; D1/ Scroll 的架构由三个基础设施组件组——Scroll 节点、Roller、Rollup 和桥接合约。$ i. y* @5 r$ e- [& U' K4 G
Scroll 节点负责通过排序器构建和将 L2 区块 roll up 到 Eth L1。
. q, v$ W7 w4 F5 C2 S# r6 n8 f0 P" U/ v3 H8 f. Y! z
2/ 它还促进了 L1 和 L2 之间通过中继器的通信。' g3 a/ o/ k& J' F
Scroll 节点包括三个部分:序列器、协调器和中继器。7 J, O3 K( ]- G5 g
序列器是流行的 Geth 节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。
* A4 G. k3 z( s/ ?$ e3/ 序列器接受来自 L2 mempool 的 L2 事务,并执行它们以创建一个新的 L2 区块,将其更新为当前状态。
# ]/ @: K5 ~. M- G' J3 P. ], |4 f- y- [协调器——该区块的执行轨迹被协调器接收,然后将其传递给 Roller 以生成证明。
% v3 H) q0 d; h6 r4/ Relayer——也许 Relay-Watchdog 会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控(像看门狗一样)rollup 合约,以确保数据的可用性、有效性和一般状态都在掌控之中。
. b. c) P5 P, ^8 G* `5/ 它还关注 Scroll 和 ETH 上的桥接合约的存款和提款事件,并在它们之间转发消息。* B) M7 ~- H7 N# M" w( _
Roller——Roller 负责生成 L2 交易的有效性证明。- [) s7 I: R# M' R; n
6/ 它使用 zkp(零知识证明)硬件加速器,如 GPU、FPGA 和 ASIC,以加快证明生成过程并降低其成本。
9 i4 C& [' ]* {. e7 R8 M( V- z  r这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。
, x$ [) G& D) H$ x8 n7/ Roller 的功能分 3 个步骤:6 w+ G6 Y: s  n+ p$ j
1. 我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被 roller 转换为电路见证。
- O  t& W& F2 u$ m& b2. 然后为每个 zkEVM 电路生成证明。
6 b* c0 [3 c1 [4 h  t/ m3. 使用证明聚合,将多个 zkEVM 电路合并为一个证明。  D0 @- ]$ T% H$ X. [. P* w
8/ 注意:一个 zk 电路是以算术方式生成的。
7 q" Q% _; j: O0 y5 L
! i& x/ p4 g7 u/ X! K; t9 y9/ Rollup 和桥接合约——这是 Scroll 的 DA 层,用于 L1 和 L2 之间的信息传递;它通过连接 Ethereum 的基础层来实现。
- ~8 [7 ^0 S; t2 f: T& k; s0 b2 {7 IRollup 合约。它从排序器中接收 L2 状态根和区块数据。& A/ T  c8 Y( Q4 m) s0 e9 Q2 L
10/ 它将状态根存储在以太坊状态上,区块数据作为调用数据存储在 ETH 上。
) v+ T  e: l9 u( }- V& }这为 Scroll 提供了 DA 支持,并确保 Relayer 的 L2 区块重建。2 t; d2 w" p; |' H: c
11/ 只有当 L2 区块的有效性被 Rollup 合约验证后,L2 区块才被认为在 Scroll 上最终确定。  [  R9 D, a- v3 X5 y% p6 r
桥接合约。这是 scroll 上的一个无信任的信息传递/桥接协议,帮助 ERC-20 资产在 L1 和 L2 之间转移。& ]) B+ W( V6 M) \: f
12/ 这是 Scroll 的 zkR 的工作流程:% g- X* v0 D4 a& l( q4 W6 E  f
这个工作流程由上面提到的所有组件组成。
/ l$ J" j' ?  |) y4 d这就是 L2 区块在 ETH 上生成和最终完成的方式:
. l% U7 ?! O) Q7 A! z! e! s; {7 |5 r1 ~) u0 X9 A! |
13/ 首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给 rollup 合约。
; Q( n9 G& F* q( Z14/ 接下来,协调人随机选择一个 Roller,为每个区块追踪生成一个有效性证明。; m( A4 [, L- H. W
然后,Roller 将区块证明发回给协调人,每隔 k 个区块,就向另一个 Roller 派发一个聚合任务,以合并 k 个区块证明。
* }" F! g* ?) \! \15/...(这里的 k 表示区块的数量)变成一个聚合证明。7 M' s9 {0 R% P8 f
最后,聚合的证明由协调人发送到 rollup 合约,以最终确定 L2 区块。
  E  ]9 V* p' f7 M6 B) G现在,这就是字节码兼容的 zkR 的架构和功能。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

兰905 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    11