金色观察 | zkEVM赛道详解:五大项目及其测试网进展

admin  2023-01-19 22:22  评论 0 条

文/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(高级语言等同)

金色观察 | 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)

金色观察 | zkEVM赛道详解:五大项目及其测试网进展

测试网链接: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

本文地址:http://www.xinhua1net.com/vfr/18780.html
版权声明:欢迎分享本文,转载请保留出处!

发表评论


表情