详解 Metis 技术优势 打开去中心化新篇章
A16z Crypto 发布 Jolt:加速区块链扩展操作
2024年4月10日,A16z Crypto发布了名为Jolt的零知识解决方案,旨在加速和简化区块链扩展操作。
Jolt集成了SNARK(非交互式简洁零知识证明)技术,使开发人员能够快速创建基于SNARK的L2解决方案。团队还表示,Jolt比目前的zkVMs快速度提高了2倍。
ZK技术一直是加密行业的重要话题之一,而ZK-Rollup更是被Vitalik称为以太坊长期扩容解决方案。自从去年8月推出Jolt以来,A16z Crypto今年正式发布,表明了ZK-Rollup仍然是一项重要的技术挑战。
ZK-Rollup已经吸引了许多项目参与,形成了更加细分的技术类别,以区分项目之间的差异性,其中对EVM的兼容性是最具代表性的分类标准。
由于历史原因,EVM存在许多不利于ZK的设计,但许多现有项目早期都是基于EVM构建的。考虑到ZK-Rollup被视为未来的扩容方案,大多数ZK-Rollup项目都必须权衡是更加兼容EVM还是更加兼容ZK。
Metis DAO孵化的ZKM提出了通用的zkMIPS方案,从更底层的角度出发。
zkMIPS通过使用更底层的MIPS指令集来实现程序执行过程到零知识证明的转换,不仅兼容EVM,还可以兼容其他VM,如MoveVM和RustVM,从而使ZK-Rollup能够面向更广泛的开发者。
本文将深入解读Metis在ZK和去中心化Sequencer方面的努力和进展。
ZKM与Hybrid Rollups:OP与ZK的调和
Metis在市场中表现出色的原因之一是其创新的Hybrid Rollups机制,将欺诈证明和有效性证明相结合,兼具两者优点。
ZKM的zkMIPS技术为Metis的Hybrid Rollups提供了强大的兼容性支持,使Metis能够实现ZK和EVM的有机融合。
2.1 Hybrid Rollups的机制与优点
在Hybrid Rollups中,关键角色包括:
Sequencer:负责接收和处理用户交易,确定交易的最佳顺序,并将其打包发布到共识和数据可用性层。
Proposers:评估Sequencer提交的交易和状态根,记录到状态承诺链(State Commitment Chain, SCC)中。
Verifiers:验证Rollup链上的状态根,确保交易的正确性并防止欺诈行为。
在标准的L2解决方案中,Sequencer收集并处理交易,然后将交易数据发布到以太坊主网(L1)。这个过程需要L1进行最终的数据验证和确认,从而确保安全性和一致性。
Hybrid Rollups:下一代Layer 2解决方案
近日,Hybrid Rollups正式发布了其下一代Layer 2解决方案,该方案采用了一种创新的混合方法,有效地处理和优化L2交易,为区块链世界带来了新的突破。
根据相关消息,Hybrid Rollups在交易的发起和处理,状态提交和验证,零知识证明的生成和验证,以及数据和状态的最终确认等方面采取了一系列关键步骤:
-
交易的发起和处理:
用户在L2发起交易,交易将被Sequencer接收并处理,Sequencer将决定这些交易在规范交易链(Canonical Transaction Chain, CTC)中的顺序。
-
状态提交和验证:
Proposers在评估交易后将状态根提交到SCC,随后Verifiers对SCC中的状态根进行审核,以确保其准确无误。
-
零知识证明的生成和验证:
Prover从L1读取数据,生成ZK证明。这一关键特性允许系统在不泄露具体交易内容的情况下验证交易的有效性。一旦ZK证明生成,如果未按时提交,Verifier将启动欺诈证明流程,可能对Sequencer进行惩罚。
-
数据和状态的最终确认:
通过智能合约,一旦ZK证明被验证通过,交易最终确定。L1和L2之间通过智能合约桥接,确保资金和状态的安全转移。
Hybrid Rollups的设计带来了多个显著优势:
-
效率和成本效益:通过使用ZK证明,Hybrid Rollups能够在消耗更少的gas的同时,处理更多的交易。
-
增强的安全性:结合了传统的欺诈证明和ZK证明,即使在遇到潜在的恶意行为时也能保障交易的安全和正确性。
-
可扩展性:利用递归证明,Hybrid Rollups能够处理大规模的交易而不牺牲性能,支持更广泛的区块链应用。
-
兼容性和灵活性:支持多种智能合约和编程语言,使得开发者能够轻松地将现有应用迁移到Hybrid Rollups上。
(本文由 来源链接 提供)