原文标题：《ConsenSys：详谈L2Rollup的竞争现状和挑战》
原文作者：ConsenSys
原文编译：岩石上的刺猬，SevenUpDAO
L2Rollup?概述
在过去的几年中，随着以太坊网络活动的增加，?2?层协议Rollup?解决方案已成为重要的解决方案。非同质化Token和去中心化金融的活动和参与引起了?1?层区块链活动的激增。反过来，由?gas?费代表的块空间需求也增加了。由于网络负载的增加，交易完成的时间也随之增加。
虽然以太坊合并为将来的?gas?费用优化奠定了基础；但它并没有直接降低交易费用。
在?2020?年夏到?2021?年夏的一年中，以太坊网络上的?gas?成本增长了?1300%?。需要快速、经济实惠的交易促使两种主要?Rollup?形式的产生：Optimistic?和?Zero-Knowledge。
Rollup?通过将以太坊网络的交易改为链下处理，将它们转换为单个数据块，然后作为批处理在以太坊上重新提交，降低了相关成本和时间，减轻以太坊网络的计算需求。两者之间的最大区别在于，OptimisticRollup?利用欺诈证明，而?ZK-rollup?则依靠零知识证明来验证对主链的更改。
ZT平台向ConstitutionDAO捐献ETH:据官方消息，数字货币交易平台ZT宣布已经向ConstitutionDAO组织捐献了1.7870ETH，以支持苏富比拍卖行于11月19日举行的美国宪法副本拍卖。本次拍卖接受ETH的捐赠形式。[2021/11/18 22:01:37]
Optimistic?和?ZK-Rollups:欺诈证明?VS?有效证明
欺诈证明将离线交易(off-chaintransactions)打包在一起，然后将它们重新提交到L1。被提交到L1之后，会有一个挑战期，在此期间任何人都可以通过计算欺诈证明来挑战?rollup?的结果。同样，零知识证明也将离线交易打包在一起，并将它们作为单个交易提交。它们之间的区别在于，零知识证明不是假设交易最初是正确的，而是使用有效证明立即证明交易是否有效。一旦交易被确认为有效，它们就会被提交到L1。
这就是它们各自获得名称的方式：
欺诈证明是检查交易是否有任何欺诈性交易的证明，而有效证明是在交易提交到L1之前完成。
OpenZeppelin 针对 Solidity 0.8 正式发布 OpenZeppelin Contracts 4.0 版:以太坊技术服务商 OpenZeppelin 针对智能合约编程语言 Solidity 0.8 版本 正式发布 OpenZeppelin Contracts 4.0 版本，更新内容包括重组存储库、存储优化、删除了存储变量和内部函数并涵盖decimals函数可实现设置保留小数的位数、在基本合约中删除了对 ERC721 代币的可枚举性并将其作为可选扩展、取消与 GSNv1 集成，并开始增加对 GSNv2 （元交易，模块化的系统）的支持。在未来几日内，OpenZeppelin 将提供一个可使用 OpenZeppelin Contracts 快速启动项目的工具。[2021/3/25 19:16:33]
尽管两者都有知名项目，但它们各自都有自己的优点和缺点。OptimisticRollup?具备的优势是，只有在出现问题时才需要欺诈证明。这意味着它们需要的计算资源较少，能够很好地扩展。劣势在于挑战期。挑战期越长，任何欺诈性交易被发现的可能性就越大，但也意味着用户必须等待更长时间才能提取资金。对于领先的解决方案，例如Arbitrum和Optimism，这个等待时间可能会持续一周。另外，ZK-rollup?有一个优势，即始终反映出正确的L2状态。它的劣点是所有状态转换都需要证明，而不是仅在被挑战时，这限制了可扩展性。这进一步复杂化了技术的性质和早期阶段。
ConsenSys开发人员：将于2021年前几周细化ETH2.0三重路线图交付计划:1月11日，ConsenSys开发人员Ben Edgington发文《超越信标链：Eth2的下一步是什么？》。Ben Edgington在文中回顾了以太坊信标链发展进程，并重新回顾了以太坊2021年的三重路线图：Eth1和Eth2之间的“合并”、分片和轻客户端相关的具体内容（V神已于2020年11月中旬公布）。与此同时，Ben Edgington在文中称，假设信标链继续顺利运行，以太坊2.0在2021年前几周的任务是将这三个工作流细化为具体的交付计划。[2021/1/12 15:57:00]
尽管有各自的挑战，ZK-rollup?被视为?rollup?的未来。这主要是因为有效证明的自动生成增加了协议的安全性，提款时间大大减少，因为没有挑战期，ZK-rollup?还具有更好的数据压缩。出于这些原因，我们将专注于?ZK-rollupSpace?的当前状态、最新的创新以及未来的发展。
Connext部署兼容以太坊Layer2的即时跨链通信功能Spacefold:以太坊二层网络Connext发布Spacefold功能，该功能是Connext节点顶部的一个UI设计，演示了使用状态通道进行即时跨链通信的功能。Spacefold可以折叠到以太坊Layer2解决方案xDai、Optimism、Matic以及即将推出的SKALE和Arbitrum。Spacefold是探索Layer2可组合性的第一个实验。Connext表示，因为其设计是一个可编程的点对点小型支付网络，因此不适合Reddit想要扩展的一些通用计算活动。由于状态通道的工作方式，Connext内部的平衡必须是每个用户私有的，因此决定与现有的Layer2合作。使用Connext，用户不需要知道他们在哪条链或者分片上就可以转移资金，甚至可以完全无缝地跨链自动调用合约。虽然Layer2解决方案通常是相互竞争的，但实际上是可组合的，当它们叠加在一起可以创造出更强大的生态系统，比它们各部分的总和还要强大。
此前报道，Connext基于Counterfactual框架，这是一种全新的开发区块链应用的方式，让通道尽可能模块化和链上交易最小化的方案，在首次充值和最后提款的操作之间，其他的操作不需要依赖链上交易。[2020/8/2]
BitConnect原告声称其创始人与OneCoin相关联: 据Themerkle报道，近日，美国针对BitConnect的启动者和高管提起的诉讼细节被公之于众，这起被怀疑为庞氏局的项目的背后操作人身份随即被揭露。BitConnect几位原告声称，另一个庞氏局Onecoin的三位高管和创始人都与BitConnect相关联。Onecoin的高管和创始人与 XECoin、Crypto888和Octacoin创始人一起，负责监督BitConnect的项目运作。1月17日，Bitconnect作为一个长期以来被许多人怀疑是庞氏局的借贷和交易平台宣布关闭。如今，BCC交易仍在进行。[2018/2/13]
数据来源：GalaxyDigital
ZK-rollup?领域
正如我们所讨论的，ZK-rollup?主要的关注点是像zkSync、Starknet、Polygon?zkEVM?和?Scroll?这样的参与者，他们都已经筹集了大量资本来开发自己的解决方案，只有?StarkNet?启动了主网。每一个项目都有自己的角度，主要区别在于在数据可用性策略和证明算法方面有所不同。
数据可用性策略决定了?Rollup?的状态数据存储在哪里，虽然链上存储增加了安全性，但占用了以太坊网络上的区块空间，降低了交易的吞吐量。
证明算法是生成有效性证明的手段，可以是STARK或SNARK。这两种算法都可以帮助开发人员将计算和存储转移到链下，从而提高可扩展性。他们还能够在无需访问信息本身的情况下验证用户是否有足够的资金和正确的私钥，从而提高安全性。?
与SNARK相比，STARK的优势在于提供更高的可扩展性、安全性和透明度。STARKS的缺点是证明数据量更大，验证时间更长，而且SNARKs相对只使用了24%的gas。对于SNARKS和STARKS，我们在速度和成本与可扩展性、安全性和透明度之间进行权衡。虽然正在探索许多不同的方法，但关于设置ZK-rollup的最佳方法还没有明确的答案。每种配置都会带来各自的好处，许多开发人员仍在探索最佳选择或组合。
要克服的障碍
正如我们所讨论的，ZK-rollups仍在开发中，在区块链用户能够获得全部收益之前需要克服各种挑战。语言兼容性就是这样的挑战之一；将EVM友好的编程语言转换为专门针对ZKP优化的定制语言可以帮助提高效率，但也给开发人员带来了适用性的挑战。例如，StarkNet正在寻求通过Warp来解决这个问题，Warp是一种Solidity到Cairo语言编译器，可以自动将Solidity转换为Cairo。使用Warp，开发人员无需在Cairo中重写代码，从而使整个过程更加顺畅。
其他挑战包括项目的保密性质，由于担心先发优势和获取粘性用户群，许多项目违背了加密的开源精神。大多数ZK-rollups是今年首次推出的，突显了该领域尚未完成的工作量。
最后，虽然Rollup可以改进速度和成本，但它往往以去中心化为代价。这是由于对定序器的内在需求，参与者打包处理交易并将证明提交给L1。目前，所有Rollup都需要一个中心化的定序器，并使用由单个实体管理的可升级智能合约。因为这个领域还出于早期阶段，所以通常需要中心化的方式来快速修复代码中的错误。此外，这些项目不是开源的，为社区成员充当定序器创造了另一个障碍。许多项目都表示他们计划在未来将他们的定序器功能去中心化，但这无疑需要额外的资源和时间。
去中心化
启动Token和开源代码将是许多项目寻求去中心化的下一步安排。将这些服务进行Token化以产生活动并使产品去中心化是我们预计会看到各种不同解决方案出现的另一个领域，因为项目试图创建市场上最具可扩展性、去中心化和活跃的L2。StarkWare?和zkSync都计划推出Token，Polygon可能会使用MATIC来支持Polygon的zkEVM计划。ZK-rollups上的Token设计是一个比optimisticrollup技术更新生的领域，找到一个有效和可持续的模型可以区分和促进采用。
未来
zkEVM?仍处于起步阶段，竞争仍在主网上线。StarkNet?具有先发优势，但由于使用?Cairo，仍然存在支持?Solidity?功能的挑战，为竞争对手留下了改进的空间。能够积累大量用户的项目将吸引DApp开发人员，反过来又会吸引更多的?DApp?到自己的平台，增加功能集。基于这种考虑，ConsenSys?的?zkEVM?目前正在转移到测试网络，并专注于?DApp?开发人员，利用?MetaMask、Infura和?Truffle?等工具，使他们可以像直接使用以太坊一样部署和管理应用程序。
虽然我们已经讨论了?zkEVM市场中的当前参与者，但像Polygon、Optimism和Arbitrum这样的其他主要Rollup解决方案仍占有相当大的市场份额。随着?zkEVM?解决方案的成熟，我们可能会看到这些项目寻求转向有效证明或混合解决方案，利用它们现有的用户群来吸引?DApp?开发并维护它们的市场优势。最后，许多Rollup解决方案将继续提高web3用户体验，并为平台引入应用程序，以吸纳下一代用户。
鉴于这些威胁，我们并不感到惊讶该领域的项目保密手段，但我们相信真正的获胜者将能够利用?ZK-rollup?的效率，并将其与无缝的开发人员和用户体验相结合，从而取得胜利。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。