以太坊:零知识证明正在改变以太坊的游戏规则_TROLLER价格

作者：

时间：

编译：Yuanshan@Web3CN.Pro

作者：William M. Peaster

从区块链层面出发，以太坊生命的初始阶段是单一的（monolithic）。这意味着在最初的几年里，Layer 1以太坊主网全权负责执行自己的交易，促进自己的网络安全，并为自己的数据可用性提供服务。

然而，在过去的几年里，以太坊一直在迅速转向模块化设计（modular design）。这意味着对以太坊的运行来说，采用外部第三方解决方案对自身进行扩展，是一种理想的方式。

比如近年来，像Arbitrum和zkSync等Layer 2项目的兴起，它们在以太坊之外（即链下）执行交易，然后有效地将批量交易“Rollup”到以太坊Layer 1，在此过程中提供便宜、合理的价格和便捷的用户体验。

Modular Ethereum - via Ultra Scalable Ethereum

a16z crypto引入Lasso和Jolt工具来增强零知识证明:金色财经报道，风险投资公司 Andreessen Horowitz 的加密货币部门 a16z crypto 推出了 Lasso 和 Jolt，这是一对基于简洁非交互式知识论证（SNARK）的新工具。SNARK 是一种零知识证明，有可能促进第 2 层空间中的可扩展 ZK Rollup，这通常被视为计算密集型。Lasso 是 a16z 两篇研究论文的主要创新，它采用了“查找参数”机制，有利于更快的零知识证明。它将特定的输入与相应的输出相匹配，而不泄露额外的信息。该团队指出，Lasso 引入了一种简化的方法来验证 SNARK，通过对大量结构化表执行查找来避免繁琐的手动优化电路。[2023/8/11 16:18:58]

从L1到L2

今天，以太坊L1本身实现了30笔/秒的交易（TPS）。但为了更好地处理全球链上活动，且不会造成重大网络拥塞（高费用、慢速），L2的扩展创新将给以太坊带来更强大的能力。

具体而言，实现这样的优秀能力有两种主要类型的解决方案：链上扩展和链下扩展。链上扩展是指直接对区块链进行任何更改，以提高其交易执行能力，即吞吐速度。对以太坊来说，分片（ sharding）就是一个例子。它把以太坊活动的负载分散到数十个主链，而不是单一的主网上。

MetisDAO：正结合Optimistic Rollup和零知识证明构建首个混合Rollup:金色财经报道，以太坊扩容解决方案MetisDAO官方宣布，正在通过将Optimistic Rollup架构与零知识证明相结合来构建首个混合Rollup，为以太坊开发人员提供安全、对开发人员友好的第2层，以部署所有类型的去中心化应用程序。[2023/3/3 12:40:27]

The future of Ethereum L2s + shards - via Vitalik Buterin

链下扩展是指在链下执行交易执行能力，即L2。链下扩展不像分片一样将 L1 拆分为许多主链，而是在外部构建第2层。

以太坊的叙事也正逐渐从L1向L2转变。

而当谈到L2时，当下最受欢迎的解决方案之一是ZK Rollup（零知识汇总）。这是因为在速度上，以太坊和它不在一个层级。ZK Rollup可以实现大约2000 TPS的速度，而以太坊目前是30 TPS。

欧易OKX宣布将基于全览默克尔树、零知识证明升级储备金证明:3月2日消息，据欧易 OKX 官方消息，平台宣布在未来几个月内升级储备金证明，将基于全览默克尔树、零知识证明的技术来证明偿付能力。后续将允许任何人查阅默克尔树中的所有资产情况，但也会通过拆分和洗牌的方式保障用户隐私。

据了解，除储备金干净度为 100% 外，欧易 OKX 是目前唯一一家同时实现默克尔树开源验证、钱包地址所有权开源验证、链上资产开源验证的交易平台。自去年 11 月份以来，欧易按月定期发布 PoR 报告，持续引领行业提升透明度。[2023/3/2 12:38:51]

依靠以太坊安全性的同时，ZK Rollup既带来了高效的运行速度，又提供了低廉的价格，受到当前资本及市场对它的极大关注。其中一些L2项目也在飞速发展，如：

dYdX：加密货币和衍生品交易所，TVL（总锁定价值）达$375

MLoopring：L2交易，NFTs，TVL达$121

MzkSync Lite：L2 交易，NFTs，TVL达$65M

以太坊ZK Rollup扩容方案Hermez Network正在开源零知识证明模块:据官方消息，以太坊ZK Rollup扩容方案 Hermez Network表示，正在开发一个名为Rapidsnark新的zk-SNARKs零知识证明模块，目前已经发布并开放了源代码。[2021/2/2 18:43:40]

Space：L2交易，NFTs，TVL达$49M

Four of the largest 10 L2s today are ZK rollups - via L2BEAT

从ZK Rollup到zkEVMs

ZK rollup有两个主要架构：链上以太坊智能合约和基于以太坊交易和执行环境的链下虚拟机（VM）。

zkEVM则是与以太坊虚拟机（EVM）兼容的 ZK rollup，即以太坊 L1 的执行环境。

西班牙跨国银行BBVA探索零知识证明及加密技术:5月4日消息，总部位于西班牙的跨国银行Bilbao Vizcaya Argentaria银行（BBVA）宣布与马德里研究中心IMDEA Software Institution合作，以探索零知识证明（ZKP）以及其他“先进的加密技术”。（Cointelegraph）[2020/5/5]

Illustration of Polygon zkEVM’s general approach to scaling - via Polygon

在以太坊开始扩容竞赛时，像Arbitrum和Optimism这样的Optimistic Rollup具有巨大的优势，因为它更容易与EVM兼容甚至完全等效。这种技术“亲和力”使应用程序可以轻松地移植其代码，并使用从L1到L2的自己喜欢的工具，这是很棒的用户体验。

相比之下，ZK Rollup从定制的虚拟机（VM）开始，意味着项目需要进行大量的工作，即“解释”来自 EVM 的代码或使用从头开始编写的新代码（截至2023年3月，多个ZK Rollup项目现在即将推出自己的zkEVM实现）。

因此，zkEVM的到来代表了Vitalik Buterin在2021年预测的重要一步，即“随着技术的改进，中长期来看，ZK Rollup将在所有用例中胜出。由于 ZK Rollup使用了加密证明，因此与Optimistic Rollup相比，它们具有内置的隐私和安全优势。当您将 EVM 兼容性添加到组合中时，ZK Rollup有可能在未来超越Optimistic Rollup”。

Type1、Type2 zkEVM的竞赛进行时

如果说以太坊“扩容战”是指Optimistic Rollup和ZK Rollup之间的竞争，以提供最佳的区块链扩容解决方案。那么发生在ZK Rollup内部之间的竞争也才刚刚开始，即看看哪个团队能够实现Vitalik Buterin定义的第一个“Type 1”和“Type 2”zkEVM。