鉴于EVM在开发人员中的普及,人们一直希望将zkRollup技术的可扩展性与EVM的开发者体验相结合。这导致了一场zkEVM系统的军备竞赛,其中主要的参与者是Scroll、zkSync和Polygon,而Scroll相对于其他两者来说一直保持低调。
由于EVM的限制,zkEVM面临着兼容性/等价性和性能之间的必要权衡。VitalikButerin列出了从1到4的等级,以努力阐明各种zkEVM设计选择之间的区别:
Scroll处于这种权衡的中间:他们正在建立一种2.5的zkEVM。
这意味着它们与EVM等效,只是对Gas成本结构的方式进行了非常小的改变。
Scroll的与众不同之处
通过保持EVM的等效性,构建者能够直接将他们的应用程序从EthereumL1迁移到Scroll,而无需对其代码进行任何修改。它们也是完全开源的,允许任何人使用和验证他们的代码。
Scroll还为他们的排序器使用了Geth的一个分叉,使其继承经过实战检验的系统的同时,实现与以太坊的最佳兼容性。
这也意味着他们可以很容易地将任何新的升级应用于Geth;其他zkEVM可能需要增加代码复杂性才能进行升级。
Scroll的架构
Scroll的架构有三个主要组成部分:Scroll节点、Roller网络和验证桥。
Scroll节点的目的是从用户的交易中构建块并将它们提交给L1,以及接收来自L1的消息。
ScrollNode的三个主要组成部分是排序器、协调器和中继器。
排序器从L2mempool接收一批交易,并执行它们以生成一个新的L2块。然后,该区块的执行轨迹被发送到协调器,协调器将其传递给一个随机选择的Roller以生成证明。中继器监控L2区块的状态,及其它们的数据可用性和来自滚动合同的有效性证明,以及来自桥接合同的存款和提款事件,以确保一切都可以被验证。Roller网络负责生成有效性证明。Roller网络将从协调器那里接收执行轨迹,将其发送到七个不同的证明电路中,将其汇总到一个最终电路中,并将最终的块证明送回协调器。
验证桥包含两个合约:Rollup合约和跨链桥合约。
跨链桥合约处理L1和L2之间发送的消息,包括ERC-20代币的桥接交易。Rollup合约接收并存储状态根和区块数据作为以太坊状态和calldata。一旦一个区块证明被Rollup合约验证,该区块就被认为是最终确定的。总的来说,在排序器创建一个区块序列并生成其证明后,多个区块证明被汇总成一个单一的证明,并通过协调器发送到Rollup合约,在那里区块被验证并被最终确定。
路线图
在过去的3个月里,Scroll一直处于Pre-Alpha测试阶段,包括经过许可的智能合约部署和白名单用户访问。
下一个阶段将是Alpha测试网,他们将允许无权限的智能合约部署,任何人都可以使用。
Scroll的主网将有两个阶段的启动。
第一阶段将使用中心化的排序器和去中心化的证明者一起运行;第二阶段的主要目标是将排序器去中心化。虽然第二阶段仍在积极研究中,但目前的计划将包括用于MEV提取的PBS模型、链上挑战机制和一个排序器委员会,以允许在以太坊L1上完成交易之前实现最终确定。
注:本文来自Spruceblog;Spruce为去中心化身份系统,该项目团队于今年4月完成由a16z领投3400万美元A轮融资.
公共物品问题和协调问题描述了我们在Web3和更广泛的世界中所面临的一些最基本和最重要的挑战。虽然它们是相关的概念,但在理论上有所区分.
关于FTX的各种奇闻怪谈层出不穷。上周五,FTX、FTXUS和134个相关实体都申请破产,这显示出该交易所与相关公司已深陷泥潭.
零知识技术是一种推动技术,不仅将改变Web3,还将改变其他行业。作为一种足够通用的技术,ZK可以拥有多种用例,而我们正处于弄清楚该技术可以实现的所有用例的早期阶段.
最近在休业,不过几天FTX下去的fud这乱传看起来有点太夸张了,说说我的看法。首先是常币/存货换货,流动性是正常的操作,很容易取税.
注:本文对原文第一部分进行了删减,若有需要,可参见原文 *免责声明:本文非财务建议,除ETH之外,作者对提到的任何东西都未投资。对于文章的第一部分,读者可以选择跳过,但它有助于形成叙事.