近日,Scroll的联合创始人张烨受邀参加了斯坦佛的区块链研讨会,分享了Scroll的架构设计和挑战。在演讲的前半部分,介绍了Scroll的整体架构,并重点介绍其一些特殊的设计选择。
在后半部分,描述如何了从头开始构建zkEVM,并使用具体示例来演示该过程。最后,简要讨论了Scroll在密码学和协议设计领域面临的各种研究挑战。
背景和初衷
Scroll是以太坊的Layer2扩容解决方案。为了最大限度地兼容以太坊,Scroll正在构建一个字节码层面兼容的“zkEVM”,它可以证明EVM计算的有效性。Scroll设计的初衷就是为了开发者友好和最大化的可组合性。而构建zkEVM的挑战在于构建难度和生成零知识证明的成本极高。幸好近些年的一些技术突破使其慢慢变得可行,例如多项式承诺可以证明任意阶数,查找表可以实现存储读取约束,硬件加速可以加速证明生成,递归证明可以将证明进一步压缩,降低费用成本。
具体细节亦可参考Scroll博客系列#1:以太坊原生zkEVMRollup介绍
美国SEC起诉币安和其CEO赵长鹏违反美国证券交易规则:金色财经报道,美国证交会起诉币安和其CEO赵长鹏违反美国证券交易规则。[2023/6/5 21:17:14]
Scroll架构
Scroll节点是应用和用户与Scroll交互的主要途径。它由三个模块组成,排序器(Sequencer)、协调器(Coordinator)和中继器(Relayer)。
排序器提供JSON-RPC接口并接收L2交易。每隔几秒钟,它就会从L2的内存池中取回一批交易并执行它们,以生成新的L2块和新的状态根。Scroll的排序器实现基于Go-Ethereum(Geth),是最主流的以太坊节点实现之一。通过分叉Geth,我们可以实现最佳的兼容性并继承已经经过时间考验的安全性。
一旦生成了一个新的块,协调器就会收到通知,并从排序器接收这个块的执行踪迹。然后它将执行踪迹分派给从Roller池中随机选择的Roller以生成证明。
中继器监视同时部署在以太坊和Scroll上的Rollup和Bridge合约。它有两个主要职责。首先,它监控Rollup合约以跟踪L2块的状态,包括它们的数据可用性和有效性证明。其次,它监视同时部署在以太坊和Scroll上的Bridge合约的存款和取款事件,并将消息从一层中继到另一层。
每个L2区块将经过如下三个阶段,直到最终确认。
Pre-committed表示一个区块已经被一个排序器提议并发送给Rollers。虽然Precommitted区块还不是ScrollL2上的正式部分,因为它们还没有发布在以太坊基础层上,不过信任排序器的用户可以按预期进行下一步操作。目前预估Pre-commited阶段只需1-2秒。Committed表示该区块的交易数据已经发布在以太坊的Rollup合约上。这确保了区块数据可用,但不能证明它是正确执行的。目前预估Committed阶段需要数分钟。Finalized表示通过验证以太坊链上的有效性证明,已经验证此区块中的交易正确性。经过最终确认的区块被认为是ScrollL2链上的正式部分。目前预估Finalized阶段需要10分钟以上Pre-Alpha测试网阶段由于证明者的算力不足,因此整体流程的时间要大于所预估的时间。
具体细节亦可参考Scroll博客系列#6:Scroll的架构概览
Shiba Inu首席开发者:ShibaSwap是Shibarium生态唯一官方DEX:3月5日消息,Shiba Inu首席开发者Shytoshi Kusama新的推特个人简介更新中透露,ShibaSwap是Shibarium生态系统唯一的官方去中心化交易所(DEX)。
根据该项目的白皮书,ShibaSwap旨在为交易员提供一个安全的去中心化交易环境。ShibaSwap还允许SHIB、Bone(BONE)和Doge Killer(LEASH)的持有者质押他们的代币或向ShibaSwap提供流动性以获得奖励。
上周,Shiba Inu生态系统推出了加入Shibarium门户网站,任何对Shibarium感兴趣的人都可以申请和联系。目前该门户网站已经收到了数千份回复。(The Daily Hodl)[2023/3/5 12:43:28]
安全公司:上周pNetwork增发GALA事件根本原因系私钥明文在GitHub泄露:11月7日消息,11月4日,一个BNB Chain上地址凭空铸造了超10亿美元的 pGALA 代币,并通过PancakeSwap售出获利,导致此前GALA短时下跌超20%。慢雾分析称,pGALA事件的根本原因在于pGALA代理合约的Admin角色的owner私钥在Github泄漏,且其owner地址已在70天前被恶意替换,导致pGALA合约处于随时可被攻击的风险中。[2022/11/7 12:28:27]
zkEVM的本质
zkEVM的本质是对EVM虚拟机计算生成的执行踪迹生成证明。Scroll的zkEVM中设计中,第一层包括直接证明EVM的逻辑,包括EVM电路,RAM电路,Storage电路及其他电路,例如验证ECDSA签名的Signature电路;第二层进行证明第一层证明的聚合证明。出于动态的执行踪迹的考虑,证明系统的前端部分Scroll采用了目前最新的Plonkish协议,对比标准的Plonk用Permutation关联前后的约束,Plonkish使用了更低阶的Customgate,可以灵活得设定每一步的约束。
在硬件加速方面,Scroll拥有独有的PipeZK加速方案。对于第一层的EVM电路,加速后的GPU可以提升9倍速度,在30秒内完成证明。对于第二层的聚合电路,加速后的GPU可以提升15倍速度,在约2分半内完成证明。由于Pre-Alpha测试网目前只有10个左右的证明者,实际速度可能会略慢于实验数据。
具体细节亦可参考ScrollDevcon6系列#1:zk-Rollups的证明系统选择
韩国现代百货将推出NFT电子钱包“H.NFT”:5月31日消息,韩国现代百货宣布将推出NFT电子钱包“H.NFT”。H.NFT是现代百货发行的可以存储和管理NFT的电子钱包,安装在现代百货集团的综合会员服务H.Point App中。
该公司计划使用H.NFT以纪念品的形式向客户发行NFT,最早将于下个月发行具有产品折扣、免费赠品和客户休息室使用权等福利的NFT。
此前消息,韩国现代百货免税店于4月份在OpenSea上发行NFT艺术品。(Chosun Biz)[2022/5/31 3:52:57]
四川人民出版社联合打造数字文化新地标3088#无聊猿数字艺术空间:5月14日消息,四川人民出版社宣布将携手四川白龙马文化传媒有限公司、无聊猿BYAC #3088 持有者 Wow??Yeah 沃野联合打造四川省内数字文化新地标3088# 无聊猿数字艺术空间,并将在非物质文化遗产、文物保护、乡村振兴、数字经济等多产业进行数字化创新合作。
据悉,该艺术空间以成为四川数字文化新地标作为愿景目标,融合四川国际级文博 IP 数字展览,打造大熊猫、九寨沟等四川文旅 IP 的沉浸式体验,实现四川数字艺术交互式展览,为四川数字经济企业提供发布产品、研究成果的虚拟现实发布厅,打通线上线下体验,助力疫后数字经济复苏发展。[2022/5/15 3:16:56]
有趣的研究方向
当前,Scroll的研究团队在协议层和密码学方向也在进行着有趣的研究探索。
研究的第一个方向,是证明者和排序器的去中心化。Scroll所提出的第一个方案是排序器和证明者的任务交给一个节点,同时处理交易和生成证明,代价是可能会加重节点负担,产生一定程度的中心化。第二个方案,排序器节点按共识出块,证明者节点可以自由提交证明,代价是系统将依赖最快的验证人,其他算力不足的证明者将没有激励进一步提交证明,退出系统,证明系统将被最快的验证者所绑架。针对第二个方案,Scroll所提出的解决方案是设置时间窗口,在规定时间内提交证明的即可获得证明奖励。
研究的第二个方向,是L3存在的意义。L3最早由StarkNet所提出,但存在争议的点在于,如果数据可用性放在L1上,并不能节省太多的成本,如果数据可用性不放在L1上,大可以在L2实现类似的功能。L3更可能适用于应用的自定义需求,例如独有的排序器,自定义的执行环境,或是更低价的存取款费用,亦或是L3之间所需的可组合性。关于L3的更多探讨,可参考Vitalik:什么样的Layer3是有意义的?
研究的第三个方向,是L2层之间的流动性分配。例如Uniswap可能需要在不同的L2层上都分别部署流动性池。如何将不同的L2层之间的流动性池打通,对于用户体验上来说将会是极大的提升。
研究的第四个方向,是zkEVM的资源定价问题。计算的成本主要由验证和证明交易组成,存储的成本主要是历史交易和calldata的数据存储。最理想的状态是维持现在以太坊主网的资源定价方案,但是由于Keccak等zk不友好的运算所带来的成本增加,仍然需要对zkEVM的资源定价方案做相应的调整。
其他的研究方向包括,零知识证明中电路的随机性,算数化。Scroll的证明系统分为两层,因此证明者的硬件加速算法也围绕两层设计展开。Scroll目前在第一层和第二层证明系统都选择了Halo2协议,但也在积极探索不同证明系统间的可组合性。
当然目前zk系统仍在开发中,也未经过审计和实践检验,因此在可预见的长期时间内,无法保证这些代码无懈可击,代码层面仍需要大量的审计工作。具体可参考ScrollRollupDay#1:Vitalik介绍用多重证明强化Rollup安全性
责任编辑:Kate
模块化公链Celestia的联合创始人MustafaAl-Bassa先前曾公开表示,加密货币产业现今已陷入了难以抽离的无限循环.
1900/1/1 0:00:00经过ftx事件后,币安俨然已经成为cex中的独角兽,其投资的项目也有过不错的空投历史,所以这次给大家带来币安投资且未发币项目的攻略.
1900/1/1 0:00:00SocialFi是当下最为热门的Web3叙事之一。不过,需要注意,目前SocialFi的使用者大多的参与动力是空投预期。与其说他们是SocialFi的参与者,不如说他们是加密空投的「投机者」.
1900/1/1 0:00:00在上轮牛市出现的新赛道之中,GameFi绝对称得上是一个亮眼的存在,从Axie到StepN,各类新玩法、新概念层出不穷.
1900/1/1 0:00:00尊敬的Waters主席、McHenry高级成员、委员会成员,感谢你们今天的邀请,我希望我的证词能对你们继续调查FTX的崩溃以及正在进行的工作有所帮助,也希望能帮助那些财产受到损失的人.
1900/1/1 0:00:00一3月计划成立一支新的CryptoFund;4月在新加坡注册持牌基金;5月募资遇到Luna事件,老钱全吓跑;8月基金设立完毕,想着做一次季度报告再募资.
1900/1/1 0:00:00