当我们讲到ETH L2的时候,基本都在讲Rollup,其他技术方案(侧链,状态通道已被淘汰),而备受讨论的OP Rollup和ZK Rollup之争,成为现在主流讨论的话题,但在主流加密讨论中,ZK方案将是Rollup终局技术!

而就在前不久 a16zcrypto 发布了最近的zkEVM解决方案Jolt,比传统技术方案快2倍,且简洁高效。

除了目前的Jolt外,还有一个备受期待的解决方案是由 MetisL2 孵化的 ProjectZKM ,独有的zkMIPS证明架构,极具潜力。

来详细了解一下各ZK方案以及 Metis 独有的ZKM优势!

1/ zkVM & zkEVM

zkVM是指零知识虚拟机,zkEVM是零知识ETH虚拟机。两者概念非常相似,皆是验证程序的正确执行,它们之间的主要区别在于程序是在链上运行(zkEVM)还是链下运行(zkVM),是否用智能合约语言编写且支持智能合约(zkEVM)。

但传统的zkVM在生成证明的过程中会进行大量繁琐计算,因此性能低下,暂未被广泛使用。

2/ZKM (@ProjectZKM)

ZKM正在构建一个通用的zkVM,名为zkMIPS,旨在提供一种安全可验证计算的解决方案。

zkMIPS具有不错的潜力:
• 良好的隐私性,能隐藏信息的前提下证明你拥有该数据
• 良好的容量占用,比原始数据小,可以为大量数据创建证明
• 可验证计算使其在云计算、区块链和机器学习中使用无需信任的数据

3/ ZKM

zkMIPS机制:

zkMIPS 证明采用了FRI协议,为了提高简洁性,做了诸多优化:
①程序分段,采用并行证明每个片段
②所有分段大小相同,延续证明的效率最大化
③相较于Jolt方案 ,优化了查找路径,降低了成本
④链下和链上编程语言可轻松编译为MIPS,EVM兼容性更广泛

上述优势,使得ZKM提供了更快,更安全,更兼容的解决方案。

4/ Hybrid Rollup

ZKM的路线图中,第一阶段里面将开发一种成为一种由Op Rollup和ZK Rollup混合而成的Hybrid Rollup,兼具两者优势,这也是 #Metis 杀手锏之一。

介绍之前我们先用一个快餐店的例子来简单介绍下什么是Rollup:

在一个拥挤的快餐店中,餐厅为了解决每日结账拥堵的问题,餐厅引进了新的收银系统,允许月内所有客户订单捆绑到一笔交易中。

所有订单捆绑到一笔处理能明显提升收银结账的效率,减缓餐厅的拥堵程度,增加翻台率。

5/ Hybrid Rollup

相似地,Rollup的原理就是将以太坊上多个交易捆绑在一起,然后在以太坊网络之外处理,仅将最终结果合并传到链上,从而有效减少拥堵。

目前主流的两种Rollup是OP和ZK:

• OP将所有数据打包后链下处理,但是有等待期,如果无人提出交易质疑就会上传汇总,缺点便是时间成本较高。

• ZK使用零知识证明来验证交易有效性,时间成本低但难以处理复杂交易。

6/ Hybrid Rollup

由此可见OP和ZK都各有优劣,因此混合Rollup便应运而生。

在Rollup的前端类似于OP,然而大多数交易使用ZK进行验证,通过验证的交易无需等待OP的7天欺诈挑战便能直接提交到L1上。只有未通过验证的交易才会进入OP的7天欺诈挑战阶段。

其优势在于保留了原有OP架构的同时大大缩减了验证所需的时间成本,并且安全性和效率得以保障。

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 的最大不同和优势之一。

9/ @MetisL2

除了优秀的混合Rollup方案外,作为一个明星L2公链,Metis自身另一个特点在于其优秀的去中心化排序器。

目前例如 #ARB 和 #OP 的排序器都相对中心化,存在审查性、MEV提取、单点故障的潜在弊端。

而Metis通过建立了一个排序器池来解决上述问题。

10/ @MetisL2

Metis的排序器池中有众多排序器共同工作,对交易进行排序和打包。每一个排序器都是一个节点,需要用户选举为白名单用户,并且质押20000枚 $METIS 代币即可。

这样的模式好处在于:
• 大大提高了去中心化程度
• 大大提高了排序和打包效率
• 同时能把单点故障损失降到最小

总结:


Metis是我们为数不多看好的ETH L2项目, @MetisL2 孵化的 @projectzkm ZK技术方案,极具创新优势和潜力。而在目前L2市场中,Metis与ZKM的解决方案在L2中较为亮眼,同时Metis团队也拿出价值4亿美金的 $METIS 作为生态激励基金,在一众L2中也受到了大量关注。因此,#Metis 未来前景不可估量!