木星链 木星链
Ctrl+D收藏木星链

ROL:深度解读Scroll zkEVM方案:如何实现去中心化的愿景?

作者:

时间:1900/1/1 0:00:00

原文作者:Young,Scroll研究员;Babywhale,ForesightNews

今年2月底,基于

ZKRollup

的以太坊

Layer2

网络Scroll正式推出了向所有用户开放的Alpha测试网,并表示将在未来几个月内改进zkEVM性能。就在推出新测试网的一周后,Scroll宣布以18亿美元估值完成了

PolychainCapital

、红杉中国等参投的5000万美元融资。

2022年6月,笔者在《三分钟读懂Scroll:ZKRollup扩容新锐选手》中简单介绍了Scroll的设计框架。Scroll旨在建立「EVM等效」的zkEVM扩容网络,实现以太坊上应用的无缝迁移。

7月,Scroll推出了需要申请资格的Pre-Alpha测试网,截至Alpha测试网推出时,Pre-Alpha测试网已处理了超1540万笔交易,共确认了超180万个区块,提交了64.1万批有效性证明,且共有超10万名用户参与。而Alpha测试网开放至今,共有约2,145,099个

钱包

地址,处理了约10,102,684笔用户交易,生成了886,701个区块,平均区块时间约为3秒。

Vitalik:以太坊需要改进的不仅是协议的功能,需要对应用程序和钱包进行深度改变:金色财经报道,以太坊创始人Vitalik Buterin发布《The Three Transitions》文章。Vitalik称,当以太坊从一个年轻的实验性技术过渡到一个成熟的技术栈,能够真正为普通用户带来开放、全球和无需许可的体验,堆栈需要大致同时经历三个主要的技术过渡:向L2扩展过渡,每个人都转向Rollup;向钱包安全过渡,每个人都使用智能合约钱包;向隐私过渡,确保保护隐私的资金转移可行。

由于上述原因,这三个转变至关重要。但它们也具有挑战性,因为要妥善解决这些问题需要密切协调。需要改进的不仅是协议的功能;在某些情况下,我们与以太坊交互的方式需要从根本上改变,需要对应用程序和钱包进行深度的改变。[2023/6/9 21:27:01]

本文中,笔者将介绍Scroll通过怎样的机制实现在去中心化的前提下继承以太坊主网的

安全

性。

Scroll的架构

Scroll架构主要由3部分组成:节点网络、证明网络和Rollup合约。

节点网络

Scroll的节点网络包含三部分:定序器、协调器和中继器。

HyperBC CEO:mpc技术将助推钱包与监管机构的深度绑定:据官方消息,日前,HyperBC CEO Joseph Zhang受邀参加POW’ER香港Web3创新者峰会,会上就“Web3入口革命——MPC钱包的体验与普及”主题进行了相关分享,他认为:HyperBC作为MPC联盟成员,当前已在waas和custody业务中实现细分领域的产品优化,帮助中小企业更好的在业务端发力,并在以后的时间里,借助联盟中已成型落地的技术应用于具体业务场景中,探索设计出更完整的私钥分片存储方案,将一些私钥分片部署在审计机构或者特定的合规机构上,通过mpc技术实现让大家做更深度的绑定,提升用户和市场的信心。

HyperBC作为资产托管解决方案提供商,为企业在区块链上存储和管理他们的数字资产提供安全保障。[2023/1/11 11:06:05]

定序器

定序器提供JSON-RPC接口并接受L2交易。每隔几秒钟,它就会从L2mempool检索一批交易,并执行它们以生成新的L2区块和一个新的状态根。Scroll的定序器实现是通过fork被广泛使用的以太坊节点GoEthereum,并以此实现更好的兼容性和承经得起时间考验的安全性。

协调器

一旦生成新的区块,协调器就会收到通知,并从定序器接收该区块的Executiontrace。然后,协调器将Executiontrace分配给一个从去中心化的证明网络中随机选择的证明者生成证明。

三亚:加强区块链与交通产业深度融合:8月28日消息,近日《三亚市“十四五”综合交通运输发展规划》正式印发,其中发展思路指出,加强交通科技创新,推进区块链等技术与交通产业深度融合,打造数字化、网络化、智能化的交通网络。(三亚发布官方公众号)[2021/8/28 22:43:26]

中继器

中继器用于观察部署在以太坊和Scroll上的

跨链

桥和Rollup合约。它主要有两个职责,其一是监视Rollup合约,跟踪L2区块的状态,包括其数据可用性和有效性证明。其二是监视部署以太坊和Scroll上的跨链桥合约的存款和提取活动,并将消息从一方传递到另一方。

证明网络

Rollers作为网络中的证明者,负责为ZKRollup生成有效性证明。Roller可以利用像GPU、FPGA和ASIC等硬件设备来减少验证时间和验证成本。

下图展示了Roller如何为每个区块生成有效性证明,有以下步骤:

Roller首先将从协调器那里收到的执行Trace,转换为电路witness。

为每个zkEVM电路生成证明。

使用证明聚合,将来自多个zkEVM电路的证明合并为一个单一的区块证明Rollup和跨链合约。

欧科云链OKLink与BiYong Banana Group达成深度战略合作:据官方消息,欧科云链OKLink与BiYong Banana Group达成深度战略合作。美元稳定币USDK接入BananaTok,支持数字货币红包和数字货币支付。OKLink区块链浏览器作为第三方应用,入驻BananaTok开放平台。未来双方将在社区生态建设及推广等方面展开更深层次的市场合作。BiYong Banana Group是中韩联合组成的区块链集团,旗下拥有 BiYong 和BananaTok两款知名区块链社交产品,生态注册用户达1000万,组成最大的区块链社交平台。

欧科云链OKLink是全球首家区块链大数据上市公司打造的区块链信息服务网站,旨在利用区块链+大数据技术为用户提供高可用的区块链信息服务。[2020/5/19]

值得一提的是,Scroll团队成员表示Scroll计划于主网上线前上线证明网络测试网。证明网络的去中心化一方面为以太坊合并后无处安放的GPU矿机找到了暂时的用武之地。另一方面,未来主网对证明者的激励可能可以刺激零知识证明专用芯片的开发,并最终被大量ZK项目广泛采用,形成继PowASIC矿机后的又一实体

产业

链。

Rollup和跨链桥合约

动态 | 国务院:推动大数据、区块链等新技术与交通行业深度融合:近日,中共中央、国务院印发了《交通强国建设纲要》(以下简称“纲要”)。纲要提出,在智慧交通创新方面,推动大数据、互联网、人工智能、区块链、超级计算等新技术与交通行业深度融合。推进数据资源赋能交通发展,加速交通基础设施网、运输服务网、能源网与信息网络融合发展,构建泛在先进的交通信息基础设施。构建综合交通大数据中心体系,深化交通公共服务和电子政务发展。推进北斗卫星导航系统应用。(新华社)[2019/9/19]

Scroll通过Rollup和跨链桥合约连接到以太坊。这样确保了L2交易的数据可用性,并允许用户在L1和L2之间传递资产和信息。

Rollup合约

Rollup合约从定序器接收L2状态根和区块。它将状态根存储在以太坊状态中,L2区块数据作为以太坊calldata。这为Scroll区块提供了数据可用性,并利用以太坊的安全性来确保包括Scroll中继器在内的索引器能够重建L2区块。一旦确定L2区块有效性的证明被Rollup合约验证,相应的区块就被认为在Scroll上已经完成。

跨链桥合约

部署在以太坊和Scroll上的跨链桥合约允许用户在L1和L2之间传递任意的信息。在这个消息传递协议的基础上,我们还建立了一个无需信任的跨链协议,允许用户在两个方向上桥接ERC-20资产。从以太坊向Scroll发送消息或资金,用户需要在跨链桥合约上调用sendMessage交易。中继器将在L1上对该交易进行索引,并将其发送给定序器,将其包含在L2区块中。从Scroll向以太坊发送消息,在L2跨链桥合约的流程和上述过程类似。

Scroll如何实现ZKRollup?

Scroll中的L2区块被生成后提交给以太坊,并按以下步骤顺序最终完成:

定序器的角色是生成区块。对于第i个区块来讲,定序器生成执行Trace:T,并将其发送给协调器。定序器还将交易数据D作为CallData提交到以太坊的合约中,保证数据可用性以及由此生成的状态根和对Rollup合约的交易数据的承诺作为状态。

协调器会随机选择一个证明者为每个Blocktrace生成一个有效性证明。为了加快证明生成过程,不同区块的证明可以由不同的证明者并行生成。

在为第i个块生成区块证明P之后,证明者会将其发送回协调器。每隔K个区块,协调器向另一个证明者分派一个聚合任务,将k个区块证明聚合为一个聚合证明A。

最后,协调器向Rollup合约中提交聚合证明A,通过对先前提交给Rollup合约的状态根和交易数据commitment进行验证,最终可以确定从i+1到i+k的L2Block。

上图说明了Scroll区块将在多步骤的过程后在L1上最终完成。每个L2区块将经过以下三个阶段,直到最终确定:

预提交

。预提交示block已由定序器提出并发送给证明者。尽管预提交的区块还不是ScrollL2链的规范部分,但是由于它们尚未发布在以太坊上,因此信任定序器的用户可以选择预期对它们采取的行动。

提交

。提交表示该区块的交易数据已经发布在以太坊的Rollup合约上。这确保了区块的数据可用性,但不能证明它是以有效的方式执行的。

终结

。终结状态表示该区块中的交易已经被正确执行,并且通过了以太坊上的有效性证明验证。最终完成的区块被认为是ScrollL2链的规范部分。

Scroll与其他ZKRollup方案的区别

总体而言,Scroll与已上线主网的

Polygon

zkEVM、StarkNet以及

zkSync

Era最大的区别在于Scroll更接近原生以太坊实现,对EVM

开发者

来说更加友好。

ScrollvsPolygonzkEVM

二者在实现方面存在一些

技术

差异,。一是Scroll直接fork被广泛使用的以太坊节点实现Geth生成Layer2的区块,接近原生以太坊实现。Scroll设计了不同的子电路来证明Geth执行跟踪中的每个操作码,并且更容易验证电路与原生以太坊具有完全相同的行为。而PolygonzkEVM则使用新的汇编语言重写每个EVM操作码,然后为其底层状态机生成证明。

另一个区别是,Scroll对zkEVM电路和聚合电路都使用SNARK。PolygonzkEVM是使用STARK作为他们的zkEVM电路,并使用SNARK作为聚合电路来聚合STARK证明。

ScrollvsStarkNet

与StarkNet相比,Scroll以EVM等效性为目标,希望原生zkEVM解决方案以实现字节码级兼容性,对以太坊开发者更加友好;而StarkNet是一个对于ZK友好而对开发者不友好的方案。故StarkNet建立开发者和项目生态具有一定的学习成本,也存在不小的挑战。

ScrollvszkSync

相较于Scroll对EVM字节码级的兼容性,zkSync是在语言级别兼容EVM的,故对于

智能合约

的开发者而言,需要对部署带有BlackBlox的编译器的额外信任,也需要更多的时间来进行安全审计。

Scroll的去中心化梦想

Scroll团队成员张烨曾发表了一篇名为

《Scroll背后的理念》

的文章。这篇文章详细描述了Scroll的愿景:除了Scroll项目本身,团队更加希望为以太坊的zkEVM研究做出贡献。

文章中提到,相比于「闭门造车」,Scroll从一开始就做出了与社区共同发展的决定,并且也一直在践行这一点,包括由社区驱动开发zkEVM、开展零知识证明方面的公共教育、维护Python版本的zkEVM规范等。

除了上述方面的社区化运作,Scroll还强调了更多方面的去中心化,包括定序器、证明者等等。总体而言,Scroll更希望成为一个类似于以太坊一样,虽然有核心开发团队,但仍然在底层技术和基础设施层面开放的协议,并最终推动zkEVM生态的蓬勃发展以及主网与zkEVM的兼容,乃至以太坊

Layer1

本身想要达到的最终目标。

标签:ROLROLLSCRCROTROLLBNBroll币能出泰沙拉克吗WSCRT价格CRO价格

以太坊交易所热门资讯
稳定币:多角度对比分析四个潜力原生稳定币:GHO、crvUSD、dpxUSD、HOPE

前言早期稳定币的需求主要来自于以下两个问题的解决:虚拟资产的价值锚定问题:起初虚拟资产价值波动较大,难以稳定,这给加密货币市场带来了不确定性和风险.

1900/1/1 0:00:00
以太坊:12张图回顾加密市场的「强劲三月」

对于加密行业而言,尽管遭遇到USDC脱锚、美国商品期货交易委员会起诉币安及其首席执行官赵长鹏等一系列事件的影响,但近期表现依然十分亮眼,下面就让我们用12张图表解读刚刚过去的“强劲三月”.

1900/1/1 0:00:00
USS:被关闭背后是「权利的游戏」?详谈Paxful的缘起与内部纠纷

继最大的比特币P2P交易平台LocalBitcoins在运营十年后关闭后,成立于2015年的同类型平台Paxful也于近期宣布暂停运营,除了监管压力外,两位联创的内部控制权之争或是真正原因.

1900/1/1 0:00:00
FOR:Foresight Ventures市场周报:ETH汇率上升,曙光预兆

市场数据:一、公链总锁仓量情况 二、各公链TVL占比情况 本周TVL总量上升1.1b。ETH链占比小幅上升,从上周的58.56%上升到59.15%,近几个月的大趋势看eth生态的TVL仍然在稳定.

1900/1/1 0:00:00
TPS:veDAO研究院:盘点12个未发币热门ZK赛道Alpha

近期Arbitrum因为发行空投,再一次将Layer2叙事带火,当OPRollup上,两大赛道optimism和Arbitrum纷纷落地,且带来了巨大的财富效应.

1900/1/1 0:00:00
元宇宙:斩获6800万美元融资,LandVault如何成为元宇宙最大「包工头」?

与前两年的一拥而上相反,目前微软、Meta等科技巨头纷纷削减或关闭元宇宙部门,我们不禁要问驶向元宇宙的科技巨轮已经抛锚了吗?非也.

1900/1/1 0:00:00