Scroll 联创 Haichen Shen:构建 zkEVM 和 zk Rollup 的挑战_PHA:CrossFi

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

Scroll介绍

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

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

Web3内容平台Mirror推出NFT订阅铸造“Subscribe to Mint”功能:3月9日消息,Mirror官方宣布,该Web3内容平台已推出订阅铸造“Subscribe to Mint”功能,目前已在以太坊、Optimism和Polygon链上部署,旨在支持创作者和藏家之间的互动,新功能将有两个潜在用例:

1、创世Drop,Web3项目可以发布内容并与包含项目徽标或符号的收藏NFT配对,然后使用“Subscribe to Mint”通过内容更新和后续NFT投放与项目受众互动。

2、推出可收藏NFT系列,持有者可以完成铸造NFT并鼓励新用户注册成为订阅者以参与未来NFT投放。

据悉,“Subscribe to Mint”功能对创作者是完全免费的,创作者将获得所售NFT的100%收益。[2023/3/9 12:50:42]

Secret Network于SushiSwap推出WSCRT/WETH LP奖励计划:3月12日消息,隐私公链Secret Network官方宣布,已在SushiSwap上推出WSCRT/WETH LP温泉奖励计划。注:WSCRT为Secret原生代币SCRT的合成ERC20版本Wrapped Secret(wSCRT)。[2021/3/12 18:39:01]

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

测试网最新进展

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

以太坊JavaScript团队发布EthereumJS虚拟机v5版本:11月26日,以太坊官方博客发文宣布,JavaScript团队已正式发布EthereumJS VM v5版本。[2020/11/27 22:19:12]

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

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

动态 | 数据分析网站Coin Dance添加Cashscript:据bitcoin.com报道,数据分析网站Coin Dance宣布已将Cashscript添加到该网站的跟踪列表中。据悉,Cashscript是一种高级语言,可在比特币现金(BCH)网络上实现基本的智能合约功能。[2019/5/30]

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

金色财经现场报道 SCRY创始人兼CEO符安文:区块链讲概念都是扯淡的:金色财经现场报道,在2018区块链技术及应用峰会上,SCRY创始人兼CEO符安文表示,区块链讲概念都是扯淡的,要看能不能落在实际应用上。做区块链的,要扩大整个业务的发展,去帮助实际的产业做交易,让技术更快地应用于各个产业和行业,中间要解决的一个核心问题是怎么把业务层的数据变成智能合约。此外,纯互联网的系统不能解决数据并发的问题,链的下面一定要有分布式的数据库和容器做扩容,如果一个协议层只是一条链,这是比较扯的,因为实际应用根本做不起来。泡沫是针对加密货币的认知,而不是做业务的公司,开发人员应该学区块链应该怎么应用于市场,怎么做业务层,而不要去纠结于你要发一个代币,发币这个事实习生两个小时就能写了。[2018/3/30]

构建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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:15ms0-6:194ms