金色观察

文/DeFi Saint；译/金色财经0xnative

每个人都在谈论Optimistic Rollups并猜测他们的Airdrops，而忘记了zkEVMs才是圣杯。zkEVM旨在突破ZK Rollups技术的局限性。

以下是你应该了解的有关 zkEVM 的知识以及如何为它们的主网上线做好准备。

在本文中，我将介绍：

1、用于扩容的Optimistic和ZK Rollups；

2、ZK Rollups局限性；

3、zkEVM概述；

4、为什么使用zkEVM？

5、zkEVM类型；

6、zkEVM建设者；

7、zkEVM测试网和Alpha

1、Optimistic和ZK Rollups扩容

Optimistic Rollups处理链下交易，将交易捆绑或rollup回以太坊主网。为了证明交易的有效性，它基于假设并使用“欺诈证明”来验证交易。

ZK Rollups在链下运行计算，它基于数据平衡的最终确定性。ZK Rollups 使用“有效证明”来验证交易，而不基于Optimistic Rollups那样的假设。

它验证交易的方法是通过计算提供加密证明。这并不容易实现，因为计算每笔交易都需要时间。

2、ZK Rollups局限性

• 计算交易需要时间

• 不兼容EVM

看到ZK Rollups技术局限性后，提出了zkEVM来解决这个问题。zkEVM怎么解决呢？

3、zkEVM概述

zkEVM意即零知识以太坊虚拟机（Zero Knowledge Ethereum Virtual Machine），并且由于它的扩容方法而被认为是扩容的“圣杯”。

只需将zkEVM视为ZK Rollups的升级，因为他们旨在将以太坊环境复制为Rollup，允许开发人员像在以太坊上一样在rollup上建设。

为什么选择zkEVM？zkEVM的目标是突破ZK Rollups技术的局限性。不兼容EVM是zkRollups技术的主要缺点，例如Type 4 zkEVM。

4、zkEVM类型

根据Vitalik，zkEVM有5种类型：

• 类型1 zkEVM（完全等同于以太坊）

• 类型 2 zkEVM（完全等同于 EVM）

• 类型 2.5 zkEVM（等同于EVM，除了gas成本）

• 类型 3 zkEVM（几乎等同于EVM）

• 类型 4 zkEVM（高级语言等同）

5、zkEVM建设者

Polygon zkEVM Polygon

zkSync 2.0 Matter Labs

Scroll Scroll团队

StarkNet (zkSNARK) StarkWare

Taiko Taiko团队

6、zkEVM测试网和Alpha

Polygon zkEVM总结

类型 2 zkEVM（完全等同EVM）。

需要了解的重要事实：

• 优势是在VM（虚拟机）级别上的完美等效性。

• 完全开源

• 在字节码级别

指数扩容（引入递归，使其能够使用一个zk有效性证明来验证一批其他zk证明）。

更快的证明时间和更低的费用（< 0.04 美元）

最终测试网已上线

2023年第一季度主网发布。

测试网信息：https://kubaobao.cn/wp-content/uploads/f5/d1ef0802c246d61a7a28e4644286b7.jpg

zkSync 2.0总结

类型 4 zkEVM (高级语言等同)。

它的工作原理是支持与以太坊编码语言（Solidity和Vyper）的兼容性，然后转换成它理解的另一种语言（Yul）。

需要了解的重要事实：

• 优势包括更快的证明时间。

• 缺点是较不兼容。

• 在语言级别运行。

• zkSync 2.0测试网仍然有效。

• 利用zkPorter提高其可扩容性（最高20,000 TPS）

测试网链接：https://kubaobao.cn/wp-content/uploads/92/cfe3b78007605adb4fe8151d1d18ff.jpg

Scroll zkEVM总结：

类型 2 zkEVM（完全EVM等效）

需要了解的重要事实：

• 类似于PolygonzkEVM的字节码级别

• 由3核心架构组成：1、Scroll节点——从用户txns构建L2块，在L1和L2之间传递消息。2、Roller Network——生成zkEVM Validity Proof以证明Txn的正确性。3、Rollups和Bridge Contract：为scroll Txn提供数据可用性，并允许用户在主网和Scroll之间移动资产。

测试网链接：https://kubaobao.cn/wp-content/uploads/4f/688c49acefc134ab61db89cd974901.jpg

StarkNet zkEVM总结

类型 4 zkEVM（高级语言）就像 zkSync 2.0

需要了解的重要事实：

• 大多数zkEVM项目使用zkSNARK，而Starkware的StarkNet使用zkSTARK。

• 优势包括快速证明时间。

• 缺点包括更多的不兼容性。

• 在语言级别运行，如zkSync 2.0，而不是在字节码级别。

Alpha主网已上线

Alpha主网链接https://kubaobao.cn/wp-content/uploads/ea/495a5c2a5494b3a6de80e7c156fe56.jpg

Taiko zkEVM总结

Type 1 zkEVM（完全等同于以太坊）。

需要了解的重要事实：

• 优势包括完美的兼容性。

• 完全开源。

• 优先考虑以太坊等价性而非ZK证明者速度

• 3个核心架构组成：1、zkEVM电路——用于证明生成。2、L2 Rollup节点——用于管理Rollup Chain。3、L1 上的协议：连接前者和后者以进行Rollup协议验证。

Taiko测试网信息：