ROL:Scroll 联创 Haichen Shen：构建 zkEVM 和 zk Rollup 的挑战

作者：

时间：1900/1/1 0:00:00

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

Scroll介绍

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

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

Compound在以太坊上的未偿债务逾10亿美元，创一年来新高:金色财经报道，Compound在以太坊上的未偿债务总额超过10亿美元，为一年来的最高水平，其中USDC的占比排名第一，约6.3亿美元。[2023/7/18 11:01:02]

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

测试网最新进展

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

Gemini：仍与摩根大通保持银行关系:金色财经报道，针对外媒报道的“摩根大通终止与 Gemini 的银行业务关系”，Gemini 在官方推特上回应，Gemini 仍与摩根大通保持银行关系。[2023/3/9 12:51:11]

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

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

BCB Group计划第二季度增加美元支付功能:金色财经报道，BCB Group首席执行官Oliver von Landsberg-Sadie表示，该公司正在加快增加美元功能的计划，以帮助填补最近关闭的Silvergate Exchange Network（SEN）留下的漏洞。他希望在第二季度初建立美元法币到加密货币的轨道，并准备投入使用。

总部位于伦敦的BCB是第一家从英国监管机构金融行为监管局（FCA）获得支付许可的加密货币公司，为欧洲的货币包括英镑、欧元、瑞士法郎和日元提供法定货币到加密货币的轨道，特别是向Bitstamp、Galaxy Digital、Gemini和Kraken等机构。[2023/3/6 12:45:26]

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

CZ：将与全球主要加密公司成立全球行业协会，该组织将与监管机构沟通:金色财经报道，在11月14日举行的Twitter Space上，CZ表示将与全球加密行业的主要公司共同成立全球行业协会。该协会会与监管机构保持沟通，并在行业内维持最佳实践标准，如储备金证明、透明度等。协会中的负责人也会探讨不同政策的利弊。[2022/11/14 13:03:57]

构建zkEVM和zkRollup的挑战

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

PeckShield：Grim Finance攻击者再次将1200枚ETH转至Tornado Cash:8月22日消息，PeckShield监测显示，Grim Finance攻击者利用中间地址将约1200枚ETH（约194万美元）转移到Tornado Cash。

此前消息，2021年12月，Grim Finance 通过重入攻击被利用，该攻击窃取了价值约3000万美元的加密资产。8月19日消息，Grim Finance攻击者通过中间地址向Tornado Cash转入1800枚ETH。[2022/8/22 12:40:31]

编写zk电路

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

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

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

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