ROLL: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一直以来的原则，一是以社区驱动的方式同社区开放构建，二是确保安全性和稳定的版本发布，三是强调证明者和排序器去中心化的重要性

Worldcoin生态钱包World App支持ENS域名进行点对点支付:5月26日消息，Worldcoin 生态钱包World App宣布点对点支付支持通过 ENS 域名转账，以实现更友好的转账体验。[2023/5/26 9:44:29]

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

测试网最新进展

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

比特币全网交易数量为576989笔:金色财经报道，BTC.com数据显示，目前比特币全网交易数量为576989笔，全网算力为364.47EH/s，24小时交易速率为2.64交易/秒，目前全网难度为49.55T，预测下次难度上调2.84%至50.96T，距离调整还剩5天14小时。[2023/5/26 9:44:18]

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

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

比特币非零地址数达到历史新高:金色财经报道，据Glassnode最新数据显示，比特币非零地址数量已达到43,588,779个，创下历史新高。[2022/11/17 13:15:59]

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

构建zkEVM和zkRollup的挑战

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

ForceDAO已将再分配后的剩余资金转给Gitcoin团队用于公共产品支持:9月12日消息，收益聚合器ForceDAO发推表示，已在昨日将金库资金再分配后的剩余资金转给了Gitcoin团队，2.72万枚GTC和69万枚DAI将用于公共产品支持。这标志着项目的结束。2021年4月，ForceDAO合约漏洞被利用，导致代币被大量增发，随后推出新代币FORCE并公布空投补救措施。

2022年3月份，ForceDAO表示，ForceDAO在漏洞被利用后未能恢复，已经失败了，所以将正式结束ForceDAO的运营，建议用户提取所有剩余资金，同时ForceDAO金库计划将2021年夏季Gitcoin代币空投的GTC重新分发给受影响的用户和支持者，符合条件索赔人名单及其相应的金额将在未来几天内提供。[2022/9/12 13:23:43]

元宇宙身份平台Ready Player Me完成5600万美元B轮融资，a16z领投:8月23日消息，元宇宙身份平台 Ready Player Me 完成 5600 万美元融资，此轮融资由 a16z 领投，Roblox 的联合创始人 David Baszucki、Twitch 联合创始人 Justin Kan、King Games 联合创始人 Sebastian Knutsson 和 Riccardo Zacconi、体育和娱乐公司 Endeavour、Kevin Hart 和 Hartbeat Ventures 等参投。（TechCrunch）[2022/8/23 12:43:32]

编写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。