原文:《ZKs有什么新的？》作者威廉·m·皮斯特
编译:凯尔
如果您对加密领域有深入的了解，那么您一定听说过ZK证明及其应用。他们在线…或者非常接近在线…或者他们的一个版本就在眼前？这个信息很难追踪。
ZK有各种各样的实现-今天我们将传递一些关于ZK世界如何发展的更新。
ZK怎么样了？在区块链术语中，我们认为以太坊生命的初始阶段是一元的。
这意味着在最初几年，“L1”以太网主网络完全负责执行自己的事务，促进自己的网络安全，并为自己的数据可用性提供服务。
在过去的几年中，以太坊一直在快速转向模块化设计，这意味着围绕以太坊构建的外部第三方解决方案越来越多地用于扩展以太坊的数据和执行需求。
模块化以太坊来源:超可扩展以太坊在数据可用性方面，Celestia和Polygon Avail等项目是竞争对手。至于执行，近年来，我们看到了Arbitrum和zkSync等“L2”的兴起，它们在以太坊之外(即链下)执行交易，然后将交易批量有效地“汇总”到以太坊L1，在此过程中提供了令人难以置信的实惠和快速的用户体验。
今天，以太坊L1本身每秒钟可以处理30笔交易。为了更好地处理全局的活跃度而不出现严重的网络拥塞(成本高，交易慢)，以太坊越来越依赖于扩展创新来优化自己的执行能力。有两种主要类型的解决方案:链上扩展和链外扩展。
链上扩展是指直接改变区块链，以提高其事务执行能力，即吞吐速度。对于以太坊来说，一个例子就是碎片化。这一创新一旦实施，活动负载将分布到几十个主要的、神圣的以太坊连锁，而不是单一的主网。
以太坊L2+碎片化的未来——来自Vitalik Buterin chain的延伸指的是外部执行环境，即L2，在以太坊之外推动廉价、快速的交易，然后将交易数据批量发布到以太坊完成活动，继承以太坊的安全性。链下扩展并没有像切片一样把L1分成很多主链，而是培养出一个由很多外部rollup组成的次级层，这些层是非常可定制的。
ZK卷:基于ZK的领先离线扩展技术。说到L2，最流行的当代解决方案是ZK卷。值得注意的是，这些rollup可以提升2,000 TPS左右，比以太坊目前的30 TPS速率提升了6500%！
这种特殊的L2风格使用“ZKP”技术，如SNARKs，以加密的方式在以太坊上验证和发布其交易批次。因此，通过零知识证明(ZKP)将链下的执行和链上的数据结合起来，就会得到ZK rollup(相反，通过欺诈证明将链下的执行和链上的数据结合起来，就会得到一个最优rollup)。
总结一下，L2节拍追踪的五个最大的ZK汇总如下:
DYdX——加密货币和衍生品交易所|＄3.75亿TVL
道路印刷协议-用于交易，NFT L2 |＄1.21亿TVL
ZkSync Lite——NFT L2交易|＄6500万TVL
ZK space——L2交易，NFT |＄4900万TVL
阿兹特克连接——L2为私人DeFI |＄1500万TVL
今天的十大L2中有四个是来自L2节拍的ZK汇总。今天领先的ZK上卷是使用StarkEx技术(如dYdX和Loopring)或基于zkSync的代码(如zkSync Lite和ZKSpace)构建的。然而，有更多ZK汇总没有链接到这些技术栈，如Aztec Connect，值得您注意。
然而，关于有效性和意志，ZK·罗博并不是当代以太坊扩张场景中唯一值得注意的基于ZK的解决方案。这里要注意的另外两个扩展是Validium和Volitions。
Validiums执行离线交易，并通过离线零知识证明维护其数据。这种方法与ZK rollups将数据批量发送到以太坊的方式形成对比(即，将数据发布到链中)。那么，数据存储在哪里是ZK汇总和验证之间的关键区别。
Validiums的“双链”方法使它们最终得到管理，因为数据是由可信方维护的。但是validium在不信任上所欠缺的，用优秀的性能来弥补，因为最强大的validium可以提升+20000 TPS。
目前，两个比较著名的validium项目是Immutable X，这是一个以NFT为中心的扩展解决方案，TVL为1.23亿美元，以及Sorare，这是一个幻想体育数字卡牌游戏，TVL为2100万美元。目前值得关注的其他验证还有ApeX、rhino.fi、Myria。
至于意志，它们是StarkWare团队创造的创新，是ZK-rollup和validium的交集。也就是说，只要用户愿意，可以在在线和离线数据可用性之间进行选择。这为应用程序提供了TPS性能验证级别的选项，同时仍能与非托管ZK汇总技术进行互操作。Zkport，zkSync全新突破机制，是一个值得关注的意志体系。
图片来源:Matter LabszkEVM作为扩展的圣杯，考虑一下ZK-rollup的架构是如何由两个主要组件组成的:一个用于接收和跟踪L2块数据的链上以太坊智能合约，以及一个作为基于以太坊的事务执行环境的链下虚拟机(VM)。
那么，zkEVM就是兼容以太坊虚拟机(EVM)的ZK-rollup，也就是以太坊L1的执行环境。
多边形zkEVM的一般展开方法图解在以太坊的展开竞赛之初，Arbitrum和Optimi等最优的拉升具有很大的优势，因为这种风格的拉升最初与EVM更兼容，甚至完全等价。这种技术亲和力使得应用程序可以很容易地移植他们的代码，使用他们喜欢的工具从L1迁移到L2，这是一个伟大的UX。
相比之下，ZK式的扩展使得ZK从定制的虚拟机开始，这意味着该项目需要更多的工作来“解释”来自EVM的代码或使用从头编写的新代码。然而，截至2023年3月，几个ZK的rollups项目现在显然即将宣布他们自己的zkEVM实现！
因此，zkEVM的到来代表了Vitalik Buterin在2021年预测的重要一步，即“从中长期来看，随着技术的提高，ZK rollups将在所有用例中获胜。因为使用加密来证明ZK汇总具有优于最优汇总的内置隐私和安全优势，所以当您将EVM兼容性添加到组合中时，ZK汇总在未来可能会超过最优汇总。
术语“扩张战”指的是Optimal Rollups和ZK rollups团队之间的友好和非正式竞争，以提供最佳的区块链扩张解决方案。
然而，在ZK卷本身还有另一场比赛，这是一场非正式的比赛，看哪支球队能够实现维塔利克·布特林定义的第一个“1型”和“2型”ZK·EVM。
在2022年8月的一篇博客文章中，Buterin提供了一种方法，通过将zkEVM项目从类型1到类型4进行分级来衡量它们的能力。Type 1 zkEVM将完全等同于EVM，甚至可以用来升级以太坊本身，而Type 4 zkEVM只兼容部分以太坊应用。
换句话说，由于涉及的所有工作，实现1型zkEVM还需要一些时间，但现在有许多项目正在研究2型zkEVM。
目前，zkEVM努力的主要来源:不可变的X例如，Polygon zkEVM是类型3 zkEVM，并且正在成为类型2 zkEVM，也就是说，相当于具有一些额外细微差别的EVM。Scroll是另一个著名的团队，目前正在建造Type 2 zkEVM。相比之下，zkSync Era(原名zkSync 2.0)是一款固执己见、有意为之的4型zkEVM，通过定制和zkPorter令人印象深刻的意志力功能来增强。因此，这里的可能性范围是开放的。
zkEVM目前为止的最新进展
来源:messaripolyzkevm主网测试版将于3月27日开始:https://twitter.com/0xPolygon/status/1625529122561597440.
ZkSync时代刚刚向建筑商推出主网，面向普通用户的版本即将推出:https://twitter.com/zksync/status/1626235292268240902.
Scroll刚刚发布了Goerli zkEVM测试网，这是主上线前的最后一步:https://twitter.com/Scroll_ZKP/status/1630258973856395264.
Starknet的Kakarot zkEVM已经处于3型状态，并且正在加速:https://twitter.com/dimahledba/status/1606270836922585098.
新区块链UX时代的曙光总有一天，以太坊本身可能会升级为1型zkEVM进行进一步的连锁扩张。同时，作为潜在升级的补充，从2型到4型的外部zkEVM将继续蓬勃发展，并为开发者和用户提供独特的定制和UX增强，这是以太坊L1无法做到的。
总之，ZK rollups 空(或者整个L2 空)的终极目标是zkEVM，而这些努力的第一步即将到来。2023年将是每日加密货币的用户首次可以尝试zkEVM的一年，所以如果你想参与，请密切关注Polygon、zkSync、Starknet和Scroll，因为这些团队的最新扩展进度已经付诸实践！
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"ZK扩容赛道现状观察：谁能脱颖而出？"：http://www.guoyinggangguan.com/qkl/177035.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
