在ETHDenver的Devtopia舞台上，Scroll的联合创始人HaichenShen发表了主题为Scroll构建zkEVM和zkRollup的挑战的演讲，并同步了最新Alpha测试网的情况。
Scroll介绍
Scroll是一个EVM等效的zk-Rollup以太坊扩容方案
在演讲最开始，Haichen强调了Scroll一直以来的原则，一是以社区驱动的方式同社区开放构建，二是确保安全性和稳定的版本发布，三是强调证明者和排序器去中心化的重要性
Scroll在Sepolia推出Beta测试网:8月18日消息，Layer2解决方案Scroll宣布在Sepolia测试网面向开发人员和用户推出Scroll Beta测试网。新功能或改进包括zkEVM升级、桥升级和基础设施升级。
其中，zkEVM升级方面，通过预编译升级改进了 EVM 兼容性，通过证明压缩和聚合进行高效的链上验证以及增强电路完整性；桥升级方面，Gas 成本可降低最高50%，并在L1和L2之间引入了无需信任消息中继功能，消除了对可信中继者的依赖；基础设施升级方面，引入用于无信任消息传递的EIP-2718事务类型 L1MessageTx，摆脱了受信任的集中式中继器，此外，简化的电路容量检查器可防止证明溢出，还增强了协调器功能。[2023/8/18 18:07:41]
BitsCrunch激励测试网已启动，主网预计于2023年9月推出:金色财经报道，由人工智能驱动的去中心化NFT数据网络bitsCrunch Network激励测试网已上线并向公众开放。主网预计于2023年9月推出。BitsCrunch已为其测试网计划的第一轮指定了4,600,000BCUT代币（相当于代币供应总量的0.46%）。已专门为任务3分配了1,500,000个代币。[2023/8/4 16:19:04]
以下是zkEVM开发的社区贡献者，其中大多数来自于Scroll团队和PSE团队，还有一些其他的社区成员。
测试网最新进展
2月27日，Scroll在Goerli上线了Alpha测试网。Alpha测试网目前已经是EVM等效的，证明已经可以在Goerli测试网上得到验证。
AI加密搜索引擎Kaito完成550万美元A轮融资，Superscrypt与Spartan领投:6月22日消息，AI加密搜索引擎Kaito以8750万美元估值完成550万美元A轮融资，Superscrypt与Spartan共同领投。据悉，Kaito正在创建基于大语言模型的Web3搜索引擎，并已于6月20日起逐步向35,000名等待名单用户开放测试版。[2023/6/22 21:54:58]
而Alpha测试网的发布，意味着Scroll已经达到了路线图的第三阶段。
动态 | 供应链攻击再起 黑客入侵JavaScript库窃取钱包比特币:供应链攻击是一种高级且非常隐蔽的攻击模式，通常通过在软件的依赖库中嵌入恶意代码实现，近日降维安全实验室（johnwick.io）观察到有黑客获取了热门JavaScript库Event-Stream的控制权，并注入了恶意代码来窃取Copay钱包内的比特币等数字货币。该恶意代码默认休眠状态，当BitPay的Copay钱包启动后，就会自动激活。它将会窃取用户钱包内的私钥并发送至copayapi.host:8080。该恶意代码9月至11月期间感染了所有版本的Copay钱包。降维安全建议使用Copay钱包的用户升级到最新版Copay v5.2.2, 使用Event-Stream库的开发者请更新到v4.0.1。[2018/11/27]
下一步就是第四阶段：zkEVM的主网上线。
SCRY加拿大，法国，美国，中国开发组完成独立底层双链测试:2018年3月1日，SCRY DDD项目方最新项目进度报告，SCRY加拿大，法国，美国，中国开发组完成独立底层双链测试，每一秒1800TPS,并拥有自己独立的系统钱包。完全支持已发行白皮书的SCRY协议层上业务系统搭建。[2018/3/1]
对于社区关心的距离主网上线的进度，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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。