Scroll联创Haichen Shen:构建zkEVM和zk Rollup的挑战
在ETHDenver的Devtopia舞台上,Scroll的联合创始人Haichen Shen发表了主题为 Scroll 构建 zkEVM 和 zk Rollup 的挑战的演讲,并同步了最新 Alpha 测试网的情况。
![Scroll中文社区](/wp-content/themes/zhtcw/assets/images/logo-icon.png)
原文作者:Scroll中文社区
原文来源:Scroller
在ETHDenver的Devtopia舞台上,Scroll的联合创始人Haichen Shen发表了主题为 Scroll 构建 zkEVM 和 zk Rollup 的挑战的演讲,并同步了最新 Alpha 测试网的情况。
Scroll介绍
Scroll是一个 EVM 等效的 zk-Rollup 以太坊扩容方案
在演讲最开始,Haichen 强调了 Scroll 一直以来的原则,一是以社区驱动的方式同社区开放构建,二是确保安全性和稳定的版本发布,三是强调证明者和排序器去中心化的重要性
以下是 zkEVM 开发的社区贡献者,其中大多数来自于Scroll团队和PSE团队,还有一些其他的社区成员。
测试网最新进展
2月27日,Scroll 在 Goerli 上线了 Alpha 测试网。Alpha 测试网目前已经是 EVM 等效的,证明已经可以在 Goerli 测试网上得到验证。
而 Alpha 测试网的发布,意味着 Scroll 已经达到了路线图的第三阶段。
下一步就是第四阶段:zkEVM的主网上线。
对于社区关心的距离主网上线的进度,Haichen 公布了目前仍需要完成的任务,首先是要构建完整的zkEVM 电路,目前还缺少一些不常见的错误约束,也还需要添加一些预编译合约。随后会进行zkEVM电路和跨链桥合约的审计,然后进行最后的优化。
构建zkEVM和zkRollup的挑战
演讲的后半部分,Haichen 分享了 Scroll 在构建 zkEVM 和 zkRollup 过程中遇到的挑战。主要从三个方面来说,第一是编写zk电路,第二是编写zkEVM,第三是构建zk-Rollup。
关于【Scroll联创Haichen Shen:构建zkEVM和zk Rollup的挑战】的延伸阅读
ETHDenver值得去吗?一些小想法和总结
ETHDenver是美国最大的以太坊会议,为期数天,吸引了来自世界各地的开发者和黑客。参与者可以通过黑客松、构建项目和与行业领导者交流,深入了解加密货币行业。会议提供了各种职位和部门的机会,同时还有免费食物和饮料。参与者可以建立人脉、找到工作或实习机会,并与投资者建立联系。对于创始人来说,这也是一个寻找合作伙伴和投资者的好机会。总的来说,ETHDenver是一个必须参加的会议,可以让参与者花很少的钱了解行业动态,并有可能获得意想不到的收获。
从 DePIN 到比特币生态,ETHDenver 2024 透露出了哪些财富密码?
ETHDenver大会吸引了数万名Web3爱好者和开发者,讨论了流动性再质押、比特币Layer 2、积分、Crypto+AI等热门话题。与会者充满信心,对未来发展充满期待。side event备受关注,成为交流思想、分享见解的新场所。BTC生态异军突起,模块化相关会议人气爆棚,DePIN赛道成为投资者关注的重点。社区、用户和文化的重要性愈发凸显,健康的社区是项目成功的基石。比特币生态、Crypto+AI赛道和偏消费者应用赛道是投资人关注的重点。期待以太坊生态有更多创新,也希望更多开发者关注非EVM生态。
编写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 正在进行开放研究,欢迎有想法的开发者加入研究探讨。对于想要体验 Scroll Alpha测试网,需要寻求帮助的用户,以及想要加入 Scroll 的小伙伴,可以分别扫描下方的 Testnet, Discord, Hiring 二维码。
Testnet: https://scroll.io/alpha
Discord: https://discord.com/invite/scroll
Hiring: https://scroll.io/join-us
免责声明:本文仅代表作者个人观点,不代表链观CHAINLOOK立场,不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险,以及遵守所在国家和地区的相关法律法规。
图文来源:Scroll中文社区,如有侵权请联系删除。转载或引用请注明文章出处!