原文：《What’s New with ZKs?》by William M. Peaster
编译：Kyle
如果您深入了解加密世界，那么您已经听说过零知识证明（ZK Proof）及其应用已有一段时间了。他们已上线……或者非常接近上线……或者他们的某个版本就在眼前？这些信息很难跟踪。
ZK 拥有各种各样的实现——今天我们将通过一些关于 ZK 世界如何发展的更新。
在区块链术语中，我们认为以太坊生命的初始阶段是单体的。
这意味着，在最初几年，「第一层（L1）」以太坊主网完全负责执行自己的交易，促进自己的网络安全，并为自己的数据可用性提供服务。
在过去的几年里，以太坊一直在迅速转向模块化设计，这意味着围绕以太坊构建的外部第三方解决方案越来越多地被用来扩展以太坊的数据和执行需求。
模块化以太坊丨来源：Ultra Scalable Ethereum在数据可用性方面，Celestia 和 Polygon Avail 等项目是竞争者。至于执行，近年来我们看到像 Arbitrum 和 zkSync 这样的「第二层（L2）」的兴起，它们在以太坊之外（即链下）执行交易，然后有效地将交易批量「汇总」（rollup）到以太坊 L1，在此过程中提供令人难以置信的实惠和快速的用户体验。
今天，以太坊 L1 本身每秒促成可怜的约 30 笔交易（TPS）。为了更好地处理全球活动水平而不会出现严重的网络拥塞（高费用、缓慢的交易），以太坊越来越依赖于扩展创新来优化其执行能力。这里有两种主要的解决方案类型：链上扩展和链下扩展。
Aztec宣布将推出混合型zkRollup网络，计划2024年初之前上线公共测试网:5月4日消息，Aztec宣布将推出一个混合型zkRollup网络，该网络将继续沿用Aztec的名字，其特点为可以在一种环境内执行公共和隐私的智能合约，这将有助于扩展开发者在该链上的设计选择。
Aztec还表示，团队目前正在完成基本合约部署，预计将在2023年第三季度之前建立本地测试网，而用户和网络利益相关者有望在2024年初之前访问成熟的公共测试网。[2023/5/4 14:43:12]
链上扩展是指直接对区块链进行的更改，以提高其交易执行能力，即吞吐速度。对于以太坊来说，一个例子是分片，一旦这项创新得到实施，将把活动负载分散到几十个主要的、神圣的（enshrined）以太坊链上，而不是单一的主网上。
以太坊 L2 + 分片的未来 - 来自Vitalik Buterin链下扩展是指外部执行环境，即 L2，它促进以太坊之外的廉价和快速交易，然后将交易数据批量发布到以太坊以完成活动并继承以太坊的安全性。链下扩展不是像分片那样将 L1 分成许多主链，而是培养了一个由许多外部 rollup 组成的二级层，这些层的可定制性非常好。
谈到 L2，最流行的当代解决方案是零知识 rollup（ZK rollup）。值得注意的是，这些 rollup 可以促进大约 2,000 TPS，比以太坊目前的 30 TPS 速率增加了 6,500%！
去中心化投注平台ZKasino已在BNB Chain和Polygon主网上线:1月23日消息，去中心化投注平台ZKasino宣布已正式在 BNB Chain 和 Polygon 主网上线，玩家现可使用 Polygon 上的 USDC 或 BNB Chain 上的 BUSD 对他们最喜欢的游戏进行投注。[2023/1/23 11:26:55]
这种特殊的 L2 风格使用了「零知识证明（ZKP）」技术，例如 SNARKs，以加密方式验证并在以太坊上发布其交易批次。因此，通过零知识证明（ZKP）将链下执行与链上数据结合起来，您将获得 ZK rollup（相反，通过欺诈证明将链下执行与链上数据结合起来以获得 Optimistic rollup）。
综上所述，L2 BEAT 目前跟踪的五个最大的 ZK rollup 如下：
dYdX—加密货币和衍生品交易所 | 3.75 亿美元 TVL
路印协议—用于交易，NFT 的 L2 | 1.21 亿美元 TVL
zkSync Lite—用于交易，NFT 的 L2 | 6500 万美元 TVL
ZKSpace—用于交易，NFT 的 L2 | 4900 万美元 TVL
Aztec Connect—用于私人 DeFI 的 L2 | 1500 万美元 TVL
zkTube 于9月3日启动主网权益映射:据zkTube Labs最新消息：9月3日，zkTube启动主网权益映射，持有主网ZKTR令牌的用户需在9月10日之前转入最新版V1.0.9 PayTube 钱包内，参照官方教程即可完成ZKT映射。
注：PayTube钱包最新版本（V1.0.9）将9月3日提交至（IOS）APP Store与(Android) Google Play，具体最新版钱包可下载时间以服务商通过审核为准。[2021/9/3 22:56:54]
今天最大的 10 个 L2 中有四个是 ZK rollup - 来自 L2 BEAT当今领先的 ZK rollup 是使用 StarkEx 技术（例如 dYdX 和 Loopring）或基于 zkSync 的代码（例如 zkSync Lite 和 ZKSpace）构建的。然而，还有更多未链接到这些技术栈的 ZK rollup 也值得你关注，比如 Aztec Connect。
然而，ZK rollup 并不是当代以太坊扩容场景中唯一值得注意的基于 ZK 的解决方案。这里要注意的另外两种扩展方式是 Validium 和 Volitions。
Validiums 执行链下交易并通过链下零知识证明维护其数据。这种方法与 ZK rollups 如何将数据分批发送到以太坊上（即将其发布到链上）形成对比。那么，数据存储在哪里是 ZK rollups 和 validiums 之间的关键区别。
Validiums 的「双链下」方法使它们最终成为托管的，因为数据由可信方维护。然而，validiums 在无信任方面所缺乏的，它们以出色的性能弥补了这一点，因为当今最强大的 validiums 可以促进 +20,000 TPS。
ZKSwap将向L1和L2持仓用户空投8000万ZKS:据官方消息，ZKSwap项目决定对所有在Layer1(所有交易所和独立钱包地址)和Layer2以及锁仓合约里面持有ZKS的用户进行1:1的空投，空投代币来自项目长期激励计划部分，空投快照时间为北京时间2月25日早上10点。空投将只针对目前已经流通的8000万个代币进行空投，因为团队第一年不持有任何代币，因此团队不会获取任何空投，天使投资人也不会获取任何空投。天使投资人的代币会和空投的8000万个代币，进行同步释放，天使投资人在2月25日解锁的大部分代币，会参与长期锁仓和Staking计划，2月25日也将同步解锁顾问团队0.33%的代币。
注：Uniswap和ZKSwap 关于ZKS/USDT的流动性在空投期间会临时移除。[2021/2/20 17:34:26]
目前，两个更知名的 validium 项目是 Immutable X，一个以 NFT 为中心的扩展解决方案，TVL 为 1.23 亿美元，以及 Sorare，一个幻想体育数字纸牌游戏，TVL 为 2100 万美元。目前值得关注的其他验证包括 ApeX、rhino.fi 和 Myria。
至于 Volitions，它们是 StarkWare 团队创造的一项创新，它们是 ZK-rollup 和 validium 之间的交叉。这就是说，只要有意愿，用户就可以在链上和链下数据可用性之间进行选择。这为应用程序提供了 TPS 性能验证级别的选项，同时仍可与非托管 ZK-rollup 技术互操作。zkSync 的新突破性 zkPorter 机制就是一个值得关注的 volition 系统。
动态 | 安永使用Zk-SNARKs扩展以太坊 可批量处理20笔交易:据Trustnodes 12月5日消息，安永区块链全球创新主管Paul Brody公开宣布了一个开源代码库的新更新，该代码库在以太坊公链供应链中使用了Zk-SNARKs。Brody表示：“我们承诺到2019年底每笔交易的价格低于1美元，我们以较大的优势锁定了这一目标。我们的第一个版本的交易批量处理，一次最多可以在零知识的情况下进行20笔交易。在这个版本中完成全部20笔交易可以将gas成本降低到大约0.24美元。这包括批量处理和减少Merkle树更新的新工具”[2019/12/6]
图片来源：Matter LabszkEVM 作为扩展的圣杯考虑一下 ZK-rollup 的架构如何包含两个主要组件：接收和跟踪 L2 区块数据的链上以太坊智能合约，以及作为基于以太坊的交易的执行环境的链下虚拟机 (VM)。
那么，zkEVM 是与以太坊虚拟机 (EVM) 兼容的 ZK-rollup，即以太坊 L1 的执行环境。
Polygon zkEVM 的一般扩展方法的图示在以太坊扩容竞赛之初，像 Arbitrum 和 Optimism 这样的 optimistic rollups 具有巨大的优势，因为这种风格的 rollups 最初更容易与 EVM 兼容甚至完全等效。这种技术亲和力使得应用程序可以轻松地移植他们的代码，并使用他们最喜欢的从 L1 迁移到 L2 的工具，这是很棒的 UX。
相比之下，ZK 式扩展的特性使得 ZK rollups 从定制的 VM 开始，这意味着项目因此需要更广泛的工作来「解释」来自 EVM 的代码或使用从头开始编写的新代码。不过，截至 2023 年 3 月，多个 ZK rollups 项目现在明显即将公布他们自己的 zkEVM 实现！
因此，zkEVM 的到来代表着 Vitalik Buterin 的 2021 年预测迈出了重要一步，即「从中长期来看，随着技术的改进，ZK rollups 将在所有用例中胜出。」由于使用加密证明，ZK rollups 比 optimistic rollups 具有内置的隐私和安全优势，因此当您将 EVM 兼容性添加到组合中时，ZK rollups 有可能在未来胜过 optimistic rollups。
「扩展战争」一词指的是在 optimistic rollups 和 ZK rollups 团队之间发生的友好、非正式的竞争，以提供尽可能最好的区块链扩展解决方案。
然而，在 ZK rollups 领域本身还有另一场比赛，这是一场非正式的比赛，看哪个团队能够实现 Vitalik Buterin 定义的第一个「1 型（Type 1）」和「2 型（Type 2）」zkEVM。
Buterin 的 zkEVM 类型在 2022 年 8 月的一篇博文中，Buterin 提供了一种衡量 zkEVM 项目能力的方法，方法是提出从 Type 1 到 Type 4 的等级来对它们进行分级。Type 1 zkEVM 将与 EVM 完全等效，甚至可以用于升级以太坊本身，而 Type 4 zkEVM 仅与某些以太坊应用程序兼容。
也就是说，由于涉及的所有工作，Type 1 zkEVM 实现还需要一段时间，但现在有多个项目正在研究 Type 2 zkEVM。
当前主要的 zkEVM 努力丨来源：Immutable X例如，Polygon zkEVM 是 Type 3 zkEVM，并且正在成为 Type 2 zkEVM，即具有一些额外细微差别的 EVM 等价物。Scroll 是另一个著名的团队，目前正在构建 Type 2 zkEVM。相比之下，zkSync Era（以前称为 zkSync 2.0）是一种固执己见、有意为之的 Type 4 zkEVM，它通过自定义功能和 zkPorter 令人印象深刻的意志力功能得到增强。相应地，这里的可能性范围是敞开的。
资料来源：MessariPolygon zkEVM 主网测试版将于 3 月 27 日开始：https://twitter.com/0xPolygon/status/1625529122561597440
zkSync Era 刚刚向建设者推出了主网，普通用户可用的版本即将到来：https://twitter.com/zksync/status/1626235292268240902?
Scroll 刚刚发布了 Goerli zkEVM 测试网，这是主网上线之前的最后一步：https://twitter.com/Scroll_ZKP/status/1630258973856395264?
Starknet 的 Kakarot zkEVM 已经处于 Type 3 状态并且正在加速：https://twitter.com/dimahledba/status/1606270836922585098?
终有一天，以太坊本身可能会升级到 Type 1 zkEVM 以进一步进行链上扩展。与此同时，作为潜在升级的补充，从 Type 2 到 Type 4 的外部 zkEVM 将继续蓬勃发展，并为开发人员和用户提供独特的定制和 UX 增强，这是以太坊 L1 无法做到的。
总而言之，ZK rollups 空间（也可以说是整个 L2 空间）的最终目标是 zkEVM，而这些努力中的第一个即将到来。2023 年将是日常加密货币用户将能够首次尝试 zkEVM 的一年，因此如果你想参与进来，请密切关注 Polygon、zkSync、Starknet 和 Scroll，因为这些团队的最新扩展进展已付诸实践！
DeFi之道
个人专栏
阅读更多
金色财经 善欧巴
金色早8点
Odaily星球日报
欧科云链
Arcane Labs
MarsBit
深潮TechFlow
BTCStudy
澎湃新闻
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。