当我们讲到ETH L2的时候,基本都在讲Rollup,其他技术方案(侧链,状态通道已被淘汰),而备受讨论的OP Rollup和ZK Rollup之争,成为现在主流讨论的话题,但在主流加密讨论中,ZK方案将是Rollup终局技术!
而就在前不久 a16zcrypto 发布了最近的zkEVM解决方案Jolt,比传统技术方案快2倍,且简洁高效。
除了目前的Jolt外,还有一个备受期待的解决方案是由 MetisL2 孵化的 ProjectZKM ,独有的zkMIPS证明架构,极具潜力。
来详细了解一下各ZK方案以及 Metis 独有的ZKM优势!
![](https://public.bnbstatic.com/image/pgc/202404/ace71b6d2a543c6955fe01063b7518c8.png)
1/ zkVM & zkEVM
zkVM是指零知识虚拟机,zkEVM是零知识ETH虚拟机。两者概念非常相似,皆是验证程序的正确执行,它们之间的主要区别在于程序是在链上运行(zkEVM)还是链下运行(zkVM),是否用智能合约语言编写且支持智能合约(zkEVM)。
但传统的zkVM在生成证明的过程中会进行大量繁琐计算,因此性能低下,暂未被广泛使用。
![](https://public.bnbstatic.com/image/pgc/202404/c1ffd2104fa901becb5f50f02135126d.png)
2/ZKM (@ProjectZKM)
ZKM正在构建一个通用的zkVM,名为zkMIPS,旨在提供一种安全可验证计算的解决方案。
zkMIPS具有不错的潜力:
• 良好的隐私性,能隐藏信息的前提下证明你拥有该数据
• 良好的容量占用,比原始数据小,可以为大量数据创建证明
• 可验证计算使其在云计算、区块链和机器学习中使用无需信任的数据
![](https://public.bnbstatic.com/image/pgc/202404/038b49f72c3faf7e1bfaf634bf3fed3e.png)
3/ ZKM
zkMIPS机制:
zkMIPS 证明采用了FRI协议,为了提高简洁性,做了诸多优化:
①程序分段,采用并行证明每个片段
②所有分段大小相同,延续证明的效率最大化
③相较于Jolt方案 ,优化了查找路径,降低了成本
④链下和链上编程语言可轻松编译为MIPS,EVM兼容性更广泛
上述优势,使得ZKM提供了更快,更安全,更兼容的解决方案。
![](https://public.bnbstatic.com/image/pgc/202404/01e14bacd4ab089f79516bb86c1a0ab7.png)
4/ Hybrid Rollup
ZKM的路线图中,第一阶段里面将开发一种成为一种由Op Rollup和ZK Rollup混合而成的Hybrid Rollup,兼具两者优势,这也是 #Metis 杀手锏之一。
介绍之前我们先用一个快餐店的例子来简单介绍下什么是Rollup:
在一个拥挤的快餐店中,餐厅为了解决每日结账拥堵的问题,餐厅引进了新的收银系统,允许月内所有客户订单捆绑到一笔交易中。
所有订单捆绑到一笔处理能明显提升收银结账的效率,减缓餐厅的拥堵程度,增加翻台率。
![](https://public.bnbstatic.com/image/pgc/202404/54d49ac6ee03cd4eaa219ae22b64fa88.png)
5/ Hybrid Rollup
相似地,Rollup的原理就是将以太坊上多个交易捆绑在一起,然后在以太坊网络之外处理,仅将最终结果合并传到链上,从而有效减少拥堵。
目前主流的两种Rollup是OP和ZK:
• OP将所有数据打包后链下处理,但是有等待期,如果无人提出交易质疑就会上传汇总,缺点便是时间成本较高。
• ZK使用零知识证明来验证交易有效性,时间成本低但难以处理复杂交易。
![](https://public.bnbstatic.com/image/pgc/202404/1639d798760d4917a1e435082515c7ee.png)
6/ Hybrid Rollup
由此可见OP和ZK都各有优劣,因此混合Rollup便应运而生。
在Rollup的前端类似于OP,然而大多数交易使用ZK进行验证,通过验证的交易无需等待OP的7天欺诈挑战便能直接提交到L1上。只有未通过验证的交易才会进入OP的7天欺诈挑战阶段。
其优势在于保留了原有OP架构的同时大大缩减了验证所需的时间成本,并且安全性和效率得以保障。
![](https://public.bnbstatic.com/image/pgc/202404/eff611548491cdab6671321768c497fc.png)
7/ Hybrid Rollup
因此ZKM总体流程上是:
• 当用户发送交易后,OP排序器将数据整理排序并压缩打包
• 未经挑战的安全数据经过zkMIPS的零知识证明后汇入到L1中
• 被挑战且失败的交易会被最终认定无效
8/ @MetisL2
在业内,Hybrid Rollup还并不常见,设计和落地这样极具创新性的技术方案,其背后团队是 @MetisL2 ,ZKM便是由Metis团队所孵化创立。
Metis原作为以OP Rollup为架构的L2,得益于与ZKM的研发,实现了其从OP Rollup到混合Rollup的升级,这是Metis作为头部L2的相较于 #ARB 和 #OP 的最大不同和优势之一。
![](https://public.bnbstatic.com/image/pgc/202404/20127db76614ca115c6555ba3f84bbbd.png)
9/ @MetisL2
除了优秀的混合Rollup方案外,作为一个明星L2公链,Metis自身另一个特点在于其优秀的去中心化排序器。
目前例如 #ARB 和 #OP 的排序器都相对中心化,存在审查性、MEV提取、单点故障的潜在弊端。
而Metis通过建立了一个排序器池来解决上述问题。
![](https://public.bnbstatic.com/image/pgc/202404/4efca8731b4bad46d966ddd069a4cce3.png)
10/ @MetisL2
Metis的排序器池中有众多排序器共同工作,对交易进行排序和打包。每一个排序器都是一个节点,需要用户选举为白名单用户,并且质押20000枚 $METIS 代币即可。
这样的模式好处在于:
• 大大提高了去中心化程度
• 大大提高了排序和打包效率
• 同时能把单点故障损失降到最小
![](https://public.bnbstatic.com/image/pgc/202404/8d2420bc5df8c06ecb7343ef0c09abb3.png)
总结:
Metis是我们为数不多看好的ETH L2项目, @MetisL2 孵化的 @projectzkm ZK技术方案,极具创新优势和潜力。而在目前L2市场中,Metis与ZKM的解决方案在L2中较为亮眼,同时Metis团队也拿出价值4亿美金的 $METIS 作为生态激励基金,在一众L2中也受到了大量关注。因此,#Metis 未来前景不可估量!
![](https://public.bnbstatic.com/image/pgc/202404/64f14d11353c80c6af6be7aea897d614.png)