Hi 游客

更多精彩,请登录!

比特池塘 区块链前沿 正文

在 ETHDenver 的 Devtopia 舞台上,Scroll 的联合创始人 Haichen Shen 发表了主题为 Scroll 构建 zkEVM 和 zk Rollup 的挑战的演讲,并同步了最新 Alpha 测试网的情况。

, z+ @/ a4 l' n) [' V `

Scroll 介绍

: \ }- {7 K& }( r" z! P5 l

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

" w6 D' [: a3 t8 c% I

Scroll 是一个 EVM 等效的 zk-Rollup 以太坊扩容方案

% d$ m: a! s# X. {* z

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

8 Z+ q! v% Z: Q% q

在演讲最开始,Haichen 强调了 Scroll 一直以来的原则,一是以社区驱动的方式同社区开放构建,二是确保安全性和稳定的版本发布,三是强调证明者和排序器去中心化的重要性

' t0 S) {4 b& C; j- k: i

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

8 T; {7 B) m+ P1 M& @5 V

以下是 zkEVM 开发的社区贡献者,其中大多数来自于 Scroll 团队和 PSE 团队,还有一些其他的社区成员。

4 q% g! X' S% V. a0 B3 L+ x+ d

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

0 Q: d% t% j7 C$ J1 ?" D Y8 m

测试网最新进展

) y5 w. x7 T. @% c6 C9 J

2 月 27 日,Scroll 在 Goerli 上线了 Alpha 测试网。Alpha 测试网目前已经是 EVM 等效的,证明已经可以在 Goerli 测试网上得到验证。

' V, O) t; x+ O+ s3 U) u# `/ v- d0 ^& E

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

" C! M: `9 H2 G: V

而 Alpha 测试网的发布,意味着 Scroll 已经达到了路线图的第三阶段。

) u* N6 s, T9 T) C" {

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

9 j& |' V8 V% F$ u- q8 g- C- ] X

下一步就是第四阶段:zkEVM 的主网上线。

# k6 ~% k' r! `( X! n

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

9 b# T3 J' M/ V2 s2 h6 _/ {# b' b) o

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

: F: b' V* l- c5 n" E' U1 B. g. v

对于社区关心的距离主网上线的进度,Haichen 公布了目前仍需要完成的任务,首先是要构建完整的 zkEVM 电路,目前还缺少一些不常见的错误约束,也还需要添加一些预编译合约。随后会进行 zkEVM 电路和跨链桥合约的审计,然后进行最后的优化。

6 o6 S0 G" w4 E5 P1 v! N0 Q

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

4 ]0 E+ |; I3 z0 i

构建 zkEVM 和 zkRollup 的挑战

5 @, J* o- g+ J. H. P" G! Q0 K3 _# R: _

演讲的后半部分,Haichen 分享了 Scroll 在构建 zkEVM 和 zkRollup 过程中遇到的挑战。主要从三个方面来说,第一是编写 zk 电路,第二是编写 zkEVM,第三是构建 zk-Rollup。

; m6 [" R( s4 _8 v2 O- g; s: e8 z

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

3 E6 \! e5 g9 W ^' ~: V

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

! z0 H* ]. ]$ V4 m

编写 zk 电路

! ?( q. y3 A0 m+ D4 U9 |1 @8 ?# {

在编写 zk 电路中,主要有两个难点。其一是开发的逻辑,正常程序中根据输入 x,y,函数 foo 得到输出 z,而在 zk 电路中,则是根据输入 x,y,foo(x,y),输出是否有效的判断,因此在 zk 电路中需要考虑到有效和无效的所有情况,确保电路的约束成立。

: Q/ W4 k6 \" I/ B

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

( c9 w1 y$ S5 \0 {6 z. I- H& h* g; i

其二是有限域的操作,有限域是包含有限个元素的域,这些元素通常是素数。在所用的 BN-254 曲线中为 254 位的值,因此要表示 EVM 的 256 位,则需要拆解成两部分处理。

. n8 y6 |+ y1 Q- e3 l

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

: {9 q# H+ f+ W9 Q& @8 |- G2 y+ ~

编写 zkEVM

8 O! E/ v# W0 u

在编写 zkEVM 中,Haichen 拆解了 zk 和 EVM 两个部分。EVM 中有三个组成部分,Executor, Stack, Memory。

- `8 i5 L9 z& Y1 C" M# \! n

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

! r! e, i- G6 T" ]. Z

zk 部分则需要对 EVM 的执行过程中进行一一的约束。EVM 电路将约束 Executor 正确执行;RAM 电路将约束 Stack,Memory 的读写正确;Bytecode 电路将约束 EVM 读取的 bytecode 的正确性;MPT 电路将约束存储的读写正确;TX 电路将约束交易的有效性;ECDSA 电路将约束交易中签名的正确性;Keccak 电路则将约束 Keccak 哈希函数的正确计算;还有其他的一些约束等等。所有这些约束组合在一起,就组成了 zkEVM。

! U4 J( w8 M1 b% C. H+ s

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

% y6 E q+ L V E1 o

构建 zk-Rollup

- r x( q7 U2 S8 I' \1 m

在构建 zk-Rollup 方面,去中心化证明者网络需要对证明者进行激励。

# ]: w% J' h: o) k* B" h# O

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

& G5 n* z3 ?8 t9 k. `

当后续去中心化排序器后,情况会变得更复杂,需要协调证明者网络和排序器网络,目前 Scroll 正在进行开放研究,欢迎有想法的开发者加入研究探讨。

+ h- f& ?' c7 d' i. t/ O

Scroll联创ETHDenver演讲:测试网最新进展及构建zkEVM、zk Rollup遇到的挑战

3 u% A5 {3 F( O' b: m$ E

 

BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

云丝雨线纱 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    17