Scroll 联创 Haichen Shen:构建 zkEVM 和 zk Rollup 的挑战_SCR:CROOGE

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

Scroll介绍

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

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

两笔共9亿枚XRP从Ripple Escrow钱包转移至未知钱包,价值约5.9亿美元:据Whale Alert数据,北京时间7月1日21:54:12,4亿枚XRP(约2.6亿美元)从rNASJ开头的Ripple Escrow钱包转移到rGKHD开头的未知钱包,交易哈希为F7A90B0A1AF078A21DFE4A9B8A3906592C43D38F8F5CB3D1220FD2E84B2BB37B。随后在21:55:00,5亿枚XRP(约3.3亿美元)从rU9qm开头的Ripple Escrow钱包转移到rHGfm开头的未知钱包,交易哈希为D076ED242F98C88039CC6F9440CBF14A82804EE81FA1DAEEBD5AC252EDB7AF7C。[2021/7/2 0:21:17]

声音 | 江卓尔:对于普通开发者而言CashScript文档提高了开发效率且降低了开发难度:莱比特矿池江卓尔在微博上发文称,CashScript文档的推出对于普通的开发者而言,不仅提高了开发效率,而且降低了开发难度,开发者可以根据文档中的内容和参考案例进行智能合约的搭建。与此同时,BCH智能合约的参与门槛也会有所降低,从而吸引更多的开发者加入到BCH智能合约的创建中来,这将为BCH网络出现杀手级应用奠定基础。[2019/7/2]

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

测试网最新进展

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

声音 | 慢雾:Ghostscript存在多个漏洞:据慢雾区消息,Google Project Zero发布Ghostscript多个漏洞预警,远端攻击者可利用漏洞在目标系统执行任意代码及绕过安全限制。Ghostscript 9.26及更早版本都受影响。软件供应商已提供补丁程序。[2019/1/24]

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

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

声音 | 研究人员:黑客修改StatCounter分析平台使用的avaScript并嵌入Gate.io页面:据theregister消息,ESET的研究人员发现,StatCounter分析平台使用的JavaScript已经被攻击者修改,其目的是将其嵌入到加密货币交易所Gate.io的页面中。据悉,该脚本试图将比特币交易重定向到攻击者控制的几个钱包地址之一。研究人员称,由于攻击者使用多个帐户来接收被盗资金,所以并不能确切知道被盗的数量。然而,他们认为损失可能很大。ESET表示已通知两家公司此次袭击事件,但目前尚未收到Gate.io回复评论请求,也无法联系到StatCounter。[2018/11/7]

纽交所财务副总裁Eric Scro加入Coinbase:据了解,纽交所(NYSE)财务副总裁Eric Scro将加入Coinbase,担任的职位为财务副总裁。[2018/3/9]

对于社区关心的距离主网上线的进度,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

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

金宝趣谈

[0:15ms0-3:844ms