Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

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

兰905
1271 0 0
当我们提到 zkEVM 时,我们总会想到 Scroll。% p3 R/ G1 F% j3 Q7 }) {
为什么呢?7 s9 h4 I5 a0 H" {# _1 s+ ~- _
他们将自己定位为“正确的”ZKR 的典范,具有完整的道德观,并且资金充足。
0 ~" a# [1 L( t# U但除此之外,他们还有伟大的技术来支持这一切。
3 F. p) H. n& g4 @& H# E以下是他们的架构概览。
# H. m" J1 W2 G/ C4 k在本篇 thread 中,我将涵盖以下这些主题 :7 O# t' @# N" z
· 当前的架构
5 A/ v0 C( |2 @2 h$ U& R# Q· Scroll 节点、Roller 网络、Rollup 和桥接合约
- [# C: c* x3 I' o· Scroll 的工作流程3 x6 P! X4 ~5 W: ~
不用担心,我将把以上这些内容深入浅出地表达给大家。
3 C4 H. K9 x- c0 U& T! }$ I6 J还请查看 @_SSLocket 最近的通讯,了解深入的概述。, m6 P0 m4 S$ s
1/ Scroll 的架构由三个基础设施组件组——Scroll 节点、Roller、Rollup 和桥接合约。' i2 C3 e& N( {4 I/ `' e
Scroll 节点负责通过排序器构建和将 L2 区块 roll up 到 Eth L1。$ Q: o0 Z7 L- T1 u1 U7 }
; F. g" g* ~* l0 U
2/ 它还促进了 L1 和 L2 之间通过中继器的通信。$ p. @, @, {: j
Scroll 节点包括三个部分:序列器、协调器和中继器。: Q' c! c! ~) }$ h
序列器是流行的 Geth 节点的一个分叉,选择它是因为它的可靠性、最大的安全性和经过时间考验的声誉。
+ g9 L9 \7 O4 v% X/ b" \3/ 序列器接受来自 L2 mempool 的 L2 事务,并执行它们以创建一个新的 L2 区块,将其更新为当前状态。+ U3 D8 b& [& D' r7 e7 v& M
协调器——该区块的执行轨迹被协调器接收,然后将其传递给 Roller 以生成证明。
, k% H$ E3 t; @4/ Relayer——也许 Relay-Watchdog 会是这个角色更合适的名字!撇开笑话不谈,中继者的工作是监控(像看门狗一样)rollup 合约,以确保数据的可用性、有效性和一般状态都在掌控之中。
6 ^! `+ r0 ^2 V/ _5/ 它还关注 Scroll 和 ETH 上的桥接合约的存款和提款事件,并在它们之间转发消息。
$ j2 J3 o7 G; i/ L& d% ?Roller——Roller 负责生成 L2 交易的有效性证明。
" o) D( S7 H+ p- S# A. X6/ 它使用 zkp(零知识证明)硬件加速器,如 GPU、FPGA 和 ASIC,以加快证明生成过程并降低其成本。
$ x" r+ }$ z+ @这是因为证明生成过程中存在瓶颈,而加速器有助于解决这个问题。
- E! ]: X0 ^3 _' g1 L, M; T8 T7/ Roller 的功能分 3 个步骤:) c  m) i& i2 s/ u+ w
1. 我们在前面谈到了执行跟踪;是的,没错,来自协调器的执行跟踪,被 roller 转换为电路见证。& N( I& e, n( ]6 }& m
2. 然后为每个 zkEVM 电路生成证明。: Z, C/ t3 \/ s& g& C* O' T6 [
3. 使用证明聚合,将多个 zkEVM 电路合并为一个证明。
$ J+ I" l+ \/ a8 a8 p/ ~; g3 Z4 ]8/ 注意:一个 zk 电路是以算术方式生成的。
% B: I& C) u7 |2 @: E+ Z" P& D' O+ `* P
9/ Rollup 和桥接合约——这是 Scroll 的 DA 层,用于 L1 和 L2 之间的信息传递;它通过连接 Ethereum 的基础层来实现。
8 l) ]2 @: T$ M6 `+ yRollup 合约。它从排序器中接收 L2 状态根和区块数据。
, R& R* ^2 h2 Z1 u10/ 它将状态根存储在以太坊状态上,区块数据作为调用数据存储在 ETH 上。( T2 P: |7 r8 K% w8 j# e7 G$ T4 Q
这为 Scroll 提供了 DA 支持,并确保 Relayer 的 L2 区块重建。
7 W& [6 U7 y0 ^& [9 D% [9 B11/ 只有当 L2 区块的有效性被 Rollup 合约验证后,L2 区块才被认为在 Scroll 上最终确定。
6 e- p$ E- O7 C8 J( a1 l# w& Y+ e桥接合约。这是 scroll 上的一个无信任的信息传递/桥接协议,帮助 ERC-20 资产在 L1 和 L2 之间转移。6 t# G1 ]+ @* K9 ?" e
12/ 这是 Scroll 的 zkR 的工作流程:/ Q8 r: W2 n5 k/ I; x
这个工作流程由上面提到的所有组件组成。
1 O: M/ F2 N! q! g4 m3 q& U这就是 L2 区块在 ETH 上生成和最终完成的方式:  O9 b) k7 w; u1 P  B* l' M1 s
% v- s* {1 S5 L$ F; W# F
13/ 首先,排序器创建一个区块序列,对于每个区块,它生成一个执行跟踪,并将其发送给协调人,同时将交易数据提交给 rollup 合约。7 n! Y8 e1 P* ~. @- y* a7 p
14/ 接下来,协调人随机选择一个 Roller,为每个区块追踪生成一个有效性证明。! l3 ~( V& e' O/ h; l( [
然后,Roller 将区块证明发回给协调人,每隔 k 个区块,就向另一个 Roller 派发一个聚合任务,以合并 k 个区块证明。
0 [6 p5 |! Z" M0 |4 p15/...(这里的 k 表示区块的数量)变成一个聚合证明。4 g4 |7 k% L$ b" Q# L
最后,聚合的证明由协调人发送到 rollup 合约,以最终确定 L2 区块。' [- I; i$ s! l' a6 h
现在,这就是字节码兼容的 zkR 的架构和功能。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

兰905 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    11