zkEVM赛道详解:五大项目及其测试网进展
每个人都在谈论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
微信掃描關注公眾號,及時掌握新動向
2.本文版權歸屬原作所有,僅代表作者本人觀點,不代表比特範的觀點或立場
2.本文版權歸屬原作所有,僅代表作者本人觀點,不代表比特範的觀點或立場