首页
下载应用
提交文章
关于我们
问卷:你怎么看自由微信?
🔥 热搜 🔥
1
上海
2
习近平
3
新疆
4
鄂州父女瓜
5
乌鲁木齐
6
疫情
7
H工口小学生赛高
8
习明泽
9
芊川一笑图包
10
印尼排华
分类
社会
娱乐
国际
人权
科技
经济
其它
首页
下载应用
提交文章
关于我们
问卷:你怎么看自由微信?
🔥
热搜
🔥
1
百度
2
今日热点
3
微信公众平台
4
贴吧
5
opgg
6
dnf私服
7
百度贴吧
8
知乎
9
dnf公益服
10
百度傻逼
分类
社会
娱乐
国际
人权
科技
经济
其它
台湾值不值得美国出兵?美重量级人物和智库警告:美国无法承受失去台湾
揭“盗卖尸体案”易律师凌晨发文:公安下一步就是找我,律师职业也许画上......
倾家荡产求热度,实则只会步入更深贫困陷阱
当一座城市决定“砸锅卖铁”
初中生家长注意:今年将有初中生受益!
生成图片,分享到微信朋友圈
6月30日 上午 8:10
6月30日 上午 8:50
6月30日 下午 9:00
7月1日 上午 9:10
7月1日 下午 9:21
7月2日 上午 9:31
7月2日 下午 9:41
7月3日 上午 9:51
7月3日 下午 10:01
7月4日 上午 10:11
7月4日 下午 10:21
7月5日 上午 10:32
7月5日 下午 10:41
7月6日 上午 10:51
7月6日 下午 11:01
7月7日 上午 11:11
7月7日 下午 11:21
7月8日 上午 11:31
7月8日 下午 11:40
7月9日 上午 11:51
7月10日 上午 12:01
7月10日 下午 12:11
查看原文
其他
硬核对话Scroll张烨:zkEVM与Scroll及其未来
Original
极客web3
极客 Web3
2024-06-30
采访者:Nickqiao & Faust,极客Web3
受访者:YeZhang,Scroll联创
编辑:Faust & Jomosis
6月17日,极客Web3和BTCEden在Scroll的DevRel——Vincent Jin的帮助下,有幸邀请到了Scroll的联创张烨,来解答关于Scroll和zkEVM的诸多问题。
期间双方不但谈到了很多技术话题,还谈到了Scroll的一些趣事,以及其赋能亚非拉实体经济的宏大愿景。本文是此次访谈的文字版记录,超过1万字,共包含至少15个话题:
ZK在传统领域的应用空间
zkEVM和zkVM在工程难度上的差异
Scroll在实现zkEVM过程中遇到的难题
Scroll对Zcash的halo2证明系统作出的改进
Scroll是怎么和以太坊PSE小组展开合作的
在代码审计层面Scroll如何确保自己的电路安全可靠
Scroll对未来的新版zkEVM及证明系统的简单规划
Scroll的Multi Prover设计以及其Prover生成网络(zk矿池)的搭建方式
等。
除此之外,张烨老师在最后谈到了
Scroll将扎根在非洲、土耳其、东南亚等金融系统落后地区,打算为该地区人民创造实体经济场景以“脱虚入实”的宏大愿景
。本文可能是让更多人更好理解Scroll的绝佳资料之一,推荐大家仔细阅读。
1.
Faust:
请
问
张烨
老师对于
ZK
在Rollup之
外的应用怎么看?不少人
习以为常地
认为,ZK
的
主要
用处在混币器
、隐私转账
或
ZK
Rollup
和ZK桥
这些地方
,但
在
W
eb3之外,比如传统行业里对ZK的应用
还是很多的。
您觉得未来ZK最有可能在哪些方向上被采用
?
YeZhang:
这是一个好问题,传统行业里做ZK的人,在五、六年前就在探索ZK的各种场景,
区块链中用到ZK的场景其实
非常小,这也是为什么Vitalik觉得十年后
,
ZK
的场景
会和blockchain一样大。
我觉得在
那些
需要信任
假设的场景中,ZK会有很多用武之地。
假设你现在需要处理一些繁重的计算任务,如果你在AWS上租服务器,运行自己的任务并得到结果,相当于你在自己控制的设备上做计算,然后你要支付租服务器的钱,但这笔钱往往并不便宜;
但如果我们搞计算外包的模式,很多人可以用自己闲置的设备或资源分担你的计算任务,你付出的成本可能比自己租服务器更便宜。但这里存在信任问题,你不知道别人返回给你的计算结果是否正确。现在假设说你在做一个很麻烦的计算,然后你把计算交给我来做,再给我钱。我过了半小时后随便交给你一个结果,你也没有办法相信这个结果是有效的,因为我可以随便编个结果。
但如果我能向你证明,交付的这个计算结果是对的,那你就可以放心了,并且也敢把更多计算任务外包给我来做。
ZK
可以把
很多不可信的数据来源变为可信的,
这个功能非常强
,通过ZK,
你可以把
不可信但
很便宜的
第三方计算资源
更高效
的
运用起来。
我觉得这个场景非常有意义,可以催生类似于外包计算的商业模式。在一些学术文献里,称其为可信计算(verifiable computation),就是把一个计算变得值得信任。除此之外,
ZK可以应用到数据库领域
,假设在本地运行数据库太贵了,你决定走外包的路子,恰好一个人有富余的数据库资源,然后你把数据存储在他那边。你会担心对方更改你托管在他那的数据,或者说你一个SQL query后得到的结果对不对?
对此,你可以让对方生成一个proof,如果这件事能做到,
你可以把
数据存储也外包出去,并
得到一个trustworthy的结果。
这和前面的可信计算彼此都是一大类应用场景。
此外还有很多应用实例,我记得
有篇论文讲了V
erifiable ASIC
,
在生产芯片的时候,可以把ZK算法写到你的芯片上,当你用芯片运行程序的时候,产生的结果默认会带一个Proof。这样一来我觉得很多东西都能代理给任何一台设备,生成可信的结果。
还有一个有点扯的东西,叫
P
hoto
P
roof照片证明。
比如说很多图片,你不知道是不是P过的,但我们可以通过ZK去证明相片没有被篡改过,比如可以在相机软件中加一些设置,自动生成一些数字签名,你拍完照片后,这个签名相当于给照片盖了章。如果有人把你拍的照片拿去PS,搞“二次创作”,我们验证下签名就能识别出图片是被改动过的。
这里面我们可以引入ZK,当你对原图进行了些许改动后,你可以用ZK Proof向别人证明自己只是对照片做了旋转、平移等简单操作,并没有篡改照片的原始内容,证明自己微调后的图片和原版图片基本一样,也就是证明自己没有篡改图片的核心内容搞“二次创作”。
这个场景
还可以拓展到
视频音频
上
,通过
ZK,你
不
必告诉对方自己对原版视频做了哪些改动,但可以证明自己没有篡改原版的核心内容
,证明自己只做了一些无伤大雅的调整。此外还有很多有意思的应用,都是ZK能插一脚的。
目前,我觉得
ZK的应用场景还
没有被广泛接纳的原因,
在于其成本
太
高,现有的ZK证明生成方案,还
不能做到对任意计算
都实时
生成证明,
因为ZK的开销一般是原始计算的100倍到1000倍,当然我说的数字已经是压的比较低的了。
所以你想象一下,一个计算任务本来要算1小时,你现在给它生成个ZK Proof,Overhead可能是100倍,也就是要花100个小时来生成证明,虽然你可以用GPU或ASIC把这个耗时给缩短,但还是要付出巨大的计算开销,如果你要求我算一个很麻烦的东西,还要求我为此生成ZK Proof,我可以拒绝这么做,因为这要额外耗费100倍的计算资源,最后落实到经济账上就很不划算。所以
对于一对一的场景来说,生成一次性的ZK证明很昂贵。
不过,这也是为什么
对
于B
lockchain来说,
非常
适合
用ZK,
原因是
区块链做的是冗余计算,有很多1对多的场景。
区块链网络中不同节点做的是相同的计算任务,如果有1万个节点,那么相同的任务要被执行1万次。但如果你在链下完成任务,生成ZK证明,1万个节点只验证ZK证明而不重跑任务,就不必再把原始计算重放1万遍了,相当于你用自己1个人的计算成本,和1万台节点搞冗余计算的成本做了置换,从整体的角度看,可以让更多人节约资源。
所以,其实链越去中心化越适合搭配ZK,因为
任
何人
都
能近乎
零成本的验证
ZKP
,
我们只要在初始生成证明的时候付出一定成本,就可以换来对大多数人的解放,
这
就
是为什么区块链的
公开可验证性
非常适合ZK
,因为区块链里有很多1对多的场景。
还有一个上面没提到的点。现在区块链领域用到的Overhead比较大的这种ZK证明,都是非交互式的,就是你给我一个东西,我给你证明,然后就结束,因为在区块链中,你不可能反复的去跟链上交互。但有一种更高效、开销更低的证明生成方式,也就是交互式证明。比如说,你给我发一个Challenge,我给你发一个东西,你再给我发一个东西,我再给你发一个,通过这种双方多次交互的方式,有可能把ZK的计算量级再降低下来。如果这种方式可以,就有可能解决大的ZK应用场景的证明生成问题。
Nickqiao:如何看待
zk
ML,也就是
ZK
和机器学习相结合的发展前景?
YeZhang:
zkML也是一个很有趣的方向,能把Machine Learning给ZK化,但
我觉得
这方面
还是缺乏
杀手级的应用场景
。
大家普遍认为随着ZK系统的性能提升,未来能够支持ML这个级别的应用,目前zkML的效率能够支持gpt2这种级别的应用,在技术上能做到,但只能做ML中的推理。归根结底,我觉得大家还是在摸索这块的应用场景,也就是
到底
什么样的东西
才
需要
你
证明
其
推理过程
是对的
,这个事情是挺刁钻的。
2.
Nickqiao:
想请教下张烨老师,zkEVM
和
zkVM
在工程实现
难度
上
的差异具体有多大
?
YeZhang:
首先,无论是zkEVM还是zkVM,本质都是为某个虚拟机的操作码/指令集生成定制的ZK电路,
而zkEVM的工程落地难度取决于你实现它的方式,在我们刚启动项目时,因为ZK的效率还没那么高,
通过
为
EVM
的
每个
操作码
都写一个对应的电路,然后把
电路
组合起来,
定制
一个
zkEVM
是最高效的
方式
。
但
这种方案的
工程实现难度肯定很
大
,
比zkVM大很多,
毕竟EVM的指令集有超过100个操作码,每个操作码都要定制一套东西,然后组合起来,
一旦有EIP为
EVM
增添新
的
操作码,比如EIP-4844,zkEVM
都要
相应的
加新东西
。
最后你要写很长的电路并进行漫长的审计工作,所以开发难度和工作量要比zkVM大很多很多。
反之,
zkVM
是
自己
定义了一套指令集
/操作码
,它
自定义
的指令集可以
做的
很简单
,
可以很ZK friendly,你做出来一套zkVM后,不必频繁的更改底层代码,就能支持各种升级和预编译。所以
zkVM的主要工作量和后续升级维护的难度,就放在了编译器也就是把智能合约转化为zkVM操作码的那一步,这和zkEVM有很大不同。
所以,从工程难度来看,我觉得zkVM要比定制化的zkEVM更容易实现,
但是
如果要在zkVM上跑EVM的话,总体性能
比
定制化的zkEVM
低
很多
,因为
后者
是专门定制的。
但目前,Prover生成证明的效率在过去两年间有了至少3~5倍甚至5~10倍的飞跃,zkVM的效率在随之提升,现在用zkVM去跑EVM,整体效率已经慢慢提上来了,未来zkVM在性能上的劣势可能被它易于开发维护的优势给掩盖住。
毕竟对于zkVM和zkEVM而言,除去性能外的最大瓶颈就在
开发难度
上
,必须要有一个非常
强
大的工程团队,才能维护
好
这样一套
复杂的
系统。
3.
Nickqiao: 能
否
讲一下Scroll在
zkEVM
落地的过程中,
是否
遇到一些技术难题,
又
是怎么解决的?
YeZhang:
一路走来的话,最大的挑战还是在于,最初启动项目时的不确定性太大。
我们刚
启动项目
时
,基本
没有
其他
人做
zkEVM
,我们是最早
探索zkEVM
从不可能变成可能的一个团队。
在理论层面,项目刚开始的6个月就基本确定了一套可行的框架,而
在后续实现的过程
中,zkEVM
的工程量非常大
,
还有一些非常
技术性的挑战
,
比如说你怎么动态的支持不同的Pre-Compile(预编译),怎么去更高效地聚合操作码(opcode),这涉及到很多工程上的难题。
而且我们是唯一一个,也是最早支持EC Pairing椭圆曲线配对这个Pre-Compile的,像Pairing这种电路实现起来难度非常大,涉及到很多数学等错综复杂的难题,对写电路的人的密码学/数学功底,以及工程能力要求都很高。
然后在后期发展上,还要考虑技术栈的长期可维护性,以及要在什么样的时间节点,升级到下一代的zkEVM 2.0。
我们有一个专门的研究团队
,
一直在研究
此类方案,
比如通过
zkVM
的方式
来
支持EVM,
我们也有相关的论文去做这方面的一些讨论。
总结下来,我觉得之前的难点在于把zkEVM从不可能变为可能,面临的难题主要在工程落地和优化上。而
下一阶段,
更大的难点是
在什么时候、通过什么样的具体方式,切换到一个更高效的ZK证明系统
,
以及
我们怎么把目前的这套
代码库
过渡到下一代
zkEVM身
上,
以及
下一代的
zkEVM
能给我们提供什么样
的新Feature
,
这里面有大的探索空间。
4.
Nickqiao:
听起来是Scroll
已经考虑切换到别的
ZK
证明系统上了
。据我了解,目前Scroll用的是基于PLONK+Lookup的一套算法,那么这套算法在目前是否是最适合实现zkEVM的,以及未来Scroll打算换用什么证明系统?
YeZhang:
首先我来简单回答下关于PLONK和Lookup的问题,目前这一套还是最适合实现zkEVM或者zkVM的系统,大部分的实现跟具体的PLONK和Lookup是绑定的。一般提到PLONK时,其实更多是用PLONK的arithmetization,也就是电路的算术化表达方式去写zkVM的电路。
Lookup是写电路时用到的一种方式,一种约束类型
。所以当我们提到PLONK + Lookup,指的是在写zkEVM或zkVM电路时,使用PLONK的约束格式,这种方式目前是最常见的。
而在后端方面,PLONK和STARK的界限已经变得模糊,它们只是用了不同的多项式承诺方式,但其实很类似。即使采用STARK + Lookup的组合,跟PLONK + Lookup也是类似的,大家看的只是算法,两者的差别主要体现在Prover的效率、证明大小等方面。当然,就前端而言,Plonk + Lookup来实现zkEVM还是最适合的。
关于第二个问题,就是Scroll未来打算切换到什么证明系统。
因为Scroll的目的是永远让自己的技术和链的框架保持在zk领域里最顶尖的位置,所以我们肯定会用最新的一些技术。我们一直以安全性、稳定性作为最优先的目标,所以
不会
过于激进
地
切换自己的ZK证明系统,
可能先通过一些
M
ulti
P
rover做过渡,一步一步的
摸索递进,来
完成
下一版的
升级迭代
。
Anyway,要保证说这是一个平稳的过渡流程。
但
就现在
来说
,
切换
到新的证明系统
还
很早,
这其实是
下一
阶段比如未来6
个月到
1
年的
发展方向
。
5.
Nickqiao: Scroll在
当前基于PLONK和Lookup的
证明系统上
,
有没有一些独特的创新?
YeZhang:
目前在
Scroll
主网上运行的
是
halo2,
halo2最早源于Zcash这个项目团队,他们最早做了一个能支持 Lookup,支持灵活地写电路格式的一套后端系统。
然后,我们和以太坊的PSE小组一起改造了halo2,
把它
采用的多项式承诺方案从IPA换到了
KZG,
把Proof Size变小了,
从而能
在
以太坊上更高效的验证
ZK Proof
。
然后我们在GPU硬件加速上做了很多工作,跟用CPU生成ZKP来对比的话,能让ZKP生成速度快5~10倍。总体来说,
我们把原版halo2的
多项式承诺
方案
替换
成了更易于被验证的版本
,
并
做了很多
关于P
rover的优化
,在工程化落地上下了不少功夫。
6.
Nickqiao:
所以
Scroll现在是和
以太坊
PSE团队共同维护
KZG
版本的halo2。
您能否
给我
们
讲一下
,
你们是
怎样
和PSE团队合作的?
YeZhang:
Scroll在启动项目前,我们本来就认识一些PSE团队的工程师,我们就有和他们聊,说自己想做zkEVM,我们估计了一下这个效率是ok的。刚好在同一个时间节点,他们也想做同样的事,然后大家一拍即合。
所以,
我们
是从以太坊社区,从Ethereum Research
那边
认识了一起想做
zkEVM
的人,
大家
都想把
zkEVM产品化落地
,都有为以太坊服务的想法,所以
很
自然地开始了开源合作的模式。
这种合作方式更像开源社区,而不是商业化的公司,比如我们每周都会通一次电话,同步一下进度,讨论遇到了哪些问题。
我们以这种方式去开源地维护了这套代码,从改进halo2到实现zkEVM,这中间有很多探索的过程,我们相互会帮忙Review代码。你
从
Github的
代码贡献量能看出来,
PSE他们
写了一半,
Scroll这边
写了一半,
后续我们完成了代码的审计,并实现了一版真正产品化落地并在主网上运行着的代码。
总结下来,
我们
和以太坊PSE的
合作模式,更像是一个开源社区
的路径
,
是
自发的形式。
7.
Nickqiao:
您
刚才提到
,要编写zkEVM
的电路
,
对数学和密码学
的要求
非常
高,既然如此,能摸清楚zkEVM的人估计很少。那么Scroll怎么
保证电路编写的正确性
以及少出bug
?
YeZhang:
因为我们是开源的代码,基本上每一个PR都会有我们的人和以太坊的一些人,以及一些社区成员去Review,有比较严格的审计过程。同时
我们
在电路审计方面
也花了很多钱,
超过100万美元,找了
这个行业里最专业的
密码学和电路审计机构
,
比如
Trail of Bits
,Zellic
等
。我们
链上智能
合约
的部分
也找
了o
pen
z
epplin
来审计,
基本上所有
和
安全相关的东西
都动用了
最高档的审计
资源
。
我们内部还有专门的安全团队去做测试,持续提升Scroll的安全性。
Nickqiao: 除了这种审计方式,有没有形式化验证
等在
数学上
比较
严谨的方式?
YeZhang:
我们其实很早就看过就Formal Verification(形式化验证)这个方向,包括以太坊最近也在思考,怎么给zkEVM做形式化验证,这其实是一个很好的方向。但
就
目前来说,
要给zkEVM做完整的形式化验证
还比较早,只能从一些小的模块开始
摸索
,
因为Formal Verification运行是有成本的,比如你要给一套代码去运行Formal Verification,你要给它先写一个spec,但写spec并不容易,这套东西要完善需要很长时间。
所以我觉得目前还没有到给zkEVM做完整的形式化验证的阶段,但我们会持续的跟以太坊在内的外部合作者去积极探索怎么做zkEVM的形式化证明。
目前来说,最好的方式
其实
还是人工
审计
,
因为你就算有了spec,有了Formal Verification,如果spec写错了,那你还是会出问题。所以我觉得,目前最好还是先通过人工审计,然后通过开源和漏洞悬赏的方式,确保目前Scroll代码的稳定性。
但是,
在
下一代
zkEVM中
,
关于
怎么去做形式化验证,怎么去设计一个更好的
zkEVM进而
更容易的写出来spec,通过形式化验证的方式去证明它的安全性,是以太坊的终极目标。
就是说,当一个zkEVM被形式化验证以后,他们就可以彻底放心地将其实施到以太坊主网上。
8.
Nickqiao:
关于Scroll采用的
halo2
,
如果要支持
STARK等
新的证明系统,开发成本会不会很大。
能否
实现一种插件化的体系,同时
支持
多个证明系统
?
YeZhang:
halo2是一个非常模块化的ZK证明系统,你可以替换它的域、多项式承诺等,只要把它用的多项式承诺从KZG换成FRI,基本就可以实现一个halo2版本的STARK,这个事也确实有人做了,所以
halo2要支持
STARK,这种兼容是完全ok的。
然后在实际落地中会发现,如果你要追求极致效率的话,越模块化的框架越可能导致一些效率问题,因为你为了模块化牺牲了定制化的程度,会有付出一些代价。
我们
在
持续关注
一个问题,就是
未来
的发展方向
该
是模块化的框架,还是非常
定制化
的框架
,
尤其像我们有足够强的ZK开发团队,可以维护一个独立的证明体系,然后让zkEVM 变得更高效。当然上述问题需要做出一些权衡,但就halo2而言,它可以支持FRI。
9.
Nickqiao: 目前
Scroll
在
ZK方面
主要的迭代方向是什么
?
是优化目前的算法、增加一些新的feature之类的?
YeZhang:
我们的工程团队核心在做的事情,还是要把目前的
P
rover性能再提升一倍,然后
EVM
兼容性也要做到最好。
在下一版升级中,我们会继续保持自己在ZK Rollup里最EVM兼容的这样一个位置,
现在其他所有的
zkEVM
应该都没有我们的兼容性好。
所以这是Scroll工程团队一方面在做的,就是继续优化Prover和Compatibility,并且要降低费用。
我们现在已经
投入了
很多人力
,
去研究下一代
zkEVM
,
大概
投入了
一半的工程力量
,
以实现分钟级甚至秒级的ZK证明生成,让Prover的效率变得高起来。
同时
,我们在
探索
新的zkEVM
执行层
,
我们的节点之前用的是go-ethereum,但现在有性能更好的Rust版本以太坊客户端Reth。所以我们在研究,怎么把下一代zkEVM跟Reth客户端更好地结合,把整个链的性能给提升上来。我们会考察zkEVM如果围绕着新的执行层,该用什么样的实现方式和过渡形式最好。
10.
Nickqiao: 那么像
Scroll在考虑支持的多样化
证明系统,
有没有必要
在链上
实现多个Verifier合约呢
?
比如
做交叉验证
YeZhang:
我觉得这是两个问题,
首先
就是说,有没有必要去做
模块化
的证明系统
和
多样化的P
rover,
我觉得这么做是有意义的,因为我们从始至终,就是开源项目。你把开源出去的这套框架做的越通用化,会吸引来越多人帮你造轮子,你的社区也会因此壮大,后面在项目开发或者工具使用上,可以自然而然的引用外部力量。所以我觉得,
如果能做一个
不光给Scroll自己使用
,
还能
给
其他人
用的
ZK
证明框架
很
有意义。
然后第二个事情,就是在主网上做交叉验证这个事,这其实和证明系统本身是否是多样化的,是否支持STARK或PLONK是正交的话题。一般很少有项目把同样的zkEVM用PLONK验证一遍,再用STARK验证一遍,这是很少的,因为这么做对安全性的提升不大,反而会让Prover付出更高成本,所以一般不会出现这种交叉验证的情况。
我们其实在做一个东西叫
M
ulti
P
rover,可以有两
套P
rover一起证明
相同
的一个
B
lock
,
但是
会
在链下把两个
P
roof聚合到一起
再
放到链上去
验证
。
所以,并不会在链上做STARK和SNARK之间的交叉验证。我们的多Prover方案,是为了保证在其中一套Prover的代码出问题时,另一套代码可以兜底,一套系统出了bug另一套能照常运行,所以这和交叉验证是另一个话题。
11.
Nickqiao:
Scroll的Multi Prover,每个Prover
运行的
证明程序会有什么不同
?
YeZhang:
首先,假设我有一个正常的、用halo2写的一套zkEVM,有一个正常的Prover生成ZKP再去链上做验证,但这里有个问题,
zkEVM
很复杂
,
有可能出现bug。
如果出现bug,比如被黑客或者项目方拿去利用这个bug生成一个Proof,最后能把大家的钱提走,这肯定是不好的。
M
ulti
P
rover的核心思想
,其实
是Vitalik最初在Bogota活动上第一次提出
的
。意思是说,如果一个
zkEVM
可能出现bug,
那
你可以
同时跑
不同种类的
P
rover
,比如说可以用TEE的基于SGX的Prover(Scroll目前用了这套),或是基于OP,或用zkVM运行EVM的方式去跑一个Prover。Anyway,这些Prover要同时去证明一个L2 Block的有效性。
假设有3个不同类型的Prover,当且仅当它们生成的3个不同Proof都通过验证,或者说3个Proof中至少2个通过验证时,你才能在以太坊链上敲定Layer2的最终状态。Multi Prover可以保证在一个Prover出问题时,其他两个Prover 能够顶替,最后整个Prover系统的稳定性会很好,使ZK Rollup的安全性得到提升。当然这也会引入其他缺点,比如Prover的整体运行成本会提高,我们有一篇专门的Blog介绍了这些概念。
12.
Nickqiao: 那现在关于Scroll的
ZK
证明生成这块,
其
证明生成网络
(ZK矿池)
是怎么建设的,是自建的,还是会把一些计算外包给
如Cysic的
第三方?
YeZhang:
就我们目前来说,整个设计其实很容易,我们想让更多的GPU持有者或者矿工参与进我们的这个证明网络(ZK矿池)里,
但目前来说
,Scroll的Prover Market
还是我们自己运营的,我们会和第三方的一些有GPU集群的人合作,他们去运行
P
rover,但这是为了主网的稳定性,因为你的
P
rover一旦
去中心化
后
,
会有很多问题。
比如说,你的激励机制设计不好的话,如果没有人给你产生Proof,网络会在性能上受到影响。前期我们选择了相对中心化的方式,但是整个接口和框架的设计,非常容易切换到去中心化的模式。人们完全可以用我们的技术框架做一个去中心化的Prover网络,再加一些激励就行了。
但目前来说,为了Scroll的稳定性,我们的Prover生成网络还是中心化的,
未来我们会更大范围
的把Prover网络给去中心化
,每个人都可以去
运行自己的Prover节点
,包括我们也在跟
诸如Cysic
,Snarkify network等等
第三方平台
合作,
看一下如果有人想通过我们的技术栈去启动自己的Layer2,可以去接到第三方的Prover Market里去直接调用对方的Prover服务。
13.
Nickqiao: Scroll
在ZK
硬件加速
方面
有没有什么投入
或者产出
成果?
YeZhang:
这其实
就是我之前
提到
的,
Scroll
最初做的两
大方向
,第一个就是
把zkEVM
从不可能变成可能
,
第二个
就是我们
为什么能
把它
从不可能变成可能,是因为
ZK
硬件加速的效率提升
了
。
我其实在做Scroll 之前的3年,就开始做ZK硬件加速方面的工作,我们也有关于ASIC或是GPU硬件加速的论文。我们对zk硬件这块非常了解,无论从芯片还是从GPU,无论是从学术还是从实践上,都有非常强的Credibility。
但是
Scroll
自己
会专注于
GPU
方面的硬件加速
,
因为我们没有专门做FPGA或是做硬件的资源,也没有流片的专门经验。所以
我们会选择跟
Cysic这类
硬件公司合作,他们去专门做硬件这块,我们就
关注
GPU加速
这样
一个
偏软件的领域。
我们自己的团队会GPU硬件加速做优化,然后将成果开源,外部的合作伙伴可以去做专门的如ASIC等芯片,我们也会经常的讨论交流一下彼此遇到的问题。
14.
Nickqiao: 您刚才提到
,
Scroll未来会
切换
到其他
的
证明系统。那
像
一些新的证明系统,比如说Nova或其他的一些算法,
您
能不能给我们科普一下?他们有什么优点?
YeZhang:
对。我们目前正在内部探索的一种方向,是使用更小的域,能跟我们目前的这些证明系统结合,比如说像PLONKy3这样的一些库,它可以很快的实现小域上的一些运算。这是一个Option,怎么能从我们原来的大域切换到小域,这是一种。
我们内部
也
在看
一些
方向,
比如
一个叫GKR的证明系统
,
它
生成证明的耗时是
线性级别的,
在复杂度上面比其他的 Prover要低很多,但目前没有特别成熟的工程落地方式。这块要做的话,要投入更多的人力物力。
但GKR的好处是,在处理重复计算时效率很高,比如说一个签名计算了1000 次,GKR可以很高效的给这样的东西生成证明。
ZK桥
Polyhedra就是用
GKR
去证明签名
的
,效率很
高
。
然后,EVM有很多重复的计算步骤,可以通过GKR更好的把生成ZK证明的成本降低下来。
然后还有一些好处,就是说
GKR这套证明系统,
它需要的计算量确实要比其他
系统
小很多
。比如说,你通过像 PLONK或STARK这样的方式,去证明一个keccak哈希函数的计算流程,你需要把中间所有的变量、keccak整个计算过程中产生的所有东西,全部Commit一遍、全部算一遍。
但是GKR的话,你只需要Commit它很短的输入那一层,它可以把中间的这些参数全部通过传递关系给表示出来,不需要你去Commit中间的这些变量,会让计算成本降低很多。GKR背后的这个sum check协议,也被Jolt或者Lookup argument或比较火的一些新框架所采用,所以这个方向是比较有潜力的,我们也在认真研究这个方向。
最后就是你提到的Nova。
感觉
Nova在
几个月前大火了一阵,因为
N
ova也
比较适合处理
这种重复计算
,比如你本来要证明100个任务,对此的overhead是100。但Nova的做法是,我可以把这100待证明的任务一个叠一个,一个叠一个,每两个随机进行线性组合,最后组合出来一个最终要证明的东西,然后只要证明最终这个任务,就可以证明前面那100个任务都有效,这样的话可以把原本为100的证明overhead大幅压缩。
然后,后续的一些Hyper Nova之类的工作,可以把Nova扩展到除了R1CS以外的一些证明系统,一些其他的写电路的格式,可以支持lookup或是别的东西,这样才能让一个VM更好的被Nova这类ZK证明系统给证明。
但目前来说,
N
ova
和GKR的产品化完善
程度
不够
,目前市面上没有很好
的关于Nova的
高效的库。
并且因为Nova是这种折叠的方式,它的设计思路和其他的证明系统不太一样。我觉得它还很不成熟,只是一个比较有潜力的备选方案。但目前来看,从Production Ready的角度来说,还是最常见的那几套ZK证明系统更早被投入市场,但长期来看说不好说哪个最好。
15.
Faust:
最后想聊一下价值观的问题。记得您去年
说去了一趟非洲后,觉得区块链最有可能在非洲
这种经济落后的地方被大规模采用
,可以谈谈这方面的
想法
么?
YeZhang:
我其实一直有一个非常强的信念,
就是
区块链在
经济落后的
国家真的
有应用空间
。
其实你现在看到,区块链这个行业里各种Scam比较多,让很多人对行业的信心都动摇了,就是为什么要在一个没有实际价值的行业里工作,区块链这个东西到底有没有用。
除了炒币或者说赌博行为外,有没有一些更
实际的
应用场景?
我觉得去一些
经济落后的地方
,尤其像非洲,你
更能
感受
到区块链的潜力
。
因为在中国或西方国家生活的人,其货币体系、金融体系非常健全,比如中国人民用微信和支付宝就很开心,人民币也相对稳定,你没有必要通过区块链的方式去做支付。
但在像非洲这样的地方,他们是真的对区块链和链上稳定币有需求,因为他们的货币通胀真的非常严重,举个例子,
某些非洲国家的通胀率每半年就能达到20%,
这样的话每次你隔半年买菜,价格就要提升20%,如果是一年就可能提升更多。这样的话它们的货币是一直在严重贬值的,资产也在贬值,所以很多人都希望拿美元拿稳定币或是拿其他发达国家的稳定的货币。
但
非洲人很难去申请发达
国
家的
银行
账户
,稳定币对
于
他们来说是一
种
刚需,
就哪怕没有区块链,他们也想拿着美元这类东西。显然,对于非洲人来说,持有美元最好的方式就是拿稳定币,他们每次一发工资,就可以去币安把这个钱赶紧换成USDT、USDC,需要用钱的时候再把它取出来,这样的话会导致他们有对区块链的真实需求和实际应用。
其实你去了非洲后,会明显感到像币安很早就在非洲布局了,做的非常的扎实,在那里
很多
非洲
人真的
对稳定币有依赖
,就是大家宁可
信任
交易所
,
都不一定
信任
自己
本国
的货币体系,
因为很多非洲人在本地可能都申请不了贷款。假设你要借100块钱,银行会开出各种手续和条件,最后你可能搞不到贷款,但在交易所或者其他的一些链上平台,对此要灵活的多,所以我觉得在非洲,人们对区块链有更多更实际的应用和需求。
当然,我说的这些大多数人并不太了解,因为大多数用Twitter的人不关心这个,或者也不会在Twitter上看得到这些。像非洲这样比较落后的地区有很多,包括在币安的用户量比较多的一些国家,如土耳其、一些东南亚国家、阿根廷,你会发现这些地区的人用交易所的次数非常多。所以我觉得,在这些地方,币安的案例已经证明了人们对区块链有非常强的需求。
所以
我觉得这
些地区
的市场
和
社区是真的很有必要去做的,
包括我们也有专门在土耳其的团队,我们在土耳其有一个非常大的社区,然后我们要去慢慢的在前面提到的非洲、东南亚、阿根廷等国家去过渡。而且我觉得,在所有的 Layer2里面,Scroll最有可能成功的在上述国家扎根,因为
我们的
团队文化
就
相当
多元,
虽然三个创始人是华人,但我们整个team大概包含至少二三十个国家的人,虽然我们总共也就七八十人,每个地区基本上都有至少两三个人,所以整体文化很多元。相比之下,你可以想到的其他Layer2,基本都是西方人为主,像OP、Base和Arbitrum就是完全西方化的。
综上,
我们希望能在
非洲这种经济落后、对区块链有实际刚需的地方,
给这些地方的人做一套真的有
实际应
用
场景
的基础设施,有点像
“
农村包围城市
”的
感觉,去慢慢地把
Mass A
doption给做起来。
所以我觉得,我在非洲之行中的感触还是很深的,但目前来说,Scroll对于一些人而言使用成本还是有些贵,所以我还是挺希望能进一步地把成本降低,比如说十倍或者更多,然后通过一些其他的方式,把用户带到区块链里来。
其实还有一个前面没提到的、可能有些不恰当的例子,就是波场Tron。大家对它可能有一些不好的印象,但确实很多经济落后的国家的人都在用它,因为HTX之前的交易所策略和很多其他的营销策略,慢慢的让波场真的有自己的网络效应。我觉得,
如果以太坊生态里面能有一条链,能把这些用户带到以太坊生态里,
就是一个非常大的成就,而且也是在给这个行业做一些非常正面的事情,
我觉得这是
很
有意义的。
现在很多以太坊二层在卷TVL数据,卷来卷去,你是6亿美金,我们可能7亿美金,它是10亿美金,但我觉得相比于这些东西,更震撼的消息是,泰达突然说我在这个二层或者哪条链上又增发了10亿枚USDT,或者说发行了多少多少钱的稳定币。
一
条链如果
自然增长到了
这样
一个程度
,不需要
通过空投预期来捕获
用户需求
,那个时候才算是比较成功的状态,
至少
是我比较满意的一个状态
,
就是能让用户的真实需求大到一定程度,使得越来越多的人真的在日常使用你这条链。
最后我其实想插个题外话,
接下来Scroll生态会有很多活动,希望大家多关注一下我们
的后续进展
,
多参与一下我们的defi生态。
继续滑动看下一个
轻触阅读原文
极客 Web3
向上滑动看下一个
您可能也对以下帖子感兴趣
{{{title}}}
文章有问题?点此查看未经处理的缓存