Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

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

兰905
1298 0 0
当我们提到 zkEVM 时,我们总会想到 Scroll。8 g! }; N/ s9 \* B6 s9 o4 G
为什么呢?
0 l  `1 H* ?) R他们将自己定位为“正确的”ZKR 的典范,具有完整的道德观,并且资金充足。
1 D- Y6 K' Y8 R' }但除此之外,他们还有伟大的技术来支持这一切。
% n2 y( ~0 c1 h8 p- r2 f以下是他们的架构概览。+ }7 r2 _! q# S: z3 O; S$ ^
在本篇 thread 中,我将涵盖以下这些主题 :
/ o1 K0 a9 g# K9 O# U  Z· 当前的架构- Z7 l' Z$ Q( i
· Scroll 节点、Roller 网络、Rollup 和桥接合约+ U4 R- X+ r; F% ^
· Scroll 的工作流程9 k+ r- h/ r8 m' x* a( Q# R; J9 v; g6 P
不用担心,我将把以上这些内容深入浅出地表达给大家。% Z7 v1 u, A" I- F! s+ k
还请查看 @_SSLocket 最近的通讯,了解深入的概述。
% H0 B) [7 E4 x, y2 T! y1/ Scroll 的架构由三个基础设施组件组——Scroll 节点、Roller、Rollup 和桥接合约。
, o: \+ L$ i  v7 o* p9 GScroll 节点负责通过排序器构建和将 L2 区块 roll up 到 Eth L1。. D5 `4 G2 t" d( [5 W2 L% j

# r& a; W7 E4 O  w" }2/ 它还促进了 L1 和 L2 之间通过中继器的通信。
% O  k6 I" D% pScroll 节点包括三个部分:序列器、协调器和中继器。
( a# v- Q! V; z# C- P/ B4 n1 E序列器是流行的 Geth 节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。
5 O4 j/ P) D6 U: C2 x  Q6 ]; E6 o3/ 序列器接受来自 L2 mempool 的 L2 事务,并执行它们以创建一个新的 L2 区块,将其更新为当前状态。& ]5 L+ k. Y3 ?, [
协调器——该区块的执行轨迹被协调器接收,然后将其传递给 Roller 以生成证明。4 l; N% x! S$ e4 J2 f
4/ Relayer——也许 Relay-Watchdog 会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控(像看门狗一样)rollup 合约,以确保数据的可用性、有效性和一般状态都在掌控之中。0 x2 \3 N! q* ?( J* K/ j
5/ 它还关注 Scroll 和 ETH 上的桥接合约的存款和提款事件,并在它们之间转发消息。% X% l3 B* y7 [' L5 y
Roller——Roller 负责生成 L2 交易的有效性证明。" f7 X6 n. }; n* _3 ~* S" H) f, R0 o
6/ 它使用 zkp(零知识证明)硬件加速器,如 GPU、FPGA 和 ASIC,以加快证明生成过程并降低其成本。5 ]+ r) D: K" x! r( a; I6 p
这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。+ `9 }/ K. i1 p* o0 ^
7/ Roller 的功能分 3 个步骤:" |) w! [0 x1 l" N$ {2 o; u+ w
1. 我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被 roller 转换为电路见证。2 P/ e' H% I* ?7 W" u) q9 P6 g$ g
2. 然后为每个 zkEVM 电路生成证明。8 Z; L  q- j- Z0 F
3. 使用证明聚合,将多个 zkEVM 电路合并为一个证明。
) A: T6 v: @  @. s8/ 注意:一个 zk 电路是以算术方式生成的。0 v1 c1 V/ ^" _
, T2 B+ ]: m8 Y+ M! j& F/ H
9/ Rollup 和桥接合约——这是 Scroll 的 DA 层,用于 L1 和 L2 之间的信息传递;它通过连接 Ethereum 的基础层来实现。0 ^7 D& v4 o8 _6 W8 ]7 _
Rollup 合约。它从排序器中接收 L2 状态根和区块数据。/ V. u7 R4 W3 s5 }3 n
10/ 它将状态根存储在以太坊状态上,区块数据作为调用数据存储在 ETH 上。3 S- C3 V5 U; h2 s" a
这为 Scroll 提供了 DA 支持,并确保 Relayer 的 L2 区块重建。2 _; S& }4 A  [: F* Q8 |; t
11/ 只有当 L2 区块的有效性被 Rollup 合约验证后,L2 区块才被认为在 Scroll 上最终确定。$ w5 x; a: H% U7 c2 a% P
桥接合约。这是 scroll 上的一个无信任的信息传递/桥接协议,帮助 ERC-20 资产在 L1 和 L2 之间转移。2 @6 Q2 ?! j3 Y; G7 t: n
12/ 这是 Scroll 的 zkR 的工作流程:
7 u, k, X5 E9 W0 v% {& s; z7 C- o这个工作流程由上面提到的所有组件组成。
# n9 [6 |, }4 B2 ?+ a; f+ I这就是 L2 区块在 ETH 上生成和最终完成的方式:6 ~% b& O( l( v# x  C( a/ d) P
/ k# X0 j! d3 Z  C. E- v9 ?
13/ 首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给 rollup 合约。6 \7 c+ O) A7 ]( O* z
14/ 接下来,协调人随机选择一个 Roller,为每个区块追踪生成一个有效性证明。
: H/ Q. y; V+ c- B+ \然后,Roller 将区块证明发回给协调人,每隔 k 个区块,就向另一个 Roller 派发一个聚合任务,以合并 k 个区块证明。( L$ [6 M5 w/ |* \0 v5 T0 o1 m
15/...(这里的 k 表示区块的数量)变成一个聚合证明。- H8 B& Q5 A$ D2 ~, E
最后,聚合的证明由协调人发送到 rollup 合约,以最终确定 L2 区块。: B" ^' b* a  m4 u8 N
现在,这就是字节码兼容的 zkR 的架构和功能。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

兰905 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    11