金色观察 | zkEVM赛道详解：五大项目及其测试网进展
文/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://polygon.technology/blog/your-three-step-guide-to-using-polygon-zkevm-yes-its-that-easy
zkSync 2.0总结
类型 4 zkEVM (高级语言等同)。
它的工作原理是支持与以太坊编码语言（Solidity和Vyper）的兼容性，然后转换成它理解的另一种语言（Yul）。
需要了解的重要事实：
-
优势包括更快的证明时间。
-
缺点是较不兼容。
-
在语言级别运行。
-
zkSync 2.0测试网仍然有效。
-
利用zkPorter提高其可扩容性（最高20,000 TPS）
测试网链接：https://portal.zksync.io/bridge
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://scroll.io/prealpha
StarkNet zkEVM总结
类型 4 zkEVM（高级语言）就像 zkSync 2.0
需要了解的重要事实：
-
大多数zkEVM项目使用zkSNARK，而Starkware的StarkNet使用zkSTARK。
-
优势包括快速证明时间。
-
缺点包括更多的不兼容性。
-
在语言级别运行，如zkSync 2.0，而不是在字节码级别。
Alpha主网已上线
Alpha主网链接https://starkgate.starknet.io
Taiko zkEVM总结
Type 1 zkEVM（完全等同于以太坊）。
需要了解的重要事实：
-
优势包括完美的兼容性。
-
完全开源。
-
优先考虑以太坊等价性而非ZK证明者速度
-
3个核心架构组成：1、zkEVM电路——用于证明生成。2、L2 Rollup节点——用于管理Rollup Chain。3、L1 上的协议：连接前者和后者以进行Rollup协议验证。
Taiko测试网信息：https://taiko.xyz/docs/alpha-1-testnet-guide/get-started