来源:mantanetwork
1、Manta Pacific 是专门为 ZK 应用设计的 Layer2,完全兼容以太坊 EVM 环境及 Solidity 语言;
2、Manta Pacific 基于 OP Stack 具有原生 EVM 兼容性,兼容 Solidity 语言,以太坊生态现有 dApp 可真正无缝迁移到 Manta Pacific;
3、提供 ZK 通用电路,开发者可用 Solidity 通过 SDK 或 API 直接调用 ZK 电路,部署 zkDApp 或在现有的 dApp上增加 ZK 功能;
4、Manta Network 通用 ZK 电路可利用 ZK 实现合规隐私功能,实现非对称博弈场景。
Manta Network 致力于零知识证明 ZK 大规模应用,且利用 ZK 特性,实现合规的可验证隐私。为实现愿景,Manta Network 推出两个底层基础设施:
1、Manta Atlantic:基于波卡 Substrate 框架的可编程 ZK 公链;
2、Manta Pacific:基于以太坊的 EVM 原生 ZK 模块化 Layer2 执行层。
本文重点讲述 Manta Pacific 如何利用 OP Stack、Celestia、通用 ZK 电路等模块化设计,在以太坊生态内,在保留 ZK 完整特性前提下,实现与 EVM 环境及 Solidity 兼容的 ZK 应用。
模块化 Modular 概念最早由 Celestia 团队提出,通常指对以太坊扩容,将数据可用层、执行层,从以太坊主网解耦。
通俗地说,如果饭店所有厨师,既要备菜、又要炒菜、上菜、服务客户、收银,那这个饭店规模越大,服务的用户越多,越没效率。以太坊就面临这个局面。
最好的方式是分工,专人做专事。这是模块化的基本原则。
比特币、以太坊为代表的单体链发展到今天,已不能满足开发者全部需求,比如 TPS、定制化功能,如低 Gas 甚至无 Gas 交易等等。越来越多的项目基于 OP Stack 等模块化堆栈,推出 Layer2 ,其中包括 Manta Network 推出的 Manta Pacific。
模块化意味着定制化和更强的可组合性。项目方可根据自身需求,在某些方面做取舍。比如将安全性交给以太坊主网保障,自己则追求定制化低 Gas 或 0 Gas,以及超高交易速度等等。
汽车装备、电脑、手机、互联网等等,无论在软件还是硬件上,都已非常模块化,可插拔,可组合。
EthCC 巴黎期间,Vitalik Buterin 出席 Celestia 主办的模块化主题活动 Modular Summit,分享模块化内容。此外,模块化代表项目 Celestia 当前估值已超20亿美元,该赛道受到主流资本关注。
Manta Pacific 是与 Optimism、Arbitrum 一样,也是以太坊 Layer2 执行层,用户可用 Metamask 等钱包交互,ETH 作为 Gas,MANTA 代币作为流动性代币,参与到生态 DeFi、NFT 及 GameFi 等项目中,同时还将作为治理代币。
Manta Pacific 与其他 Layer2 的不同点,或者说竞争力在于,Manta Pacific 基于 Caldera 定制的 OP Stack 模块化技术堆栈,使用 Celestia 作为数据可用层,内置 Manta Network 通用 ZK 电路。
Michael Saylor:加密货币开发能量迁移到比特币是不可避免的:金色财经报道,Michael Saylor表示,“将加密货币开发能量从其他加密货币迁移到比特币,是不可避免的。”[2023/5/10 14:53:13]
接下来,我们将拆解应用 OP Stack、Celestia,以及内置通用 ZK 电路的优势。先来看 OP Stack 可以带来哪些优势。
原生 EVM 和 Solidity 兼容。使用 OP Stack 技术堆栈搭建 Layer2,Manta Pacific 具有与 Optimism 相同的 EVM 兼容能力,也就是,几乎100%兼容以太坊现有的 EVM 环境。
意味着,以太坊生态现有 dApp 可真正无缝、无摩擦地迁移到 Manta Pacific,这是目前 ZK Rollup 很难做到的事情。
以太坊虚拟机 EVM,是以太坊账户体系和智能合约运行的环境,是以太坊从一个区块到另一个区块计算新的、有效状态的规则。
状态,是以太坊重要概念之一。状态是以太坊当前应用的梅克尔帕特里夏树(Merkle Patricia Tree)数据结构,可让我们把交易信息从当前区块溯源到创世区块。所有参与维护以太坊的节点,所谓的共识,甚至是以太坊本身存在的意义,就是为了保证状态连续、统一,让每个节点看到的当前状态一致。
EVM就是维护一致的规则和环境。
若某区块链是 EVM 兼容的,简单理解,以太坊现有开发者,可在稍加改动后,将以太坊上现有 DApp 直接“复制粘贴”到该链上。
EVM 兼容,可让开发者使用熟悉的 Solidity 语言编写智能合约,且能便捷地将以太坊上现有智能合约部署至该链。
对用户来说,EVM 兼容链地址与以太坊相同,支持 Metamask 等主流钱包,操作习惯相同,Gas更低,Tps 更高。当前,无论是地址数量、现有开发者数量、新开发者的选择还是流动性,以太坊都处于领先地位。所以,以太坊开发语言 Solidity 和 EVM 虚拟机实际已成为区块链标准。
以太坊在设计之初并未考虑 ZK 兼容问题,加密方式与 ZK 不兼容,如果用以太坊现有的 EVM 环境生成 ZK 证明,可能需要几小时。所以,现有 ZK Rollup 或称 zkEVM,需要在兼容以太坊 EVM 环境和 ZK 效率之间做选择。
而 OP Stack 可让 Manta Pacific 在内置 ZK 电路,让生态项目实现 ZK 功能的前提下,兼容以太坊 EVM 环境。
当用户在 Manta Pacific 链上提交交易时,将作为零知识证明过程中的证明者 Prover,在本地浏览器生成证明,链上去中心化验证者 Collators 验证该证明。
Manta Network 使用 zkSNARK Groth16,ZK 友好的 Poseidon Hash,优化和升级椭圆曲线密码术(FH-ECC)等算法,使得整个 ZK 生成、证明过程仅需2秒。
之后,包含 ZK 证明的区块会提交到 Optimism 排序器,Optimism 最终打包 Manta Pacific 交易,上传到以太坊主网,确认交易最终性,并由以太坊主网保障安全性。
通常,用户在 ZK Rollup 提交交易时,Rollup 自身排序器节点,会将用户交易校验、压缩并打包,生成代表该批次交易正确性的 ZK 证明。也就是在这一步,需要考虑 EVM 兼容与 ZK 效率之间的平衡。
之后,交易以“包”(Batch)的形式提交到以太坊主网,由主网智能合约作为验证者,验证 ZK 证明正确性。
NFT赛马项目DeRace推出由Michael Owen 设计的稀有马匹NFT:金色财经报道,NFT赛马项目DeRace推出由 Michael Owen 设计的106 匹稀有 NFT 马匹系列。迈克尔欧文庄园马厩的冠军纯种马由欧文亲自配置和命名。总共将有2匹奥林匹亚马、15匹半神马、33匹阿尔法马和56匹贝塔马参加收藏。[2021/12/23 7:58:12]
而 Manta Pacific,如上文所述,用户作为证明者,利用浏览器生成 ZK 证明,Manta Network 自身现有的链上 Collators 作为验证者,验证 ZK 证明。实际到这一步,Manta Network 模块化 ZK 电路,已将 ZK 交易处理完毕。这也是 Manta Pacific 与 ZK Rollup 区别所在。
再之后,Optimism 排序节点,才将附带 ZK 证明的 Manta Pacific 交易压缩、打包,上传至以太坊主网。
在 Layer2 内完成 ZK 证明的生成和验证,可让 Manta Pacific 生态应用完整地实现 ZK 功能,可将 ZK 的正确性、压缩交易的简洁性、确保隐私的零知识性,完整地与现有应用结合,或让开发者根据 ZK 特性部署新应用,这是目前 Manta Pacific 独有的。
另一方面,Solidity 语言拥有最庞大的开发者群体。据 Defillama 数据,目前用 Solidity 开发的项目,TVL 占比超94%,排名第二的 Vyper 语言,TVL 占比仅为3.75%。
利用 OP Stack,Manta Pacific 可做到 Solidity 原生兼容。Solidity 开发者可直接在 Manta Pacific 部署应用,或将现有的以太坊生态 dApp 迁移到 Manta Pacific。
或者,Solidity 开发者仅需几行代码,即可通过调用 SDK 或 API 的形式,实现 ZK 功能,或将自己现有的 dApp 与 ZK 功能结合。
当前,ZK Rollup 兼容 Solidity 的方式是采用编译器。类似于 Solidity 相当于英文,原生语言相当于中文,编译器相当于谷歌翻译等软件。虽可做到兼容,但增加了安全假设。客观上,增加了安全问题出现的可能性。
此前,以太坊 EVM 编译器 Vyper 官方推特帐号发布推文表示,Vyper 版本 0.2.15、0.2.16 和 0.3.0 容易受到递归锁故障的影响。Curve Finance 受到此影响。
当前,OP Stack 在所有模块化堆栈中发展速度最快,今年6月以来,已有超10个项目宣布基于 OP Stack 推出 Layer2,其中包括 Coinbase、Worldcoin、Loot Chain、Manta Network 等等。
项目之所以扎堆选择 OP Stack,除了 OP Stack 推出时间久,经过市场检验外,还有很大原因在于基于 OP Stack 的 Layer2 之间,可拥有原子级别的互操作性。
大家在以太坊参与 DeFi 时,会发现,把代币添加到 Curve 中获得 LP Token,可将 LP Token 进一步质押获得项目方激励,或者也可把某些 LP Token,质押进 Yearn 获得挖矿收益。
流动性在多个 DeFi 协议间共享,用户也可获得多重收益,原子级别的互操作性,提供了更多可组合的选择,像“乐高”一样。
而现有的各个链之间,流动性是分散的。很多项目也在试图聚合这些相对分散的流动性,基于 OP Stack 构建的 Superchain 是其中之一。在Bedrock之后,OP Stack 下一个主要可扩展性改进是引入 Superchain 概念
MicroStrategy宣布发行4亿美元的优先票据以购买比特币:6月7日,MicroStrategy宣布将按照《证券法》的规定,且在市场和其他因素允许的条件下,向合格的机构买家提供价值4亿美元的优先票据。票据出售所获得的净收益将用于购买更多的比特币。[2021/6/7 23:18:52]
Superchain 是 Optimism 计划构建的 Layer2 生态,包括 Optimism 本身在内。Superchain 是一组 Layer2 链,构建在 OP Stack 上。Optimism 将为所有 OP Chain 提供交易排序、桥接、数据可用性服务等选项,基于 OP Stack 的 Layer2 可自由配置。
OP Stack 在架构方面极其模块化,分为六层,分别是治理层 Governance Layer 、结算层 Settlement、 执行层 Execution Layer Layer、资源管理与索引层 Derivation Layer、排序层 Sequencing Layer、数据可用层 DA Layer。OP Stack 每层都是模块化 API,可任意组合、解耦,像乐高一样。
OP Stack 是 Superchain 统一的开发堆栈。Superchain 之间是可相互连接、通信。
如跨链 MEV:
1)Base 上的区块1,包含一笔交易1——在 Base 上以低价购买ETH;
2)Manta Pacific 上的区块2,包含一笔交易2——在 Manta Pacific 上以高价出售ETH
因为 OP Stack 共享排序器是有状态的,可确保区块1和区块2都包含并执行,且只要基于 OP Stack 的 Layer2 验证者 Validator 都基于 OP Stack,不做定制化的改动,则可保证交易在 Base 与 Manta Pacific 上不会回滚。
由此,共同基于 OP Stack 的 Layer2 之间,在某种程度上,拥有原子级别互操作性,可衍生跨链借贷、跨链 MEV、跨链套利,甚至流动性聚合等场景。
基于 OP Stack,Manta Pacific 可实现:
1、现有 ZK Rollup 都做不到的,几乎100%兼容以太坊 EVM 环境及 Solidity 开发语言。好处是,可让以太坊生态现有 dApp,真正无缝迁移到 Manta Pacific,没有部署门槛。同时也减少安全假设,让现有 dApp 迁移更安全。
2、可在 OP Stack 里内置 ZK 电路,在 EVM 环境中,实现 ZK 功能。同时,Solidity 开发者仅需几行代码,通过 SDK 或 API,便可轻松调用 Manta Network 通用 ZK 电路,从头部署一个 ZK 应用,或将 ZK 功能与现有的 dApp 结合。
3、与现有 ZK Rollup 不同,Manta Pacific 基于 OP Stack,所以实际上是 Optimistic Rollup。而 Manta Pacific 利用 Manta Network 通用 ZK 电路,在 Layer2 内完成 ZK 证明的生成和验证,在 Optimistic Rollup 里,实现了 ZK 功能,使得 ZK 的正确性、简洁性、零知识性可以完整地应用,再加上 OP 本身 EVM 兼容,真正实现了在 EVM 环境内使用 ZK。
4、基于 OP Stack,Manta Pacific 有机会与 Coinbase、Worldcoin、Loot Chain 等其他基于 OP Stack 的 Layer2 实现原子级跨链互操作性,在某种程度上实现跨链流动性互通。
MicroStrategy CEO:若苹果整合并买入BTC 其市值将增加1000亿美元:Toroso Investments的投资组合经理Dan Weiskopf今天早些时候在ETF智库网站上发帖称,苹果应该将其巨额现金储备中的一部分投资于比特币。MicroStrategy首席执行官Michael Saylor和前高盛对冲基金经理Raoul Pal此前都预测,苹果将在未来几年大规模投资比特币。Saylor转发并支持了Weiskopf的推文,他评论称,如果苹果将比特币整合进Apple Pay,在iPhone中创建一个安全的加密钱包,并且用其储备金来购买比特币,这家科技巨头的市值将增加1000亿美元。(Cointelegraph)[2020/11/12 14:06:41]
再来看 Celestia 可以带来哪些优势。
援引 IOBC Capital 的文章,以太坊 Gas 费主要由三部分构成:执行费用(网络中所有节点执行交易并且验证其有效性的费用)、存储 / 状态费用(更新新状态的费用)、数据可用性费用(将数据发布到 L1 的费用)。其中,数据可用性费用占比最大。
通常,会将 Layer1 分为四层:
1)共识层
2)结算层
3)数据层
4)执行层
节点通常有两种:
全节点——下载并验证所有区块信息及交易数据。
轻节点——非完全验证节点,易部署,只验证区块头(数据摘要)。
首先,确保新区块产生时,该区块中的所有数据确实已发布,使得其他节点可校验。若全节点未发布区块中所有数据,则其他节点无法检测,该区块是否隐藏恶意交易。
也就是说,节点需要获取一定时间内的所有交易数据,并验证,不存在已经确认但未验证的交易数据。这便是通常意义上的数据可用性。
若某个全节点隐瞒一些交易数据,其他全节点在校验后,会拒绝跟随此区块,但仅下载区块头信息的轻节点则无法校验,会继续跟随这条分叉区块,影响安全。
尽管通常区块链会罚没该全节点保证金,但这同样会使质押给该节点的用户受到损失。且当隐瞒数据的收益,超过罚没成本,节点有动机隐瞒,届时实际受损的,只会是质押用户和该链其他使用者。
另一方面,若全节点部署逐渐中心化,节点间存在串通可能,会危及整条链的安全。这是为什么数据可用很重要。
数据可用越来越受到关注,一方面因为以太坊 PoS 合并,另一方面则是 Rollup 发展。当前 Rollup 会运行中心化排序器(Sequencer)。
用户在 Rollup 上交易,排序器为交易排序、打包、压缩,发布到以太坊主网,由主网全节点通过欺诈证明(Optimistic)或有效性证明(ZK)验证数据。
只要排序器提交的区块所有数据真实可用,以太坊主网才可据此跟踪、校验、重建 Rollup状态,保证数据真实和用户财产安全。
Celestia 为其他 Layer1、Layer2 提供可插拔的数据可用层。
Celestia 是 Layer1 协议,兼容 EVM 链及 Cosmos 应用链,未来将支持所有类型的 Rollup,这些链可直接使用 Celestia 作为数据可用层。
通常,Layer2 需要将数据发布到以太坊主网,将以太坊主网作为数据可用层,但这仍旧需要与以太坊主网 dApp 以及其他 Layer2 竞争以太坊主网资源。
而使用 Celestia,相当于将数据可用层从以太坊外迁至 Celestia。Celestia 是专门提供数据可用层服务的项目,使用纠删码(Erasure Coding)和数据可用性抽样(Data Availability Sampling,DAS),保证安全。
Amber Group CEO Michael Wu:资产的数字化进程使全球金融模式发生巨变:金色财经现场报道,7月5日,由杭州市余杭区政府指导,杭州未来科技城管委会、巴比特主办的2020杭州区块链国际周在杭州举办。Amber Group CEO Michael Wu进行以《聚焦长期价值 以智能科技赋能全球用户》为主题的演讲,他指出:人类社会的资产演进总体是从实物到货币,从具体到抽象、从物化到量化,资产的数字化伴随着金融的全球化。数字化是人类社会复杂关系扩张演进的基础,资产的数字化进程使全球金融模式发生巨变,影响着未来的经济增长和社会财富的流向。未来的趋势是资产上链。[2020/7/5]
对用户及开发者来说,最直观的感受是,使用 Celestia 后,Manta Pacific 的 Gas 费用将大幅削减。
以太坊 Rollup 现有成本由两部分构成:
1)Rollup 自身 Gas 成本。即用户交互,排序器进行排序,状态转换时收费的费用。
2)Rollup 将区块提交到以太坊,花费的Gas。
Rollup 排序器打包、压缩后,会在以太坊上创建一个区块。目前存储为 Calldata 形式,成本为每字节 16 Gas。
以太坊和 Rollup 各自根据拥堵情况不同,收取的 Gas也不同。排序器在批量处理用户交互内容前,会尽力预测以太坊 Gas 费用,并向用户收取。
也就是说,Rollup 上的 Gas 之所以便宜,是因为将用户若干笔交互打包到一起,相当于大家均摊了 Gas。
当市场处于冷淡期,以太坊上交互较少,大家需要均摊的 Gas 也会减少,Rollup 只会在正常 Gas 上收取很小的利润。一旦,以太坊上 Gas 飙升,Rollup 上的 Gas 也会上涨。
所以,Rollup 本质上还是在跟以太坊主网的 dApp 和其他 Rollup 抢夺区块空间。另一方面,Rollup 自身交互火爆,也会拉高 Gas。比如 Aribitrum 奥德赛 Odyssey。
总的来说,Rollup 当前成本模式为线性,成本会随以太坊交互需求情况,上升会下降。
而 Celestia 的成本则是亚线性,成本最终会趋近于一个值,一个远低于以太坊现有成本的值。
在 EIP-4844 升级部署后,Rollup数据存储会从 Calldata 变为 Blob,费用降低,但仍旧比 Celestia 贵。
Celestia 官方文章,将跨链大致分为两类:
A. 可信跨链桥,需要信任第三方,比如中继链节点。其可靠性建立在第三方节点共识之上,即节点多数是诚实的。
B. 信任最小化跨链桥,类似以太坊和 Rollup 的关系,靠欺诈证明(Optimistic)和有效性证明(ZK),校验 Rollup 交易数据有效性。
Celestia 提出一个概念——集群(Clusters),即一组相互通信的链,通过信任最小化桥跨链,每条链都可以验证其他链的状态。使用 Celestia 作为数据可用层集群中的所有链,都可以检查彼此的块是否包含在 Celestia链中。
只是基于 Celestia 的链之间互操作性,没有 OP 的 Superchain 那么强,例如,Celestia 集群概念中,Optimistic Rollup 和 ZK Rollup 属于两个集群,即使都将 Celestia 作为数据可用层,仍不能解决原子级别互操作性问题。
最后再来看看 Manta Network 通用 ZK 电路。
在零知识证明过程中,有两类参与者:证明者 Prover 和验证者 Verifier。证明者生成 ZK 证明,验证者验证该 ZK 证明。验证过程中,证明者可选择仅提供 ZK 证明本身,验证者根据密码学和数论原理,在不获取 ZK 证明背后所代表信息的前提下,验证该 ZK 证明为真。
1)正确性:从数学上讲,ZK 证明无法伪造且无法篡改。若证明者能生成 ZK 证明,则证明一定为真。
2)简洁性(压缩交易):验证者无需再进行复杂计算验证所有信息,而是仅需验证 ZK 证明本身即可。
3)零知识性(隐私性):证明过程中,验证者除了“证明”之外,不会获得其他相关信息,保证信息隐私。
值得注意的是,并不是所有 ZK 应用都使用了零知识性,也就说,并不是所有 ZK 项目都是隐私的,他们可能仅使用 ZK 来压缩交易。
在 ZK Rollup 交互中,用户在 ZK Rollup 内交易,Rollup 自身的排序器作为证明者,排序用户交易、压缩、打包并生成 ZK 证明。以太坊主网智能合约作为验证者,验证该 ZK 证明的正确性,从而验证该证明背后所代表的交易正确性。
主网智能合约无需再对 ZK Rollup 的交易进行复杂校验,且一个 ZK 证明可代表更多的交易信息正确,从而达到扩容的目的,提高以太坊主网确认交易的能力。但在此过程中,交易并不是隐私的,仍是透明的。所以,当前 ZK Rollup 并未应用零知识性,也就是并未实现隐私。
对比来看,Manta Pacific 的用户作为证明者,提交交易时,在本地生成 ZK 证明,链上 Collators 作为验证者,验证 ZK 证明。此后,已验证过的交易,由 OP Stack 排序器打包压缩,提交到以太坊主网。
在 Layer2 内部,Manta Pacific 实际已完成 ZK 的生成与验证,所以可完整实现 ZK 的零知识性,即隐私性。
在零知识证明中,“电路”是一种表示复杂算法和函数的方式。在这里,电路并不是指传统意义上的电子电路,而是指一种数学或逻辑结构。在零知识证明的上下文中,电路经常用来描述或定义某个特定的问题或声明。
1)描述问题:电路可以描述或定义某个特定的问题或声明。例如,证明者可能希望证明他们知道满足某个特定电路的输入。
2)隐藏具体细节:通过使用电路,证明者可以证明他们知道满足电路条件的某些信息,而不需要透露该信息的具体内容。
3)可验证性:电路提供了一种方式,使得验证者可以在不知道证明者使用的具体输入的情况下,验证证明的正确性。
4)通用性和可重用性:一旦定义了电路,它可以被用于多种不同的问题和场景。这也是为什么有些ZKP框架支持所谓的“通用”电路,它们可以描述并解决各种各样的问题。
总之,电路在零知识证明中充当了桥梁,连接了证明者想要证明的声明和验证者想要验证的声明,同时确保不透露任何超出声明之外的信息。
电路用于定义被证明的计算。每个特定的应用都需要自己的电路。不同的服务(如 zkEVM、ZKML、ZK Oracle、ZK Bridge以及各种共识证明和状态证明)需要不同的电路。
Manta Pacific 是专门为 ZK 应用设计,几乎完全兼容以太坊 EVM 环境及 Solidity 开发语言的 Layer2。
Manta Pacific 发布了通用 ZK 电路2.0,这是一个面向开发者的 ZK 库,开发者可以轻松地为他们现有的 Solidity 智能合约和 dApp 调用实现 ZK(ZK-enabled)的合约,仅需几行代码即可实现。
通用电路为 Solidity 开发者提供 ZK-as-a Service 服务,目前包括 Manta Network 现有的 MantaPay 电路,可用于实现合规的 DeFi 隐私交易;
zkShuffle 电路,用于链上游戏的 ZK 智能合约(zkContracts),可为链上游戏实现隐私洗牌、发牌功能;
以及以太坊基金会旗下 PSE(Privacy Scaling and Exploration)开发的,基于 Semaphore 项目的 ZK 电路,可用于实现 Web3 Social 身份隐私验证。
Manta Network 还将继续推出更多通用电路,以便为 Solidity 应用提供更多 ZK 功能。通过 Manta Pacific 上的通用电路,开发者可轻松地部署 EVM 原生的 ZK 应用,也可通过高级 API,为他们的现有 Solidity 智能合约和 dApps 调用 ZK-enabled 合约。
举例而言,例如开发者做链上隐私卡牌类应用,可使用 zkShuffle 电路,实现隐私洗牌及发牌。
Manta 通用电路简化 ZK 应用开发的一个实际例子是 zkShuffle。zkShuffle 为 Solidity 开发者提供了一个简单的方法,使用 ZK 创建扑克游戏,实现公平的非对称博弈游戏。
zkShuffle 实现了链上隐私德扑。相对来说,用户玩 Axie 卡牌游戏时,可通过地址查看持有的卡牌信息,了解对方策略,结果是,所有人都会按照几种固定组合购买卡牌,降低了游戏可玩性。
而 zkShuffle 通过同态加密和 ZK 实现了链上隐私德扑,没有人能通过任何手段查询玩家卡牌信息,或操纵发牌信息,实现绝对公平。有了 Manta Network 通用电路,zkShuffle 可直接调用其中的 ZK 电路,实现想要的功能。
在通用电路之前,构建 zkShuffle 和类似的 ZK 应用需要手动构建电路,并在 Rust 和 Solidity 等编程语言之间进行转换。但是,随着 Manta 通用电路的引入,复杂性已大大降低。
如前文所述,而零知识证明的加入,会让对称博弈,变为非完全对称博弈。
若卡牌类游戏是对称博弈的,意味着大家在玩德扑、麻将或者斗地主时明牌,你可以看到其他人的牌面,其他人也可以看见你的。这也是目前链上卡牌游戏现状。
而扑克、麻将等游戏,之所以经久不衰,正是其非完全对称博弈性。运气和策略,会打破“强者恒强”局面,让所有人都有机会获胜,新手也可凭借超好的运气打败老玩家。这类游戏的乐趣就在于,玩家可凭借记忆力和经验,预测、判断其他玩家卡牌,以及未发出的卡牌。
预判可能准确,可能出错,但二者都是游戏的乐趣所在。
ZK 的隐私性,可让原本透明的链上卡牌,变得隐私,让非对称博弈进入链上世界,大大增加游戏可玩性。
另外,隐私其实是“成瘾品”,一旦拥有就回不到从前。
判断某个项目或技术,会不会成为新范式,或者会不会带来变革,有两个直观的标准。
一旦用了这个“东西”之后,还能不能回归原来的状态。
会不会改变原有多方博弈的情况。
比如,在用过滴滴打车之后,还能回到路边招手的状态吗?即便是想到路边打车,也做不到了,因为博弈情况发生了改变。司机不用滴滴,很难接到单,所以即便用户真的在路边招手,也未必打得到车,这种行为效率会变得十分低下,以至于所有人都会用滴滴。
同样的情况,也发生在外卖等多个领域。所以,由蜂窝通讯、WiFi 等物联网技术的发展,而催生的移动互联网,是一个新范式、新变革。而隐私同样如此。
在没有体验过隐私功能前,大家可能不觉得自己需要过多的隐私保护,而一旦体验过隐私功能,可能就回不到从前了。就像,微信刚宣布推出“朋友圈三天可见”功能,大家也不觉得有什么,但现在,可能大多数好友的朋友圈,都是三天可见。因为大家不想别人可以轻松翻阅自己的过往,这种“裸露”的感觉并不会让人舒适。
这也是为什么要构建 ZK 应用,或者基于 Manta Pacific 构建 ZK 应用是必要的。
Manta Network
个人专栏
阅读更多
白话区块链
神译局
Gryphsis Academy
新浪科技
元宇宙之心
金色早8点
Web3小律
MarsBit
ForesightNews
吴说区块链
TokenInsight
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。