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

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

Scroll介绍

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

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

研究员：Scroll即将上线主网:7月12日消息，研究员pseudo发推称，Scroll即将上线主网，一切都应开箱即用，你只需要更改你的RPC。[2023/7/12 10:50:42]

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

测试网最新进展

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

某开发者推出类似于比特币铭文的以太坊铭文协议Ethscriptions:6月19日消息，Genius.com联合创始人兼前首席执行官Tom Lehman于上周六推出了名为Ethscriptions的协议，该协议类似于比特币铭文，可将金融和任意数据写入以太坊区块链主链，用户可以刻录任何类型的文件，只要文件大小不超过96KB。然而，根据其创建者的说法，它目前只允许使用图像，但未来会有所改变。

根据Lehman的说法，这些铭文利用了以太坊calldata，指的是在对智能合约的调用中提供的数据；该协议比使用合约存储更便宜，更去中心化，并可保证所有有效内容的全球唯一性。Lehman表示，在不到18小时的时间内已有近3万个Ethscriptions被创建。[2023/6/19 21:46:34]

以太坊扩容项目Scroll完成5000万美元融资:金色财经报道，以太坊扩容项目Scroll宣布在新一轮融资中筹集了 5000 万美元。本轮融资的投资者包括Polychain Capital、红杉中国、贝恩资本 Crypto、摩尔资本管理公司、OKX Ventures、Variant Fund、Newman Capital、IOSG Ventures 和启明创投。

据知情人士表示，该轮融资使 Scroll 的估值达到 18 亿美元。

Scroll 此前在两轮融资中筹集了3300 万美元，当时并未披露其估值。新一轮融资使 Scroll 迄今的总融资额达到 8300 万美元。[2023/3/7 12:45:36]

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

Scroll在Goerli测试网推出以太坊L2网络zk-EVM的测试网版本:金色财经报道，Scroll在Goerli测试网上发布了其以太坊L2网络的测试网版本，这是将zk-EVM从pre-alpha转移到alpha的测试阶段。到目前为止，Scroll可以在基于该项目的以太坊克隆的测试网上进行试用。测试网的代码将是开源的，这意味着该网络可以开始建立弹性。此外，Goerli测试网和Scroll之间已经建立了一个桥梁来转移资产。

据悉，Zk-EVM是建立在以太坊上的第2层网络，它使用零知识证明来实现可扩展性。[2023/2/28 12:32:53]

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

SCRY即将发行独立底层ScryChain支持的自研发Dapp产品细节:SCRY团队发布4月研发月报，公布众多即将发行独立底层ScryChain支持的自研发Dapp产品细节。同时在月报中为其即将在6月上线的DAPP进行了产品角色原型征集活动，根据社区成员贡献进行投票选举，前三名将获得专属角色上链发行设计。[2018/5/2]

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

构建zkEVM和zkRollup的挑战

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

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

构建zk-Rollup

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

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

对于想要体验ScrollAlpha测试网，需要寻求帮助的用户，以及想要加入Scroll的小伙伴，可以分别扫描下方的Testnet,Discord,Hiring二维码。

Testnet:https://scroll.io/alpha

Discord:https://discord.com/invite/scroll

Hiring:https://scroll.io/join-us

标签：HOPEHOPEFIDEFIFight 4 HopeChipShop FinancePhoenixDefiSwapRamp DeFi

火币APP下载热门资讯