深度解读Scroll zkEVM方案：如何实现去中心化的愿景？

:"\u003Cp\u003E\u003Cspan\u003E原文作者：Young，Scroll研究员；Babywhale，ForesightNews\u003C\u002Fspan\u003E\u003C\u002Fp\u003E\u003Cp\u003E今年2月底，基于\u003Cspanclass=\"alert\"\u003E\u003Cspanclass=\"alertFont\"\u003E\u003Cspanclass=\"font\"\u003EZKRollup\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E的以太坊\u003Cspanclass=\"alert\"\u003E\u003Cspanclass=\"alertFont\"\u003E\u003Cspanclass=\"font\"\u003ELayer2\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E网络Scroll正式推出了向所有用户开放的Alpha测试网，并表示将在未来几个月内改进zkEVM性能。就在推出新测试网的一周后，Scroll宣布以18亿美元估值完成了\u003Cspanclass=\"alert\"\u003E\u003Cspanclass=\"alertFont\"\u003E\u003Cspanclass=\"font\"\u003EPolychainCapital\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E、红杉中国等参投的5000万美元融资。\u003C\u002Fp\u003E\u003Cp\u003E2022年6月，笔者在《三分钟读懂Scroll：ZKRollup扩容新锐选手》中简单介绍了Scroll的设计框架。Scroll旨在建立「EVM等效」的zkEVM扩容网络，实现以太坊上应用的无缝迁移。\u003C\u002Fp\u003E\u003Cp\u003E7月，Scroll推出了需要申请资格的Pre-Alpha测试网，截至Alpha测试网推出时，Pre-Alpha测试网已处理了超1540万笔交易，共确认了超180万个区块，提交了64.1万批有效性证明，且共有超10万名用户参与。而Alpha测试网开放至今，共有约2,145,099个\u003Cspanclass=\"font\"\u003E钱包\u003C\u002Fspan\u003E地址，处理了约10,102,684笔用户交易，生成了886,701个区块，平均区块时间约为3秒。\u003C\u002Fp\u003E\u003Cp\u003E本文中，笔者将介绍Scroll通过怎样的机制实现在去中心化的前提下继承以太坊主网的\u003Cspanclass=\"font\"\u003E安全\u003C\u002Fspan\u003E性。\u003C\u002Fp\u003E\u003Ch2\u003EScroll的架构\u003C\u002Fh2\u003E\u003Cp\u003EScroll架构主要由3部分组成：节点网络、证明网络和Rollup合约。\u003C\u002Fp\u003E\u003Ch3\u003E节点网络\u003C\u002Fh3\u003E\u003Cp\u003EScroll的节点网络包含三部分：定序器、协调器和中继器。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cspan\u003E定序器\u003C\u002Fspan\u003E\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cp\u003E定序器提供JSON-RPC接口并接受L2交易。每隔几秒钟，它就会从L2mempool检索一批交易，并执行它们以生成新的L2区块和一个新的状态根。Scroll的定序器实现是通过fork被广泛使用的以太坊节点GoEthereum，并以此实现更好的兼容性和承经得起时间考验的安全性。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cspan\u003E协调器\u003C\u002Fspan\u003E\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cp\u003E一旦生成新的区块，协调器就会收到通知，并从定序器接收该区块的Executiontrace。然后，协调器将Executiontrace分配给一个从去中心化的证明网络中随机选择的证明者生成证明。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cspan\u003E中继器\u003C\u002Fspan\u003E\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cp\u003E中继器用于观察部署在以太坊和Scroll上的\u003Cspanclass=\"alert\"\u003E\u003Cspanclass=\"alertFont\"\u003E\u003Cspanclass=\"font\"\u003E跨链\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E桥和Rollup合约。它主要有两个职责，其一是监视Rollup合约，跟踪L2区块的状态，包括其数据可用性和有效性证明。其二是监视部署以太坊和Scroll上的跨链桥合约的存款和提取活动，并将消息从一方传递到另一方。\u003C\u002Fp\u003E\u003Ch3\u003E证明网络\u003C\u002Fh3\u003E\u003Cp\u003ERollers作为网络中的证明者，负责为ZKRollup生成有效性证明。Roller可以利用像GPU、FPGA和ASIC等硬件设备来减少验证时间和验证成本。\u003C\u002Fp\u003E\u003Cp\u003E下图展示了Roller如何为每个区块生成有效性证明，有以下步骤：\u003C\u002Fp\u003E\u003Culclass=\"list-paddingleft-2\"\u003E\u003Cli\u003E\u003Cp\u003ERoller首先将从协调器那里收到的执行Trace，转换为电路witness。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003Cli\u003E\u003Cp\u003E为每个zkEVM电路生成证明。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003Cli\u003E\u003Cp\u003E使用证明聚合，将来自多个zkEVM电路的证明合并为一个单一的区块证明Rollup和跨链合约。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003C\u002Ful\u003E\u003Cpclass=\"ql-align-center\"\u003E\u003Cimgalt=\"深度解读ScrollzkEVM方案：如何实现去中心化的愿景？\"src=\"https:\u002F\u002Fimg.foresightnews.pro\u002F202304\u002F29-1680752385773.jpeg?x-oss-process=style\u002Fscale70\"\u002F\\\u003E\u003C\u002Fp\u003E\u003Cp\u003E值得一提的是，Scroll团队成员表示Scroll计划于主网上线前上线证明网络测试网。证明网络的去中心化一方面为以太坊合并后无处安放的GPU矿机找到了暂时的用武之地。另一方面，未来主网对证明者的激励可能可以刺激零知识证明专用芯片的开发，并最终被大量ZK项目广泛采用，形成继PowASIC矿机后的又一实体\u003Cspanclass=\"font\"\u003E产业\u003C\u002Fspan\u003E链。\u003C\u002Fp\u003E\u003Ch3\u003ERollup和跨链桥合约\u003C\u002Fh3\u003E\u003Cp\u003EScroll通过Rollup和跨链桥合约连接到以太坊。这样确保了L2交易的数据可用性，并允许用户在L1和L2之间传递资产和信息。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cspan\u003ERollup合约\u003C\u002Fspan\u003E\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cp\u003ERollup合约从定序器接收L2状态根和区块。它将状态根存储在以太坊状态中，L2区块数据作为以太坊calldata。这为Scroll区块提供了数据可用性，并利用以太坊的安全性来确保包括Scroll中继器在内的索引器能够重建L2区块。一旦确定L2区块有效性的证明被Rollup合约验证，相应的区块就被认为在Scroll上已经完成。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cstrong\u003E\u003Cspan\u003E跨链桥合约\u003C\u002Fspan\u003E\u003C\u002Fstrong\u003E\u003C\u002Fp\u003E\u003Cp\u003E部署在以太坊和Scroll上的跨链桥合约允许用户在L1和L2之间传递任意的信息。在这个消息传递协议的基础上，我们还建立了一个无需信任的跨链协议，允许用户在两个方向上桥接ERC-20资产。从以太坊向Scroll发送消息或资金，用户需要在跨链桥合约上调用sendMessage交易。中继器将在L1上对该交易进行索引，并将其发送给定序器，将其包含在L2区块中。从Scroll向以太坊发送消息，在L2跨链桥合约的流程和上述过程类似。\u003C\u002Fp\u003E\u003Ch3\u003EScroll如何实现ZKRollup？\u003C\u002Fh3\u003E\u003Cpclass=\"ql-align-center\"\u003E\u003Cimgalt=\"深度解读ScrollzkEVM方案：如何实现去中心化的愿景？\"src=\"https:\u002F\u002Fimg.foresightnews.pro\u002F202304\u002F29-1680752491625.png?x-oss-process=style\u002Fscale70\"\u002F\\\u003E\u003C\u002Fp\u003E\u003Cp\u003EScroll中的L2区块被生成后提交给以太坊，并按以下步骤顺序最终完成：\u003C\u002Fp\u003E\u003Culclass=\"list-paddingleft-2\"\u003E\u003Cli\u003E\u003Cp\u003E定序器的角色是生成区块。对于第i个区块来讲，定序器生成执行Trace：T，并将其发送给协调器。定序器还将交易数据D作为CallData提交到以太坊的合约中，保证数据可用性以及由此生成的状态根和对Rollup合约的交易数据的承诺作为状态。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003Cli\u003E\u003Cp\u003E协调器会随机选择一个证明者为每个Blocktrace生成一个有效性证明。为了加快证明生成过程，不同区块的证明可以由不同的证明者并行生成。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003Cli\u003E\u003Cp\u003E在为第i个块生成区块证明P之后，证明者会将其发送回协调器。每隔K个区块，协调器向另一个证明者分派一个聚合任务，将k个区块证明聚合为一个聚合证明A。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003Cli\u003E\u003Cp\u003E最后，协调器向Rollup合约中提交聚合证明A，通过对先前提交给Rollup合约的状态根和交易数据commitment进行验证，最终可以确定从i+1到i+k的L2Block。\u003C\u002Fp\u003E\u003C\u002Fli\u003E\u003C\u002Ful\u003E\u003Cp\u003E上图说明了Scroll区块将在多步骤的过程后在L1上最终完成。每个L2区块将经过以下三个阶段，直到最终确定：\u003C\u002Fp\u003E\u003Cp\u003E\u003Cspan\u003E预提交\u003C\u002Fspan\u003E。预提交示block已由定序器提出并发送给证明者。尽管预提交的区块还不是ScrollL2链的规范部分，但是由于它们尚未发布在以太坊上，因此信任定序器的用户可以选择预期对它们采取的行动。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cspan\u003E提交\u003C\u002Fspan\u003E。提交表示该区块的交易数据已经发布在以太坊的Rollup合约上。这确保了区块的数据可用性，但不能证明它是以有效的方式执行的。\u003C\u002Fp\u003E\u003Cp\u003E\u003Cspan\u003E终结\u003C\u002Fspan\u003E。终结状态表示该区块中的交易已经被正确执行，并且通过了以太坊上的有效性证明验证。最终完成的区块被认为是ScrollL2链的规范部分。\u003C\u002Fp\u003E\u003Ch2\u003EScroll与其他ZKRollup方案的区别\u003C\u002Fh2\u003E\u003Cp\u003E总体而言，Scroll与已上线主网的\u003Cspanclass=\"alert\"\u003E\u003Cspanclass=\"alertFont\"\u003E\u003Cspanclass=\"font\"\u003EPolygon\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E\u003C\u002Fspan\u003EzkEVM、StarkNet以及\u003Cspanclass=\"alert\"\u003E\u003Cspanclass=\"alertFont\"\u003E\u003Cspanclass=\"font\"\u003EzkSync\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E\u003C\u002Fspan\u003EEra最大的区别在于Scroll更接近原生以太坊实现，对EVM\u003Cspanclass=\"font\"\u003E开发者\u003C\u002Fspan\u003E来说更加友好。\u003C\u002Fp\u003E\u003Ch3\u003EScrollvsPolygonzkEVM\u003C\u002Fh3\u003E\u003Cp\u003E二者在实现方面存在一些\u003Cspanclass=\"alert\"\u003E\u003Cspanclass=\"alertFont\"\u003E\u003Cspanclass=\"font\"\u003E技术\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E差异,。一是Scroll直接fork被广泛使用的以太坊节点实现Geth生成Layer2的区块，接近原生以太坊实现。Scroll设计了不同的子电路来证明Geth执行跟踪中的每个操作码，并且更容易验证电路与原生以太坊具有完全相同的行为。而PolygonzkEVM则使用新的汇编语言重写每个EVM操作码，然后为其底层状态机生成证明。\u003C\u002Fp\u003E\u003Cp\u003E另一个区别是，Scroll对zkEVM电路和聚合电路都使用SNARK。PolygonzkEVM是使用STARK作为他们的zkEVM电路，并使用SNARK作为聚合电路来聚合STARK证明。\u003C\u002Fp\u003E\u003Ch3\u003EScrollvsStarkNet\u003C\u002Fh3\u003E\u003Cp\u003E与StarkNet相比，Scroll以EVM等效性为目标，希望原生zkEVM解决方案以实现字节码级兼容性，对以太坊开发者更加友好；而StarkNet是一个对于ZK友好而对开发者不友好的方案。故StarkNet建立开发者和项目生态具有一定的学习成本，也存在不小的挑战。\u003C\u002Fp\u003E\u003Ch3\u003EScrollvszkSync\u003C\u002Fh3\u003E\u003Cp\u003E相较于Scroll对EVM字节码级的兼容性，zkSync是在语言级别兼容EVM的，故对于\u003Cspanclass=\"font\"\u003E智能合约\u003C\u002Fspan\u003E的开发者而言，需要对部署带有BlackBlox的编译器的额外信任，也需要更多的时间来进行安全审计。\u003C\u002Fp\u003E\u003Ch2\u003EScroll的去中心化梦想\u003C\u002Fh2\u003E\u003Cp\u003EScroll团队成员张烨曾发表了一篇名为\u003Cahref=\"https:\u002F\u002Fmp.weixin.qq.com\u002Fs\u002FGbcybotwQn3dY5400y3I5A\"\u003E《Scroll背后的理念》\u003C\u002Fa\u003E的文章。这篇文章详细描述了Scroll的愿景：除了Scroll项目本身，团队更加希望为以太坊的zkEVM研究做出贡献。\u003C\u002Fp\u003E\u003Cp\u003E文章中提到，相比于「闭门造车」，Scroll从一开始就做出了与社区共同发展的决定，并且也一直在践行这一点，包括由社区驱动开发zkEVM、开展零知识证明方面的公共教育、维护Python版本的zkEVM规范等。\u003C\u002Fp\u003E\u003Cp\u003E除了上述方面的社区化运作，Scroll还强调了更多方面的去中心化，包括定序器、证明者等等。总体而言，Scroll更希望成为一个类似于以太坊一样，虽然有核心开发团队，但仍然在底层技术和基础设施层面开放的协议，并最终推动zkEVM生态的蓬勃发展以及主网与zkEVM的兼容，乃至以太坊\u003Cspanclass=\"alert\"\u003E\u003Cspanclass=\"alertFont\"\u003E\u003Cspanclass=\"font\"\u003ELayer1\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E\u003C\u002Fspan\u003E本身想要达到的最终目标。\u003C\u002Fp\u003E

中科院院士：密码技术将深度融合到区块链等新技术发展中:中科院院士、密码学家王小元表示，信息技术极大地推动着世界向更高效、智能、环保、便捷的方向前进，人工智能、工业互联网、区块链、大数据交易等行业备受青睐。密码技术是数据治理和信息保护的重要手段。密码技术将深度融合到5G、区块链、人工智能，卫星通信、物联网、智慧城市等新技术发展中。（封面新闻）[2020/9/15]

Hyperpay钱包与Golff达成深度合作并支持Golff挖头矿:据官方消息，HyperPay钱包将于9月9日支持一站式加密银行Golff流动性挖矿，用户可在HyperPay中创建自管钱包并导入资金，在DApp界面中进入Golff平台直接挖矿操作。近期，双方还将合作推出DeFi理财狂欢节，即在HyperPay托管钱包中上线Golff挖矿理财专场，帮助用户在其平台挖矿，0门槛、0 Gas费、0服务费。

据悉，Golff DeFi门槛较低，操作流畅并同时兼顾中西方使用习惯， 95%的治理代币GOF通过流动性挖矿产出，团队无代币保留，创新型收益聚合器及理财增强保险让用户的收益更高。[2020/9/9]

动态 | Simplechain与原仓文化达成深度战略合作:2019年12月13日由中宣部版权管理局指导, 广东省版权局、广州市版权局、广州市文化广电旅游局、 越秀区人民政府支持，国家版权贸易基地 (越秀) 承办的中国·广州国际版权授权大会在广州隆重举办， 大会旨在引领文化IP品牌产业的创新发展，会上SimpleChain与原仓文化达成深度战略合作，以区块链技术赋能文化产业，IP授权链上变现，实现区块链价值应用落地。[2019/12/13]

动态 | 网易联合创新中心·德阳工业互联网基地成立 推动区块链等技术与工业制造业深度融合:据人民网消息，近日，“网易联合创新中心·德阳工业互联网基地”成立。据悉，该基地将利用网易云计算和大数据服务平台，服务旌阳区企业上云，推动云计算、大数据、人工智能、区块链等技术与工业制造业的深度融合。[2019/8/1]

动态 | 国泰君安积极探索区块链等技术 推动金融服务与科技深度融合:据新华网消息，近日，国泰君安君弘APP新推出的Level-2 Plus功能，积极探索移动互联、大数据、人工智能、云计算、区块链等新技术，推动金融服务与科学技术深度融合发展。[2018/9/27]

标签：PANSPAROLLROLPAND币BKASPA币TrollCoinRolaz Gold

莱特币热门资讯