小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

以太坊购物中心,热闹非常、商店很多。大家可在 Uniswap、Curve 等商店做交易,也可在 Axie Infinity 等商店玩游戏。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

以太坊购物中心秉承去中心化原则。当用户消费时,并没有像银行一样的机构,提供统一结算业务。而是由彼此独立的收银台(节点),共同维护一个去中心化账本。这个去中心化账本,就是以太坊区块链本身。由于没有统一的管理者,所以,为了确保每个收银台账本一致,同时,避免某些收银员恶意篡改账本。以太坊购物中心,为每个独立收银台制定了详细的规则。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

首先,每个收银台都要下载这个账本。也就是说,从一开始,大家的账本是一致的。之后,用户开始提交交易。每个收银台都有一个数据包,大家抓取用户提交的交易,努力把数据包填满。然后,大家会按照某个特定提案规则,选择以某个收银台的数据包为准(形成共识)。此时,这个收银台多了一个新数据包(新区块)对不对?所以,他要把自己新数据包的信息广播出去,其他收银台下载这个新数据包。这样,大家的账本又一致了。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

关键问题来了哦!!其他收银台下载完新数据包后,还要校验这个数据包的交易是否真实,如何校验呢?就是要模拟执行一遍该数据包内包含的交易。为了检验交易,收银台还要维护当前状态(用户账户当前余额、智能合约状态等等),存储历史状态等等信息。总的来说,以太坊购物中心收银员们,需要完成共识(保证账本一致)、结算(确认交易)、数据(记录用户当前账户余额和历史交易记录等等)、执行(执行用户交易),四个层面的事情。也就是,通常,会将 Layer1 分为四层:

1)共识层

2)结算层

3)数据层

4)执行层

这使得以太坊很去中心化、很安全,但效率不高,搞得大家常常排队等候结算。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

于是,对以太坊购物中心的“模块化”改建工程开始了。(“模块化”概念最早由 Celestia 团队提出,通常指对以太坊的扩容)改建计划名为 “Rollup”,原理是在原本以太坊购物中心周围,再建几栋大楼,同样作为购物中心。之后,名为 “Arbitrum、Optimism、zkSync、Scroll” 等高楼相继建立,当然,还有一栋是由 Manta Network 建立的 Manta Pacific。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

这些高楼与以太坊主楼由“桥”连接。比如,当用户在 Optimism 楼内购物时,过段时间,Optimism 楼内“收银员”们,会将排序好的用户交易压缩打包,提交给以太坊主楼。以太坊主楼内的收银台进行最终结算,确认用户在 Optimism 楼内购物行为有效。还记得以太坊主楼需要完成共识(保证账本一致)、结算(确认交易)、数据(记录用户当前账户余额和历史交易记录等等)、执行(执行用户交易)四个层面的事情嘛?由此,其他购物中心承担了执行功能,也就是将执行层从以太坊主楼分离,减轻主楼负担。换句话说,各个 Layer2 实际是以太坊执行层,Manta Pacific 也是。以太坊主楼实际成为“结算中心”,确认其他楼内交易最终性。把用户交易迁移到楼内,将以太坊主楼变为结算中心,这个方式确实很巧妙。将用户在其他楼内提交的交易压缩,以打包(Batch)形式提交给以太坊主楼结算中心,可大大提升主楼处理交易的效率。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

问题是,以太坊主楼如何确定,其他购物中心提交的交易是否正确呢?万一其他购物中心收银员作弊呢,恶意篡改用户交易怎么办?于是,以太坊主楼,按两类方式验证交易正确性,欺诈证明(Fraud Proof / Optimistic Rollup)、有效性证明(Validity Proof / ZK Rollup)。欺诈证明基于经济学假设,其他收银员可挑战某收银员作恶,证明其恶意篡改交易信息,若挑战成功,该收银员可获得作恶收银员罚没金。计划采用欺诈证明的购物中心有 Optimism、Arbitrum 等。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

有效性证明基于密码学假设。用户在 zkSync、Starknet、Scroll、Linea 等购物中心交易时,这些购物中心的收银员们,会集合大家的交易信息,生成一个基于密码学的零知识证明(简称 ZK 证明),来证明用户的余额等状态信息,发生了变化。收银员会将 ZK 证明传输给以太坊主楼结算中心,结算中心用密码学方式,验证该 ZK 证明,即可验证该证明代表的交易信息正确性。所以,Optimistic / ZK 代表以太坊主楼验证各个购物中心交易正确性的方式,而 Rollup 代表各个购物中心将发生在自身的交易打包压缩,传输给以太坊主楼结算中心。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

另外一点,由于 ZK 证明涉及用密码学和数学原理生成,加密方式与原有以太坊主楼有很大差异,所以以太坊主楼那套结算系统,实际不怎么支持 ZK 证明生成。也就造成了 zkSync、Starknet、Scroll、Linea 等购物中心,必须要对自己的结算系统进行改造。这一改造,以太坊主楼原有商家,也要学习、适应 zkSync、Starknet、Scroll、Linea 等购物中心新结算系统,对以太坊主楼原有商家,不是很友好。

小学生也能懂的模块化知识(一):为什么 Manta Pacific 是以太坊的执行层

相比之下,Optimism、Arbitrum 为代表的 Optimistic Rollup 购物中心几乎不存在清算系统兼容问题。

其次,尽管 ZK Rollup 购物中心理论上要比 Optimistic Rollup 购物中心安全,但 ZK 清算系统本身的安全性,编写 ZK 清算系统语言的安全性,以及将 ZK 编程语言编译成以太坊原有语言的编译器安全性,实际还都有待时间检验。

此外,目前,Optimistic 与 ZK 的转化也已非常模块化,所以,其实购物中心提供的服务、用户体验、规模效应和网络效应或许更为重要。

关于 Manta NetworkManta Network 是为 ZK 应用设计的模块化生态系统。Manta Atlantic 是最快的 ZK L1,通过合规的链上隐私和 DID 身份,将可编程隐私带入 Web3。Manta Pacific 是目前唯一 EVM 原生支持 ZK 应用的 L2 生态系统,为 ZK 应用提供可扩展和低 Gas 的环境,可直接使用 Solidity 进行部署。Manta Atlantic 和 Manta Pacific 一起,为下一代 Web3 应用开发和采用提供了最佳体验。