区块见闻 区块见闻
Ctrl+D收藏区块见闻

CRO:Scroll 联创张烨:Scroll 的设计架构和挑战是什么?_SCRIV价格

作者:

时间:

来源:Scrollh中文社区

近日,Scroll的联合创始人张烨受邀参加了斯坦佛的区块链研讨会,分享了Scroll的架构设计和挑战。在演讲的前半部分,介绍了Scroll的整体架构,并重点介绍其一些特殊的设计选择。

在后半部分,描述如何了从头开始构建zkEVM,并使用具体示例来演示该过程。最后,简要讨论了Scroll在密码学和协议设计领域面临的各种研究挑战。

背景和初衷

Scroll是以太坊的Layer2扩容解决方案。为了最大限度地兼容以太坊,Scroll正在构建一个字节码层面兼容的“zkEVM”,它可以证明EVM计算的有效性。Scroll设计的初衷就是为了开发者友好和最大化的可组合性。而构建zkEVM的挑战在于构建难度和生成零知识证明的成本极高。幸好近些年的一些技术突破使其慢慢变得可行,例如多项式承诺可以证明任意阶数,查找表可以实现存储读取约束,硬件加速可以加速证明生成,递归证明可以将证明进一步压缩,降低费用成本。

Do Kwon声称他不知道自己的密码是假的:金色财经报道,Do Kwon在6月16日在黑山首都波多里察地方法院的一次听证会上声称,是通过朋友推荐的新加坡一家机构收到了他被抓获的哥斯达黎加护照;并表示,我拿着哥斯达黎加护照环游了世界。如果我怀疑那是假护照,我就不会去很多国家旅行了。Do Kwon还试图获得格拉纳达护照,但被拒绝了。不过当被问及那个机构的名字时,他表示不记得了,只知道是中文。

检察官Harris Chabotich表示,这两本护照的名字和出生日期不同,这清楚地表明它们是出于恶意而制作的。请给予适当的惩罚。[2023/6/18 21:45:19]

具体细节亦可参考Scroll博客系列#1:以太坊原生zkEVMRollup介绍

Scroll架构

Scroll节点是应用和用户与Scroll交互的主要途径。它由三个模块组成,排序器(Sequencer)、协调器(Coordinator)和中继器(Relayer)。

加密税务创企Divly完成40万美元融资,DHS Venture Partners等参投:3月7日消息,加密税务服务初创公司Divly宣布已完成40万美元融资,DHS Venture Partners、Greens Ventures和YEoS Ventures参投。

Divly提供便捷的加密货币市场纳税申报服务,目前已与芬兰最大的虚拟货币服务提供商Coinmotion和瑞典最大的加密货币经纪商Safello建立了合作关系,去年还和BYDFi和Coingecko达成合作。(PR Newswire)[2023/3/7 12:47:04]

排序器提供JSON-RPC接口并接收L2交易。每隔几秒钟,它就会从L2的内存池中取回一批交易并执行它们,以生成新的L2块和新的状态根。Scroll的排序器实现基于Go-Ethereum(Geth),是最主流的以太坊节点实现之一。通过分叉Geth,我们可以实现最佳的兼容性并继承已经经过时间考验的安全性。

花旗CEO:在提供数字货币相关产品和服务前,将谨慎评估监管进展:1月9日消息,花旗银行首席执行官Jane Fraser在接受采访时表示,加密交易所FTX的破产凸显了监管的必要性;加密货币运营商应遵循与其他金融机构相同的资本、流动性和风险管理标准;在提供(数字货币相关的)产品和服务之前,花旗将谨慎评估监管进展。

此外,Jane Fraser预测,美联储将在5月份前将利率提高至略低于5.5%的水平,经济衰退可能在2023年下半年的某个时候出现。(日经新闻)[2023/1/9 11:02:21]

一旦生成了一个新的块,协调器就会收到通知,并从排序器接收这个块的执行踪迹。然后它将执行踪迹分派给从Roller池中随机选择的Roller以生成证明。

中继器监视同时部署在以太坊和Scroll上的Rollup和Bridge合约。它有两个主要职责。首先,它监控Rollup合约以跟踪L2块的状态,包括它们的数据可用性和有效性证明。其次,它监视同时部署在以太坊和Scroll上的Bridge合约的存款和取款事件,并将消息从一层中继到另一层。

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

每个L2区块将经过如下三个阶段,直到最终确认。

Pre-committed表示一个区块已经被一个排序器提议并发送给Rollers。虽然Precommitted区块还不是ScrollL2上的正式部分,因为它们还没有发布在以太坊基础层上,不过信任排序器的用户可以按预期进行下一步操作。目前预估Pre-commited阶段只需1-2秒。

Committed表示该区块的交易数据已经发布在以太坊的Rollup合约上。这确保了区块数据可用,但不能证明它是正确执行的。目前预估Committed阶段需要数分钟。

新一代安全高速主链项批露将支持JavaScript开发智能合约:上周获得李笑来硬币资本投资的新一代安全高速主链项目EON今日进一步披露其特性,表示支持JavaScript开发智能合约。c++开发需要有一定门槛,而且使用上也容易出错,相比之下,JavaScript就更平易,准确。EON支持javascript意味着很多以太坊的智能合约开发者,web开发者也能参与进来。针对最近区块链公司频发的各种隐患,漏洞问题,EON表示,因为有前360首席科学家、美国北卡州立大学终身教授蒋旭宪博士领衔的区块链安全团队PeckShield(派盾科技)保驾护航。[2018/6/12]

Finalized表示通过验证以太坊链上的有效性证明,已经验证此区块中的交易正确性。经过最终确认的区块被认为是ScrollL2链上的正式部分。目前预估Finalized阶段需要10分钟以上

Pre-Alpha测试网阶段由于证明者的算力不足,因此整体流程的时间要大于所预估的时间。

具体细节亦可参考Scroll博客系列#6:Scroll的架构概览

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的证明系统选择

有趣的研究方向

当前,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安全性

标签:ROLROLLSCRCROroll币出獠牙肩几率TROLLER价格SCRIV价格CROX币

比特币价格今日行情热门资讯
NBA:“ 卷上加卷 ”:Rollup 时代的账户抽象解决方案_swftc币上线coinbase

撰文:月之暗面,PANews在L2技术动态呈现“短期OP,长期ZK”之后,Vitalik的心思开始向账户抽象技术倾斜,在本次以太坊波哥大开发者大会上.

DAP:GoPlus 2022年度盘点:影响加密行业的五大安全风险_TradePlus

作者:GoPlus社区 2022年即将画上句号,今年我们见证了全球宏观经济陷入低谷,以及加密行业因泡沫破灭经济崩盘持续熊市,而与、钓鱼和黑客事件相关的安全风险也是层出不穷此起彼伏.

PARA:解读 EIP-5489:通过扩展 ERC-721 引爆 Web3 注意力经济_NFTI价格

来源:ParamiProtocol NFT的全新用途 2022年11月29日,ParamiProtocol开发并提交的EIP-5489进入成为ERC标准前的终审阶段.

VEN:《Web3的发展与趋势》:新加坡峰会论坛_web3游戏公司

链接 Web3被誉为互联网的未来,在2021年开始获得世界关注。区块链、加密货币、去中心化金融、NFT、DAO等等一切几乎被Web3所涵盖,这也导致Web3成为人们对于未来生活的畅想.

MEV:网络弹性的代价_ASH

作者:ElaineHu,AlejoSalles和Hasut编译:倩雯,ChianCatcher? 要点速览 新的mev-boost功能将允许验证者在本地构建低MEV区块来最大限度地提高以太坊的抗.

NFT:Mask Network:让 Web3 成为人们的日常生活_metamask官网下载地址

作者:GoPlus中文社区Web3是一种新型态的网络技术,代表了下一代互联网,它鼓励价值创造,预示着无限可能性.