來源：mantanetwork
TL;DR
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 ？
Manta Pacific 是與 Optimism、Arbitrum 一樣，也是以太坊 Layer2 執行層，用戶可用 Metamask 等錢包交互，ETH 作爲 Gas，MANTA 代幣作爲流動性代幣，參與到生態 DeFi、NFT 及 GameFi 等項目中，同時還將作爲治理代幣。
Manta Pacific 與其他 Layer2 的不同點，或者說競爭力在於，Manta Pacific 基於 Caldera 定制的 OP Stack 模塊化技術堆棧，使用 Celestia 作爲數據可用層，內置 Manta Network 通用 ZK 電路。
接下來，我們將拆解應用 OP Stack、Celestia，以及內置通用 ZK 電路的優勢。先來看 OP Stack 可以帶來哪些優勢。
1、應用 OP Stack：幾乎100%兼容以太坊 EVM 環境與 Solidity 語言，現有 dApp 可真正無縫遷移到 Manta Pacific
原生 EVM 和 Solidity 兼容。使用 OP Stack 技術堆棧搭建 Layer2，Manta Pacific 具有與 Optimism 相同的 EVM 兼容能力，也就是，幾乎100%兼容以太坊現有的 EVM 環境。
意味着，以太坊生態現有 dApp 可真正無縫、無摩擦地遷移到 Manta Pacific，這是目前 ZK Rollup 很難做到的事情。
什么是 EVM ？
以太坊虛擬機 EVM，是以太坊账戶體系和智能合約運行的環境，是以太坊從一個區塊到另一個區塊計算新的、有效狀態的規則。
狀態，是以太坊重要概念之一。狀態是以太坊當前應用的梅克爾帕特裏夏樹（Merkle Patricia Tree）數據結構，可讓我們把交易信息從當前區塊溯源到創世區塊。所有參與維護以太坊的節點，所謂的共識，甚至是以太坊本身存在的意義，就是爲了保證狀態連續、統一，讓每個節點看到的當前狀態一致。
EVM就是維護一致的規則和環境。
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 如何在 EVM 環境中實現 ZK 功能？
當用戶在 Manta Pacific 鏈上提交交易時，將作爲零知識證明過程中的證明者 Prover，在本地瀏覽器生成證明，鏈上去中心化驗證者 Collators 驗證該證明。
Manta Network 使用 zkSNARK Groth16，ZK 友好的 Poseidon Hash，優化和升級橢圓曲线密碼術（FH-ECC）等算法，使得整個 ZK 生成、證明過程僅需2秒。
之後，包含 ZK 證明的區塊會提交到 Optimism 排序器，Optimism 最終打包 Manta Pacific 交易，上傳到以太坊主網，確認交易最終性，並由以太坊主網保障安全性。
Manta Pacific 與其他 ZK Rollup 的區別
通常，用戶在 ZK Rollup 提交交易時，Rollup 自身排序器節點，會將用戶交易校驗、壓縮並打包，生成代表該批次交易正確性的 ZK 證明。也就是在這一步，需要考慮 EVM 兼容與 ZK 效率之間的平衡。
之後，交易以“包”（Batch）的形式提交到以太坊主網，由主網智能合約作爲驗證者，驗證 ZK 證明正確性。
而 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 獨有的。
2、將 ZK 復雜性抽象，可直接使用 Solidity 通過 API 或 SDK，調用 ZK 功能
另一方面，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 受到此影響。
3、OP Stack ＆ SuperChain：超強模塊化與 Layer2 流動性互通的可能性
當前，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 概念
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 實現原子級跨鏈互操作性，在某種程度上實現跨鏈流動性互通。
再來看 Celestia 可以帶來哪些優勢。
4、 應用 Celestia 作爲數據可用層（DA 層），大幅降低 Gas 費用
援引 IOBC Capital 的文章，以太坊 Gas 費主要由三部分構成：執行費用（網絡中所有節點執行交易並且驗證其有效性的費用）、存儲 / 狀態費用（更新新狀態的費用）、數據可用性費用（將數據發布到 L1 的費用）。其中，數據可用性費用佔比最大。
什么是數據可用性？
通常，會將 Layer1 分爲四層：
1）共識層
2）結算層
3）數據層
4）執行層
節點通常有兩種：
全節點——下載並驗證所有區塊信息及交易數據。
輕節點——非完全驗證節點，易部署，只驗證區塊頭（數據摘要）。
首先，確保新區塊產生時，該區塊中的所有數據確實已發布，使得其他節點可校驗。若全節點未發布區塊中所有數據，則其他節點無法檢測，該區塊是否隱藏惡意交易。
也就是說，節點需要獲取一定時間內的所有交易數據，並驗證，不存在已經確認但未驗證的交易數據。這便是通常意義上的數據可用性。
若某個全節點隱瞞一些交易數據，其他全節點在校驗後，會拒絕跟隨此區塊，但僅下載區塊頭信息的輕節點則無法校驗，會繼續跟隨這條分叉區塊，影響安全。
盡管通常區塊鏈會罰沒該全節點保證金，但這同樣會使質押給該節點的用戶受到損失。且當隱瞞數據的收益，超過罰沒成本，節點有動機隱瞞，屆時實際受損的，只會是質押用戶和該鏈其他使用者。
另一方面，若全節點部署逐漸中心化，節點間存在串通可能，會危及整條鏈的安全。這是爲什么數據可用很重要。
數據可用越來越受到關注，一方面因爲以太坊 PoS 合並，另一方面則是 Rollup 發展。當前 Rollup 會運行中心化排序器（Sequencer）。
用戶在 Rollup 上交易，排序器爲交易排序、打包、壓縮，發布到以太坊主網，由主網全節點通過欺詐證明（Optimistic）或有效性證明（ZK）驗證數據。
只要排序器提交的區塊所有數據真實可用，以太坊主網才可據此跟蹤、校驗、重建 Rollup狀態，保證數據真實和用戶財產安全。
什么是 Celestia？使用 Celestia 作爲 DA 層意味着什么？
Celestia 爲其他 Layer1、Layer2 提供可插拔的數據可用層。
Celestia 是 Layer1 協議，兼容 EVM 鏈及 Cosmos 應用鏈，未來將支持所有類型的 Rollup，這些鏈可直接使用 Celestia 作爲數據可用層。
通常，Layer2 需要將數據發布到以太坊主網，將以太坊主網作爲數據可用層，但這仍舊需要與以太坊主網 dApp 以及其他 Layer2 競爭以太坊主網資源。
而使用 Celestia，相當於將數據可用層從以太坊外遷至 Celestia。Celestia 是專門提供數據可用層服務的項目，使用糾刪碼（Erasure Coding）和數據可用性抽樣（Data Availability Sampling，DAS），保證安全。
對用戶及开發者來說，最直觀的感受是，使用 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 貴。
5、集群（Clusters）一組相互通信的鏈，通過信任最小化橋跨鏈
Celestia 官方文章，將跨鏈大致分爲兩類：
A. 可信跨鏈橋，需要信任第三方，比如中繼鏈節點。其可靠性建立在第三方節點共識之上，即節點多數是誠實的。
B. 信任最小化跨鏈橋，類似以太坊和 Rollup 的關系，靠欺詐證明（Optimistic）和有效性證明（ZK），校驗 Rollup 交易數據有效性。
Celestia 提出一個概念——集群（Clusters），即一組相互通信的鏈，通過信任最小化橋跨鏈，每條鏈都可以驗證其他鏈的狀態。使用 Celestia 作爲數據可用層集群中的所有鏈，都可以檢查彼此的塊是否包含在 Celestia鏈中。
只是基於 Celestia 的鏈之間互操作性，沒有 OP 的 Superchain 那么強，例如，Celestia 集群概念中，Optimistic Rollup 和 ZK Rollup 屬於兩個集群，即使都將 Celestia 作爲數據可用層，仍不能解決原子級別互操作性問題。
最後再來看看 Manta Network 通用 ZK 電路。
6、通用 ZK 電路：在 EVM 環境中實現 ZK 完整功能
什么是零知識證明 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 Network 的 ZK 通用電路
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 應用是下一代 Web3 應用：隱私與非對稱博弈
如前文所述，而零知識證明的加入，會讓對稱博弈，變爲非完全對稱博弈。
若卡牌類遊戲是對稱博弈的，意味着大家在玩德撲、麻將或者鬥地主時明牌，你可以看到其他人的牌面，其他人也可以看見你的。這也是目前鏈上卡牌遊戲現狀。
而撲克、麻將等遊戲，之所以經久不衰，正是其非完全對稱博弈性。運氣和策略，會打破“強者恆強”局面，讓所有人都有機會獲勝，新手也可憑借超好的運氣打敗老玩家。這類遊戲的樂趣就在於，玩家可憑借記憶力和經驗，預測、判斷其他玩家卡牌，以及未發出的卡牌。
預判可能准確，可能出錯，但二者都是遊戲的樂趣所在。
ZK 的隱私性，可讓原本透明的鏈上卡牌，變得隱私，讓非對稱博弈進入鏈上世界，大大增加遊戲可玩性。
另外，隱私其實是“成癮品”，一旦擁有就回不到從前。
判斷某個項目或技術，會不會成爲新範式，或者會不會帶來變革，有兩個直觀的標准。
一旦用了這個“東西”之後，還能不能回歸原來的狀態。
會不會改變原有多方博弈的情況。
比如，在用過滴滴打車之後，還能回到路邊招手的狀態嗎？即便是想到路邊打車，也做不到了，因爲博弈情況發生了改變。司機不用滴滴，很難接到單，所以即便用戶真的在路邊招手，也未必打得到車，這種行爲效率會變得十分低下，以至於所有人都會用滴滴。
同樣的情況，也發生在外賣等多個領域。所以，由蜂窩通訊、WiFi 等物聯網技術的發展，而催生的移動互聯網，是一個新範式、新變革。而隱私同樣如此。
在沒有體驗過隱私功能前，大家可能不覺得自己需要過多的隱私保護，而一旦體驗過隱私功能，可能就回不到從前了。就像，微信剛宣布推出“朋友圈三天可見”功能，大家也不覺得有什么，但現在，可能大多數好友的朋友圈，都是三天可見。因爲大家不想別人可以輕松翻閱自己的過往，這種“裸露”的感覺並不會讓人舒適。
這也是爲什么要構建 ZK 應用，或者基於 Manta Pacific 構建 ZK 應用是必要的。
鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。