Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

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

兰905
1126 0 0
当我们提到 zkEVM 时,我们总会想到 Scroll。  I# a, Q; o7 @7 {! y
为什么呢?
5 W% @+ R: s) Y& f- y: R1 ]他们将自己定位为“正确的”ZKR 的典范,具有完整的道德观,并且资金充足。- B. j1 A3 Y  u2 ]7 p! C+ y. G
但除此之外,他们还有伟大的技术来支持这一切。
6 c: D& T# Y. o& Y6 I6 {$ b以下是他们的架构概览。
- j7 D# a  Y/ p: g) c3 }' M, i在本篇 thread 中,我将涵盖以下这些主题 :2 R, K+ y( h# x" P0 v
· 当前的架构7 I( b) _7 D* q/ D
· Scroll 节点、Roller 网络、Rollup 和桥接合约
4 J4 ~" W! q; p. D! t0 k4 W· Scroll 的工作流程% e# m1 w4 S2 E
不用担心,我将把以上这些内容深入浅出地表达给大家。: [4 r+ P4 V" t" }- |6 E
还请查看 @_SSLocket 最近的通讯,了解深入的概述。
" W3 F6 V+ J" Y( U/ y/ M8 J1/ Scroll 的架构由三个基础设施组件组——Scroll 节点、Roller、Rollup 和桥接合约。
" Q. a1 V* ?* {0 D7 R. LScroll 节点负责通过排序器构建和将 L2 区块 roll up 到 Eth L1。
9 S+ o% F( _7 z
9 m" E) y1 k9 |" e. X3 Y3 N/ J2/ 它还促进了 L1 和 L2 之间通过中继器的通信。
9 ]2 L1 }$ w( B5 e1 j. M$ G! MScroll 节点包括三个部分:序列器、协调器和中继器。
+ N& \, N7 \8 Y0 @, m. f0 Y( _序列器是流行的 Geth 节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。
, `  s9 e" ?: K3 j& ^" ^3/ 序列器接受来自 L2 mempool 的 L2 事务,并执行它们以创建一个新的 L2 区块,将其更新为当前状态。
- d6 q- v- ^% N9 K协调器——该区块的执行轨迹被协调器接收,然后将其传递给 Roller 以生成证明。
9 ?& Z' T% `3 s- P8 c% M4/ Relayer——也许 Relay-Watchdog 会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控(像看门狗一样)rollup 合约,以确保数据的可用性、有效性和一般状态都在掌控之中。
: Z$ ~' P7 M3 _) m, W$ J5/ 它还关注 Scroll 和 ETH 上的桥接合约的存款和提款事件,并在它们之间转发消息。. f, Y$ q+ T/ E+ W* l
Roller——Roller 负责生成 L2 交易的有效性证明。/ I5 n& M) h# C4 X! {# J
6/ 它使用 zkp(零知识证明)硬件加速器,如 GPU、FPGA 和 ASIC,以加快证明生成过程并降低其成本。+ n! l/ j( M( r: m$ p0 `
这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。
' ^5 \( ^+ y4 y/ _5 `7/ Roller 的功能分 3 个步骤:/ ~7 G) [) B4 B1 g8 E# ?( i
1. 我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被 roller 转换为电路见证。
0 {4 O; e$ P, ]6 j2. 然后为每个 zkEVM 电路生成证明。4 b) Z3 `& [. ?% y/ [5 O3 Q" K+ h
3. 使用证明聚合,将多个 zkEVM 电路合并为一个证明。
1 p9 {5 [, f4 {% |  O/ k" `8/ 注意:一个 zk 电路是以算术方式生成的。
1 Y  n  o5 Y2 k+ }: S- Z% j; u" y! ^
9/ Rollup 和桥接合约——这是 Scroll 的 DA 层,用于 L1 和 L2 之间的信息传递;它通过连接 Ethereum 的基础层来实现。/ m$ n! D* a7 j( \+ l
Rollup 合约。它从排序器中接收 L2 状态根和区块数据。
# ^0 J  M: B7 h10/ 它将状态根存储在以太坊状态上,区块数据作为调用数据存储在 ETH 上。
" D' a: a* L1 w2 e) i& N* M6 E这为 Scroll 提供了 DA 支持,并确保 Relayer 的 L2 区块重建。; U9 L' I% g& s/ n* {7 }2 |
11/ 只有当 L2 区块的有效性被 Rollup 合约验证后,L2 区块才被认为在 Scroll 上最终确定。
0 W: H2 d7 [% h! H, O2 n, U+ G桥接合约。这是 scroll 上的一个无信任的信息传递/桥接协议,帮助 ERC-20 资产在 L1 和 L2 之间转移。2 i, ?4 |% i+ R
12/ 这是 Scroll 的 zkR 的工作流程:& u8 g& h  `/ O* `, v# S: l4 g
这个工作流程由上面提到的所有组件组成。
. ?) `# `( l6 X4 h! P7 g8 j这就是 L2 区块在 ETH 上生成和最终完成的方式:
: ]' w7 g$ w% N. m& \; Z* y4 a; x3 Z7 S9 B
13/ 首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给 rollup 合约。- _6 W/ _6 [8 n7 u) [0 I6 @, Q
14/ 接下来,协调人随机选择一个 Roller,为每个区块追踪生成一个有效性证明。
" x1 o; f  a1 D然后,Roller 将区块证明发回给协调人,每隔 k 个区块,就向另一个 Roller 派发一个聚合任务,以合并 k 个区块证明。
0 |4 {2 J% K8 X15/...(这里的 k 表示区块的数量)变成一个聚合证明。
0 E! w- ?  c; V0 T1 I; N$ x最后,聚合的证明由协调人发送到 rollup 合约,以最终确定 L2 区块。# C$ k6 w5 P/ j1 T( L7 p
现在,这就是字节码兼容的 zkR 的架构和功能。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

兰905 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    11