以太坊购物中心,热闹非常、商铺很多。我们可在 Uniswap、Curve 等商铺做买卖,也可在 Axie Infinity 等商铺玩游戏。
以太坊购物中心秉承去中心化准则。当用户消费时,并没有像银行相同的组织,供给共同结算业务。而是由互相独立的收银台(节点),一同维护一个去中心化账本。这个去中心化账本,便是以太坊区块链自身。由于没有共同的管理者,所以,为了确保每个收银台账本共同,同时,避免某些收银员歹意篡改账本。以太坊购物中心,为每个独立收银台制定了详细的规矩。
首先,每个收银台都要下载这个账本。也便是说,从一开端,我们的账本是共同的。之后,用户开端提交买卖。每个收银台都有一个数据包,我们抓取用户提交的买卖,尽力把数据包填满。然后,我们会按照某个特定提案规矩,选择以某个收银台的数据包为准(形成共同)。此时,这个收银台多了一个新数据包(新区块)对不对?所以,他要把自己新数据包的信息播送出去,其他收银台下载这个新数据包。这样,我们的账本又共同了。
关键问题来了哦!!其他收银台下载完新数据包后,还要校验这个数据包的买卖是否真实,怎么校验呢?便是要模拟履行一遍该数据包内包括的买卖。为了查验买卖,收银台还要维护当时状况(用户账户当时余额、智能合约状况等等),存储前史状况等等信息。总的来说,以太坊购物中心收银员们,需要完结共同(确保账本共同)、结算(承认买卖)、数据(记载用户当时账户余额和前史买卖记载等等)、履行(履行用户买卖),四个层面的事情。也便是,一般,会将 Layer1 分为四层:
1)共同层
2)结算层
3)数据层
4)履行层
这使得以太坊很去中心化、很安全,但功率不高,搞得我们常常排队等候结算。
于是,对以太坊购物中心的“模块化”改建工程开端了。(“模块化”概念最早由 Celestia 团队提出,一般指对以太坊的扩容)改建计划名为 “Rollup”,原理是在原本以太坊购物中心周围,再建几栋大楼,相同作为购物中心。之后,名为 “Arbitrum、Optimism、zkSync、Scroll” 等楼房相继树立,当然,还有一栋是由 Manta Network 树立的 Manta Pacific。
这些楼房与以太坊主楼由“桥”衔接。比方,当用户在 Optimism 楼内购物时,过段时间,Optimism 楼内“收银员”们,会将排序好的用户买卖紧缩打包,提交给以太坊主楼。以太坊主楼内的收银台进行终究结算,承认用户在 Optimism 楼内购物行为有用。还记得以太坊主楼需要完结共同(确保账本共同)、结算(承认买卖)、数据(记载用户当时账户余额和前史买卖记载等等)、履行(履行用户买卖)四个层面的事情嘛?由此,其他购物中心承担了履行功能,也便是将履行层从以太坊主楼分离,减轻主楼担负。换句话说,各个 Layer2 实践是以太坊履行层,Manta Pacific 也是。以太坊主楼实践成为“结算中心”,承认其他楼内买卖终究性。把用户买卖迁移到楼内,将以太坊主楼变为结算中心,这个方法确实很巧妙。将用户在其他楼内提交的买卖紧缩,以打包(Batch)形式提交给以太坊主楼结算中心,可大大提高主楼处理买卖的功率。
问题是,以太坊主楼怎么确定,其他购物中心提交的买卖是否正确呢?如果其他购物中心收银员作弊呢,歹意篡改用户买卖怎么办?于是,以太坊主楼,按两类方法验证买卖正确性,诈骗证明(Fraud Proof / Optimistic Rollup)、有用性证明(Validity Proof / ZK Rollup)。诈骗证明根据经济学假定,其他收银员可应战某收银员作恶,证明其歹意篡改买卖信息,若应战成功,该收银员可获得作恶收银员罚没金。计划采用诈骗证明的购物中心有 Optimism、Arbitrum 等。
有用性证明根据密码学假定。用户在 zkSync、Starknet、Scroll、Linea 等购物中心买卖时,这些购物中心的收银员们,会集合我们的买卖信息,生成一个根据密码学的零知识证明(简称 ZK 证明),来证明用户的余额等状况信息,发生了变化。收银员会将 ZK 证明传输给以太坊主楼结算中心,结算中心用密码学方法,验证该 ZK 证明,即可验证该证明代表的买卖信息正确性。所以,Optimistic / ZK 代表以太坊主楼验证各个购物中心买卖正确性的方法,而 Rollup 代表各个购物中心将发生在自身的买卖打包紧缩,传输给以太坊主楼结算中心。
别的一点,由于 ZK 证明触及用密码学和数学原理生成,加密方法与原有以太坊主楼有很大差异,所以以太坊主楼那套结算体系,实践不怎么支撑 ZK 证明生成。也就造成了 zkSync、Starknet、Scroll、Linea 等购物中心,必须要对自己的结算体系进行改造。这一改造,以太坊主楼原有商家,也要学习、适应 zkSync、Starknet、Scroll、Linea 等购物中心新结算体系,对以太坊主楼原有商家,不是很友好。
相比之下,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 运用开发和采用供给了最佳体验。