对话Scroll张烨：硬核解读zkEVM与Scroll及其未来

采访者：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桥这些地方，但在Web3之外，比如传统行业里对ZK的应用还是很多的。您觉得未来ZK***有可能在哪些方向上被采用？

YeZhang：这是一个好问题，传统行业里做ZK的人，在五、六年前就在探索ZK的各种场景，区块链中用到ZK的场景其实非常小，这也是为什么Vitalik觉得十年后，ZK的场景会和blockchain一样大。

我觉得在那些需要信任假设的场景中，ZK会有很多用武之地。假设你现在需要处理一些繁重的计算任务，如果你在AWS上租服务器，运行自己的任务并得到结果，相当于你在自己控制的设备上做计算，然后你要支付租服务器的钱，但这笔钱往往并不便宜；

但如果我们搞计算外包的模式，很多人可以用自己闲置的设备或资源分担你的计算任务，你付出的成本可能比自己租服务器更便宜。但这里存在信任问题，你不知道别人返回给你的计算结果是否正确。现在假设说你在做一个很麻烦的计算，然后你把计算交给我来做，再给我钱。我过了半小时后随便交给你一个结果，你也没有办法相信这个结果是有效的，因为我可以随便编个结果。

但如果我能向你证明，交付的这个计算结果是对的，那你就可以放心了，并且也敢把更多计算任务外包给我来做。ZK可以把很多不可信的数据来源变为可信的，这个功能非常强，通过ZK，你可以把不可信但很便宜的第三方计算资源更高效的运用起来。

我觉得这个场景非常有意义，可以催生类似于外包计算的商业模式。在一些学术文献里，称其为可信计算（verifiable computation），就是把一个计算变得值得信任。除此之外，ZK可以应用到数据库领域，假设在本地运行数据库太贵了，你决定走外包的路子，恰好一个人有富余的数据库资源，然后你把数据存储在他那边。你会担心对方更改你托管在他那的数据，或者说你一个SQL query后得到的结果对不对？

对此，你可以让对方生成一个proof，如果这件事能做到，你可以把数据存储也外包出去，并得到一个trustworthy的结果。这和前面的可信计算彼此都是一大类应用场景。

此外还有很多应用实例，我记得有篇论文讲了Verifiable ASIC，在生产芯片的时候，可以把ZK算法写到你的芯片上，当你用芯片运行程序的时候，产生的结果默认会带一个Proof。这样一来我觉得很多东西都能代理给任何一台设备，生成可信的结果。

还有一个有点扯的东西，叫Photo Proof照片证明。比如说很多图片，你不知道是不是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证明很昂贵。

不过，这也是为什么对于Blockchain来说，非常适合用ZK，原因是区块链做的是冗余计算，有很多1对多的场景。区块链网络中不同节点做的是相同的计算任务，如果有1万个节点，那么相同的任务要被执行1万次。但如果你在链下完成任务，生成ZK证明，1万个节点只验证ZK证明而不重跑任务，就不必再把原始计算重放1万遍了，相当于你用自己1个人的计算成本，和1万台节点搞冗余计算的成本做了置换，从整体的角度看，可以让更多人节约资源。

所以，其实链越去中心化越适合搭配ZK，因为任何人都能近乎零成本的验证ZKP，我们只要在初始生成证明的时候付出一定成本，就可以换来对大多数人的解放，这就是为什么区块链的公开可验证性非常适合ZK，因为区块链里有很多1对多的场景。

还有一个上面没提到的点。现在区块链领域用到的Overhead比较大的这种ZK证明，都是非交互式的，就是你给我一个东西，我给你证明，然后就结束，因为在区块链中，你不可能反复的去跟链上交互。但有一种更高效、开销更低的证明生成方式，也就是交互式证明。比如说，你给我发一个Challenge，我给你发一个东西，你再给我发一个东西，我再给你发一个，通过这种双方多次交互的方式，有可能把ZK的计算量级再降低下来。如果这种方式可以，就有可能解决大的ZK应用场景的证明生成问题。

Nickqiao：如何看待zkML，也就是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证明系统，可能先通过一些Multi Prover做过渡，一步一步的摸索递进，来完成下一版的升级迭代。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的多项式承诺方案替换成了更易于被验证的版本，并做了很多关于Prover的优化，在工程化落地上下了不少功夫。

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等。我们链上智能合约的部分也找了openzepplin来审计，基本上所有和安全相关的东西都动用了******的审计资源。我们内部还有专门的安全团队去做测试，持续提升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：我们的工程团队核心在做的事情，还是要把目前的Prover性能再提升一倍，然后EVM兼容性也要做到***好。在下一版升级中，我们会继续保持自己在ZK Rollup里***EVM兼容的这样一个位置，现在其他所有的zkEVM应该都没有我们的兼容性好。

所以这是Scroll工程团队一方面在做的，就是继续优化Prover和Compatibility，并且要降低费用。我们现在已经投入了很多人力，去研究下一代zkEVM，大概投入了一半的工程力量，以实现分钟级甚***秒级的ZK证明生成，让Prover的效率变得高起来。

同时，我们在探索新的zkEVM执行层，我们的节点之前用的是go-ethereum，但现在有性能更好的Rust版本以太坊客户端Reth。所以我们在研究，怎么把下一代zkEVM跟Reth客户端更好地结合，把整个链的性能给提升上来。我们会考察zkEVM如果围绕着新的执行层，该用什么样的实现方式和过渡形式***好。

10.Nickqiao: 那么像Scroll在考虑支持的多样化证明系统，有没有必要在链上实现多个Verifier合约呢？比如做交叉验证

YeZhang：我觉得这是两个问题，首先就是说，有没有必要去做模块化的证明系统和多样化的Prover，我觉得这么做是有意义的，因为我们从始***终，就是开源项目。你把开源出去的这套框架做的越通用化，会吸引来越多人帮你造轮子，你的社区也会因此壮大，后面在项目开发或者工具使用上，可以自然而然的引用外部力量。所以我觉得，如果能做一个不光给Scroll自己使用，还能给其他人用的ZK证明框架很有意义。

然后第二个事情，就是在主网上做交叉验证这个事，这其实和证明系统本身是否是多样化的，是否支持STARK或PLONK是正交的话题。一般很少有项目把同样的zkEVM用PLONK验证一遍，再用STARK验证一遍，这是很少的，因为这么做对安全性的提升不大，反而会让Prover付出更高成本，所以一般不会出现这种交叉验证的情况。

我们其实在做一个东西叫Multi Prover，可以有两套Prover一起证明相同的一个Block，但是会在链下把两个Proof聚合到一起再放到链上去验证。所以，并不会在链上做STARK和SNARK之间的交叉验证。我们的多Prover方案，是为了保证在其中一套Prover的代码出问题时，另一套代码可以兜底，一套系统出了bug另一套能照常运行，所以这和交叉验证是另一个话题。

11.Nickqiao: Scroll的Multi Prover，每个Prover运行的证明程序会有什么不同？

YeZhang：首先，假设我有一个正常的、用halo2写的一套zkEVM，有一个正常的Prover生成ZKP再去链上做验证，但这里有个问题，zkEVM很复杂，有可能出现bug。如果出现bug，比如被黑客或者项目方拿去利用这个bug生成一个Proof，***后能把大家的钱提走，这肯定是不好的。

Multi Prover的核心思想，其实是Vitalik***初在Bogota活动上***次提出的。意思是说，如果一个zkEVM可能出现bug，那你可以同时跑不同种类的Prover，比如说可以用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集群的人合作，他们去运行Prover，但这是为了主网的稳定性，因为你的Prover一旦去中心化后，会有很多问题。

比如说，你的激励机制设计不好的话，如果没有人给你产生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在几个月前大火了一阵，因为Nova也比较适合处理这种重复计算，比如你本来要证明100个任务，对此的overhead是100。但Nova的做法是，我可以把这100待证明的任务一个叠一个，一个叠一个，每两个随机进行线性组合，***后组合出来一个***终要证明的东西，然后只要证明***终这个任务，就可以证明前面那100个任务都有效，这样的话可以把原本为100的证明overhead大幅压缩。

然后，后续的一些Hyper Nova之类的工作，可以把Nova扩展到除了R1CS以外的一些证明系统，一些其他的写电路的格式，可以支持lookup或是别的东西，这样才能让一个VM更好的被Nova这类ZK证明系统给证明。但目前来说，Nova和GKR的产品化完善程度不够，目前市面上没有很好的关于Nova的高效的库。

并且因为Nova是这种折叠的方式，它的设计思路和其他的证明系统不太一样。我觉得它还很不成熟，只是一个比较有潜力的备选方案。但目前来看，从Production Ready的角度来说，还是***常见的那几套ZK证明系统更早被投入市场，但长期来看说不好说哪个***好。

15.Faust: ***后想聊一下价值观的问题。记得您去年说去了一趟非洲后，觉得区块链***有可能在非洲这种经济落后的地方被大规模采用，可以谈谈这方面的想法么？

YeZhang：我其实一直有一个非常强的信念，就是区块链在经济落后的***真的有应用空间。其实你现在看到，区块链这个行业里各种Scam比较多，让很多人对行业的信心都动摇了，就是为什么要在一个没有实际价值的行业里工作，区块链这个东西到底有没有用。除了炒币或者说赌博行为外，有没有一些更实际的应用场景？

我觉得去一些经济落后的地方，尤其像非洲，你更能感受到区块链的潜力。因为在中国或西方***生活的人，其货币体系、金融体系非常健全，比如中国人民用微信和支付宝就很开心，***也相对稳定，你没有必要通过区块链的方式去做支付。

但在像非洲这样的地方，他们是真的对区块链和链上稳定币有需求，因为他们的货币通胀真的非常严重，举个例子，某些非洲***的通胀率每半年就能达到20%，这样的话每次你隔半年买菜，价格就要提升20%，如果是一年就可能提升更多。这样的话它们的货币是一直在严重贬值的，资产也在贬值，所以很多人都希望拿美元拿稳定币或是拿其他发达***的稳定的货币。

但非洲人很难去申请发达***的银行账户，稳定币对于他们来说是一种刚需，就哪怕没有区块链，他们也想拿着美元这类东西。显然，对于非洲人来说，持有美元***好的方式就是拿稳定币，他们每次一发工资，就可以去币安把这个钱赶紧换成USDT、USDC，需要用钱的时候再把它取出来，这样的话会导致他们有对区块链的真实需求和实际应用。

其实你去了非洲后，会明显感到像币安很早就在非洲布局了，做的非常的扎实，在那里很多非洲人真的对稳定币有依赖，就是大家宁可信任交易所，都不一定信任自己本国的货币体系，因为很多非洲人在本地可能都申请不了贷款。假设你要借100块钱，银行会开出各种手续和条件，***后你可能搞不到贷款，但在交易所或者其他的一些链上平台，对此要灵活的多，所以我觉得在非洲，人们对区块链有更多更实际的应用和需求。

(WEEX交易所官网：www.weex.com)

当然，我说的这些大多数人并不太了解，因为大多数用Twitter的人不关心这个，或者也不会在Twitter上看得到这些。像非洲这样比较落后的地区有很多，包括在币安的用户量比较多的一些***，如土耳其、一些东南亚***、阿根廷，你会发现这些地区的人用交易所的次数非常多。所以我觉得，在这些地方，币安的案例已经证明了人们对区块链有非常强的需求。

所以我觉得这些地区的市场和社区是真的很有必要去做的，包括我们也有专门在土耳其的团队，我们在土耳其有一个非常大的社区，然后我们要去慢慢的在前面提到的非洲、东南亚、阿根廷等***去过渡。而且我觉得，在所有的 Layer2里面，Scroll***有可能成功的在上述***扎根，因为我们的团队文化就相当多元，虽然三个创始人是华人，但我们整个team大概包含***少二三十个***的人，虽然我们总共也就七八十人，每个地区基本上都有***少两三个人，所以整体文化很多元。相比之下，你可以想到的其他Layer2，基本都是西方人为主，像OP、Base和Arbitrum就是完全西方化的。

综上，我们希望能在非洲这种经济落后、对区块链有实际刚需的地方，给这些地方的人做一套真的有实际应用场景的基础设施，有点像“农村包围城市”的感觉，去慢慢地把Mass Adoption给做起来。所以我觉得，我在非洲之行中的感触还是很深的，但目前来说，Scroll对于一些人而言使用成本还是有些贵，所以我还是挺希望能进一步地把成本降低，比如说十倍或者更多，然后通过一些其他的方式，把用户带到区块链里来。

其实还有一个前面没提到的、可能有些不恰当的例子，就是波场Tron。大家对它可能有一些不好的印象，但确实很多经济落后的***的人都在用它，因为HTX之前的交易所策略和很多其他的营销策略，慢慢的让波场真的有自己的网络效应。我觉得，如果以太坊生态里面能有一条链，能把这些用户带到以太坊生态里，就是一个非常大的成就，而且也是在给这个行业做一些非常正面的事情，我觉得这是很有意义的。

现在很多以太坊二层在卷TVL数据，卷来卷去，你是6亿美金，我们可能7亿美金，它是10亿美金，但我觉得相比于这些东西，更震撼的消息是，泰达突然说我在这个二层或者哪条链上又增发了10亿枚USDT，或者说发行了多少多少钱的稳定币。一条链如果自然增长到了这样一个程度，不需要通过空投预期来捕获用户需求，那个时候才算是比较成功的状态，***少是我比较满意的一个状态，就是能让用户的真实需求大到一定程度，使得越来越多的人真的在日常使用你这条链。

***后我其实想插个题外话，接下来Scroll生态会有很多活动，希望大家多关注一下我们的后续进展，多参与一下我们的defi生态。