Manta Network 如何用模塊化思維解困ZK 應用開發難題?

近期,波卡生態的“隱私領跑者” Manta Network 又有了項目開發新動作。

近期,波卡生態的“隱私領跑者” Manta Network 又有了項目開發新動作。 7 月14 日,Manta Network 通過官方Twitter 發布推出Manta Pacific 的計劃,這是第一個專為零知識證明ZK 所廣泛採用和實際應用設計的EVM 原生模塊化執行層。 Manta Pacific 是由Polychain 和BinanceLabs 團隊支持,基於以太坊生態系統、以ZK 實際應用為中心所設計的OP Stack L2 解決方案。

伴隨零知識證明(ZK)技術的火爆,越來越多ZK 應用案例也不斷湧現。這次Manta Pacific 的推出主要化解了當前ZK 應用鋪開的兩大技術難題,也為ZK 應用生態的發展與繁榮提供了全新啟示。一方面,Manta Pacific 利用Manta Network 通用ZK 電路/接口,實現應用部署從Web2 過渡到Web3 的無縫銜接;另一方面,Manta Pacific 採用了Celestia 數據可用層,充分提升了應用開發的可擴展性,賦予ZK 應用更多的可組合空間。隨後不久,Manta Network 將其在Polkadot 上推出的Layer1 正式改名為Manta Atlantic,表明團隊將進一步觸達大眾需求,完善ZK 應用的部署環境。

作為ZK 應用的護航者,Manta Network 看到了現有ZK 應用難以滿足用戶不斷增長需求的困境,也看到ZK 應用環境的機械化和低效率。因此Manta Pacific 在與Celestia 和Optimism 的共同願景下啟動,構建了一個易於開發的ZK 應用新渠道。

事實上,真正實現ZK 應用的高速發展不僅需要開發者有直面困難的勇氣,更需要洞察當前ZK 應用開發出現的效率性、兼容性、成本高等痛點,與模塊化和原生功能等技術熱點結合,找到應用市場的發展新方向,在掌握更多進階ZK 應用開發工具的基礎上實現進一步拓荒。

ZK 應用開發道阻且長,

前路仍有光亮

作為以隱私為中心的加密網絡,ZK 應用的最大優勢就是安全性和隱私性。僅從賬戶抽像這一點來看,ZK 應用就能讓用戶在快速實現資產交易的同時充分保障賬戶安全和高度私密,達到許可公平性和去中心化的目標。但是目前ZK 應用開發仍然受到了技術成本、合約限制與兼容效率的困擾,唯有找尋彌補缺陷的辦法才能更好地開拓應用市場的未來。

ZK 應用開發麵臨的普遍技術困境

編程語言與證明生成困難

ZK 應用的升級更新對電路接入、證明生成提出了更高的要求。許多ZK 項目發明了全新的技術語言,需要開發者學習對電路進行編程,這不僅對進入ZK 應用領域的開發者帶來技術壁壘,也給安全和審計帶來全新挑戰。在此背景下,許多開發者不了解構建電路的基本知識,也缺乏對ZK 實際用例的認知,導致多數ZK 應用僅停留在設計雛形階段,難以落地。因此,像Manta Atlantic 部署了Web3 第一代通用ZK 電路,提供ZK-as-a-Service讓開發者輕鬆使用ZK 特性進行開發部署和合約設計,值得開發者反思並學習。

兼容性與高效率的難平衡

目前,ZK 應用版圖依舊面臨著兼容EVM 的難題。這主要來源於以太坊生態最初進行設計的過程中,並沒有考慮到兼容ZK 技術。所以,滿足兼容EVM 的條件或許就要犧牲ZK 生成及驗證的效率,選擇提高ZK 技術應用的效率就要喪失EVM 的兼容性,這對開發者進行大規模ZK 應用部署提出了新難題。

而zkSync 2.0 版本在面對EVM 兼容難題時通過構建LLVM 框架,創建編譯器前端Yul 與Zinc,打通了與Solidity、Rust等技術語言的兼容渠道,給開發者提供了新思路。未來ZK 應用的開發還需開發者學習更多技術語言,探尋解決兼容與效率二選一困境的方案。

高昂指令成本的附加開支

ZK 應用的生成需要一個複雜的密碼證明,這一證明的生成需要成百上千次的計算才能添加包含進證明中。而ZK 應用中的每個合約、每個指令都會產生這種成本。累計成百上千次的運算成本變成了ZK 技術運作的必帶附加開支,如果開發ZK 應用需要如此高昂的代價,那麼這對更多有志於進入ZK 領域的開發者而言無疑是不小的打擊。於是,減少鏈上Gas 費用成本成為了“降本增效”的不二選擇。

模塊化技術堆棧,為ZK 應用帶來多元可組合性

上文已經提及Manta Pacific 的問世,巧妙化解了一些ZK 應用大規模開發的難題。事實上,Manta Pacific 的模塊化設計、支持數據可用層、與DID 合作等行動,都為支持ZK 應用發展提供了一個更完善的技術環境,也為開發者善用ZK 技術提供了新思考,讓更多對ZK 應用感興趣的開發者信心倍增。

運用模塊化可組合性

作為第一個EVM 原生模塊化執行層,模塊化技術堆棧為更多將在Manta Pacific 上搭建的ZK 應用,提供了難以匹敵的可擴展性。模塊化概念作為本次Manta Network 項目升級的關鍵要素,從去年開始便成為了行業熱議的話題之一。模塊化區塊鏈將區塊鏈重新分層,可根據需求進行擴展與組合,實現交易擴容和計算外包,打造全新的去中心化構建框架。

在Manta Pacific 這裡,模塊化也帶來了ZK 應用的多元可組合性:受益於模塊化數據可用層,Manta Pacific 正在發展為多模塊平台,為開發者和用戶提供多鏈體驗。目前,Manta Network 生態系統覆蓋超150 萬用戶及80 個應用,Manta Wallet 錢包下載量超20 萬次……將模塊化理念與ZK 技術的完美結合,有望在Web3 時代看到更多全新的ZK 應用生態。開發者可以利用目前Manta 的ZK 電路引入zkNFT 和其他基礎功能,實現高度可擴展性下的組合,聯結GameFi、SocialFi、DeFi 等大熱賽道,推動ZK 應用的落地。

爭取更低的Gas 費用

眾所周知,ZK 應用開發的一大難點是高昂指令成本所帶來的附加開支。為此,如何降低更多交易、運行費用成為開發者探索的重點。 Manta Pacific 使用Celestia 作為數據可用層、使用Caldera 定制的OP Stack Rollup 作為執行層,實現了比其他任何協議更低的Gas 費用。 Celestia 通過信任最小化的方式解決了L2 的數據可用性問題;Caldera 預編譯降低ZK 驗證的多餘計算成本,這解決了ZK 技術長久以來的費用難題。

同樣在ZK 應用開發上“降本”成功的還有Starknet。 Starknet 使用ZK VM,能夠在犧牲部分運作效率的前期下,提升ZK 性能、降低使用成本、滿足擴容要求,在鏈上實現更快、更複雜的計算。目前有許多充滿潛力的全鏈遊戲和動態NFT 在Starknet 上實現創意開發,延伸了ZK 應用在遊戲賽道上的發展規模。

積極創新身份驗證項目

得益於ZK 技術的密碼學機制,用戶可以在不透露信息和身份的前提下,證明該用戶屬於某個群體,或滿足某種條件,這對於打造身份標識證明(DID)而言是一種全新的技術解決方案。 ZK 技術通過啟用Web2 和Web3 身份匿名鏈接,實現快速、高效的身份/資產驗證。

近日,Manta Network 正與@BurgerCitiesBar 為漢堡城社區成員推出ZKBurger! @BurgerCitiesBar 允許BurgerCities 社區成員在享受Web3 產品和體驗時擁有ZKDID,ZKBurger 的出現也為身份驗證型ZK 應用打造全新模板,值得開發者進行DID 與ZK 技術的結合探索。

選擇優越開發工具,加入ZK 開發浪潮

正如Manta Network 聯合創始人Victor Ji 所言,“ZK General 的各種應用場景是真正推動這個行業未來發展的內容,5 年後你看到都是ZK App 會是一件非常正常的事情。”而現在,無論是解決ZK 應用發展面臨的技術難題,還是藉鑑Manta Pacific 進行ZK 應用開發創新,都需要審視選擇的ZK 技術堆棧是否合適。

Blockchain Capital 的研究工程師Ryan Sproule 通過研究一系列ZK 開發工具的應用場景和優缺點,整理出了推薦開發者選擇的ZK 技術堆棧指南(更多工具建議詳見:https://blockchain.capital/a -developers-guide-to-the-zkgalaxy/)

從事ZK 應用開發首先要精通使用領域特定語言編寫程序,比如在Starknet 上構建應用程序所必需的Cairo、滿足常見SNARK 需求並在曲線和證明方案等方面極具靈活性的ZoKrates、受Rust 啟發且具備一個任意前端的Noir……這些都是開發者友好型編程語言,無需了解底層ZK 細節即可參與編寫開發過程。

其次,掌握zkLLVM 編譯器也是在ZK 應用領域深耕的必備技能。前文中提及zkSync 2.0 版本在面對EVM 兼容難題時通過構建LLVM 框架,打通了與Solidity、Rust 等技術語言的兼容渠道。如今zkLLVM 編譯器被設計為現有LLVM 基礎設施的擴展,可以將任何LLVM 前端語言轉換為SNARK 中證明的中間表示,支持許多高級源代碼,開發者可以選擇熟悉的高級語言進行編碼,而不依賴於增加額外開銷的特定“VM” 電路。

面向Web3 時代,Manta Pacific 為我們打開了ZK 應用世界的新版圖。然而,這只是推動新一代ZK 應用開發的起點,我們期待更多實現ZK 應用靈活部署的技術工具問世,也期待開發者在技術創新的背景下探索賦能ZK 應用建設的新路徑。

參考文獻:

https://mantanetwork.medium.com/manta-launches-manta-pacific-the-modular-ecosystem-for-zk-applications-21ad62e9b9b3

https://blockchain.capital/a-developers-guide-to-the-zkgalaxy/

https://manta.network/

https://lu.ma/zkDayDenver

展開全文打開碳鏈價值APP 查看更多精彩資訊

Total
0
Shares
Related Posts