1/ 曼塔太平洋
Manta Pacific 是專爲 ZK 應用設計的以太坊 Layer 2 解決方案，是建立在以太坊上的模塊化 Layer 2，已獲得 Polychain、幣安實驗室、CoinFund、SevenX Ventures 等機構超過 6000 萬美元的融資。
Manta Pacific 目前基於 Caldera 定製的 OP Stack 架構，幾乎與以太坊 EVM 100% 兼容。這使得以太坊生態系統中的現有開發人員可以無縫地將其應用程序遷移到 Manta Pacific。
Manta Pacific 將數據可用性層從以太坊移至 Celestia，使其成爲第一個使用 Celestia 作爲數據可用性層的 Layer 2。
Manta 還將 ZK 電路整合到 Manta Pacific 中，開發者可以通過 SDK 和 API 以幾行代碼輕鬆調用 ZK 函數，從而實現 ZK 與現有 DApp 的集成，或者開發新的 ZK 應用。
2/ 模塊化
模塊化是指在 Web2 和傳統行業中普遍存在的一種產品設計和架構思維，比如智能手機廠商選擇屏幕、芯片、WiFi、藍牙等供應商，然後通過合約製造商進行組裝，大大提高效率、降低成本，而不是自己生產所有零部件。
通常，區塊鏈可以分爲共識層、結算層、數據可用性層和執行層。
以太坊主網承擔最終共識和結算職責，數據可用性層項目包括 Celestia、EigenDA、Polygon Avail 等，常見的以太坊 Layer 2 爲執行層項目。
模塊化意味着定製化和更強的可組合性，項目方可以根據自身需求進行權衡，比如將安全交給以太坊主網，同時追求低 Gas 費，甚至零 Gas 費和超高交易速度。
模塊化允許項目基於經過驗證的技術堆棧（如 Polygon CDK 或 OP Stack）構建其鏈，而無需從頭開始構建所有基礎設施。
3/ Manta Pacific 的模塊化
Manta 的模塊化設計包含兩個方面：
Manta Pacific 使用 OP Stack 和 Polygon CDK 等成熟的技術棧來實現其模塊化架構。
與其他第 2 層解決方案不同，Manta Pacific 並未從頭開始構建其基礎設施，而是使用了現有成熟的 OP Stack 技術堆棧。
如果Manta是一個新成立的智能手機品牌，那麼使用OP Stack就好比直接使用iPhone的供應鏈和技術架構。
這樣的做法的好處是，Optimism 是一個經過熊市考驗的項目，其技術棧 OP Stack 也經過了長期的市場考驗，非常成熟。Manta Pacific 可以直接站在巨人的肩膀上，很大程度上繼承了 OP Stack 已有的安全和技術優勢。
此外，它實現了完全的 EVM 兼容性，讓開發者可以輕鬆將現有的 DApp 遷移到 Manta Pacific。更重要的是，Manta 可以更加專注於生態建設和項目拓展。截至目前，Manta Pacific 已在其鏈上驗證了超過 810 個智能合約，擁有超過 200 個生態項目。
Manta Pacific 使用 Celestia 作爲其數據可用性層，這意味着其數據可用性安全性部分由以太坊主網和 Celestia 共同保證。如果序列化節點發布真實的數據，則可以在以太坊主網和 Celestia 上找到相應的數據。
Manta Pacific 的排序器指定將 blob 發佈到以太坊的區塊高度。如果 blob 不存在於該高度，則交易無效。
排序器發佈數據：將交易發佈到收件箱，分爲三部分編碼：版本號（0x02）、區塊高度（0xa4aa0500000000000）和 blob 承諾（剩餘部分）。通過指定高度，節點知道在哪裏查找。
例如，0xa4aa050000000000 是區塊高度的小端編碼，轉換爲區塊 371364。您可以在 https://celenium.io/block/371364 找到相同的區塊。
該區塊包含 Manta Pacific 命名空間中的一個區塊。完整數據可以在這裏找到：
如果排序器發佈僞造的數據，節點將無法在指定的區塊高度找到承諾。
Manta 自身的 ZK 電路採用模塊化設計，將 ZK 功能內置於 Manta Pacific 中。開發者可以在 Manta Pacific 中完整調用和實現 ZK 功能和特性，這與其他 ZK Rollups 或 zkEVM 有所區別。開發者還可以輕鬆調用 ZK 電路，將 ZK 功能與應用程序結合起來。
在 ZK Rollup 交互中，用戶在 ZK Rollup 內部進行交易，Rollup 的排序器作爲證明者，對用戶交易進行排序、壓縮、打包，生成 ZK 證明。以太坊主網智能合約作爲驗證者，驗證 ZK 證明的正確性，從而驗證其所代表的交易的正確性。
主網智能合約無需對ZK Rollup交易進行復雜的驗證，一次ZK證明可以代表更多交易信息的正確性，實現了可擴展性，提高了以太坊主網的交易確認能力。
相比之下，Manta Pacific 用戶充當證明者，在提交交易時在本地生成 ZK 證明。鏈上收集者充當驗證者，驗證 ZK 證明。然後，經過驗證的交易由排序器壓縮並提交到以太坊主網。在第 2 層中，Manta Pacific 完成 ZK 生成和驗證，完全實現 ZK 功能。
4/ 堆棧上
OP Stack 是 Optimism 團隊推出的模塊化開源區塊鏈技術棧，旨在提供高度可擴展、高度可互操作的區塊鏈解決方案。OP Stack 採用模塊化設計，每個模塊實現堆棧的特定層並通過定義良好的 API 進行連接。這使開發人員可以輕鬆修改現有模塊或創建新模塊，從而支持不同類型的區塊鏈應用和創新。
OP Stack 的目標是超越傳統的單鏈或多鏈模型，並推廣一種由高度集成的鏈組成的結構，即超級鏈。超級鏈通過共享消息格式，允許不同的鏈輕鬆通信，而無需爲每條鏈定製適配器。它還支持原子跨鏈可組合性，其中多個 op 鏈共享一個序列器集，確保鏈之間的原子級交互。
5/ 數據可用性層（DA 層）
數據可用性層確保區塊鏈網絡中的所有數據（尤其是第 2 層數據）都可以公開訪問和驗證。數據可用性層允許任何參與者檢索這些數據以驗證網絡的狀態和交易的有效性，爲區塊鏈的透明度和安全性提供重要保障。
6/ 塞拉斯蒂亞
Celestia 提供可插入的數據可用性和共識層，基於 Cosmos Tendermint 共識和 Cosmos SDK 構建，與 EVM 鏈和 Cosmos 應用鏈兼容。這些鏈可以直接使用 Celestia 作爲其數據可用性層，並通過 Celestia 存儲、訪問和驗證區塊數據。Celestia 還支持原生 Rollups，允許在其上構建第 2 層，但不支持智能合約。
Rollups 通過運行 Celestia 節點與 Celestia 集成。Celestia 接收 Rollup 交易信息，通過 Tendermint 共識對交易進行排序，但不執行或驗證交易的正確性。它打包、排序、廣播交易，並通過擦除編碼和數據可用性採樣 (DAS) 確保數據的安全性和可用性。
7/ ZK 電路
在零知識證明中，“電路”是一種表示複雜算法和函數的方式。這裏的電路不是指傳統的電子電路，而是指數學或邏輯結構。
在零知識證明的背景下，電路通常用於描述或定義特定的問題或陳述。
電路的主要功能：
問題描述：電路可以描述或定義特定問題或陳述。例如，證明者可能想要證明他們知道滿足特定電路的輸入。
細節的隱私：通過使用電路，證明者可以證明他們知道滿足電路條件的信息，而無需透露該信息的具體內容。
可驗證性：電路爲驗證者提供了一種方法，無需知道證明者使用的具體輸入即可檢查證明的正確性。
通用性和可重用性：一旦定義，電路便可用於各種問題和場景。這就是爲什麼一些 ZKP 框架支持所謂的“通用”電路，能夠描述和解決各種問題。
總之，零知識證明中的電路充當橋樑，將證明者想要證明的語句與驗證者需要驗證的語句連接起來，而不會透露語句本身以外的任何信息。電路用於定義要證明的計算。每個特定的應用程序都需要自己的電路。不同的服務（例如 zkEVM、ZKML、ZK Oracle、ZK Bridge 以及各種共識和狀態證明）需要不同的電路。
8/ Manta Pacific 的 Universal ZK Circuits
Manta Pacific 是專爲 ZK（零知識）應用設計的 Layer 2 解決方案，幾乎完全兼容以太坊 EVM（以太坊虛擬機）環境和 Solidity 編程語言。最近，Manta Pacific 推出了 Universal ZK Circuits 2.0，這是一個面向開發人員的 ZK 庫，只需幾行代碼即可將支持 ZK 的合約集成到現有的 Solidity 智能合約和 dApp 中。
通用 ZK 電路爲 Solidity 開發人員提供 ZK 即服務。目前，它包括 Manta Network 現有的 MantaPay 電路、zkShuffle 電路和來自以太坊基金會 Semaphore 項目的 ZK 電路。
使用 Manta Pacific 上的通用電路，開發人員可以輕鬆部署 EVM 原生的 ZK 應用程序。他們還可以通過高級 API 爲現有的 Solidity 智能合約和 dApp 調用支持 ZK 的合約。
例如，創建鏈上紙牌遊戲應用程序的開發人員可以使用 zkShuffle 電路實現去中心化的洗牌和發牌。使用 Manta 通用電路簡化 ZK 應用程序開發的一個實際示例是 zkHoldem。
在通用電路推出之前，構建 zkShuffle 和類似的 ZK 應用需要手動構建電路，並在 Rust 和 Solidity 等編程語言之間進行轉換。然而，隨着 Manta 通用電路的推出，這種複雜性已大大降低。
藉助 Manta Pacific 的通用電路，構建 ZK 應用程序變得更加直接和高效。
