史詩級綻放：簡單、強大、生產級的 zkApps 即將登陸 Mina

WEEX 唯客博客， 作者：o1labs Phil Kelly 翻譯：YBB Capital Erin 前言 Mina的重大升級帶來了創新的零知識用例，引入了在客戶端環境（如瀏覽器或伺服器）中離線執行智能合約的能力。本文探討了 zkApps（啟用 zk 的應用程序）的重要性，它們對 Web3 的潛在影響，以及 Mina 即將到來的 Berkeley 升級的關鍵作用。 在快速發展的 Web3 領域中，零知識的最新突破已經開啟了新的時代。從更快的 rollups 和輕客戶端到橋接技術，zk 基礎設施的進步一直在引起關注。但我們認為，一個真正改變遊戲規則的能力已經出現——在客戶端環境如瀏覽器或伺服器中完全離線執行智能合約。 轉移至鏈下 這是如何實現的？這一創新的關鍵在於使用 zk 應用程序（zkApp）代碼製作智能合約。這種代碼可確保防篡改執行，並能向第三方證明操作的正確性，而無需引入新的信任假設，本質上反映了鏈上智能合約的功能。 這些支持 zk 的應用程序影響深遠。通過將智能合約的執行轉移到鏈外，可以克服與鏈上執行相關的眾多挑戰，如 Gas 成本、數據限制、規模限制和時間滯后。此外，zkApps 還能增強隱私保護，允許驗證年齡等敏感信息，而不會泄露出生日期等準確的個人詳細信息。 zkApps 的推出將掀起一股創新浪潮，為 Web3 的賽弗朋克精神注入新的活力，並重振過去 5-10 年中一度被認為無法實現的想法。 在鏈上進行錨定 儘管 zkApps 具有鏈外功能，但錨定鏈仍然至關重要。經過兩年多的開發，Mina的Berkeley升級版已進入最後準備階段。為什麼 zkApps 需要鏈？因為鏈外的 zkApp 證明需要驗證，而利用鏈可以帶來幾項令人信任的驗證優勢： 在鏈本身由專業的中立驗證者進行自動驗證 根據驗證結果自動觸發後續行動（例如，當您證明自己年滿 18 歲時，您的 DeFi 賬戶就會開通，交易就會結束） 永久存儲驗證信息，用於未來數據參考 可連接到其他鏈的驗證 實際情況是，在鏈下智能合約和鏈上驗證之間的驗證過程聽起來似乎是不那麼性感的一步，如果出現錯失，鏈外方法的優勢就會很快被削弱。但如果沒有像 Mina 這樣專門構建的鏈，智能合約驗證可能會變得龐大、複雜，而且耗資巨大，所以Mina 從一開始就是為處理零知識證明（ZKPs）而構建的。Berkeley升級后，Mina 區塊鏈將成為驗證鏈外應用證明的絕佳場所。為什麼 Mina 將成為驗證 zkApps 的絕佳場所？ 沒有Gas成本，無論鏈下智能合約的規模的大小，驗證鏈上證明的成本總是很低； Mina的微小狀態意味著在不久的將來，一個完整的節點應該能夠在用戶的瀏覽器中運行，允許提交證明而無需使用第三方的遠程過程調用（RPC）協議——非常適合保護隱私； Mina的微小狀態還意味著它可以通過基於狀態證明的橋接在其他鏈上進行表達（無需Token進行黑客攻擊），因此 Mina 可以作為整個 Web3 的模塊化證明層。除了其他許多功能之外，這可以讓您僅需編寫一次 zk 應用程序，一次在 Mina 上驗證輸出，然後將驗證橋接到多個其他鏈上。這就是一個即時的、多鏈 DApp時代。 其驗證可直接在 EVM 鏈上進行，但在軟體應用領域我們都知道 “可以 “並不等於 “應該”。所以理論上EVM 也可以用作其他鏈的數據可用性（DA）層和去中心化排序器，但 Web3 世界已過驗證模塊化是實現這些專業功能的途徑，而驗證證明是一項高度專業化的功能。 鏈下革命 讓我們回到應用程序代碼上，展望2024年剩餘時間，我們在o1Labs期待著由zk鏈下計算驅動的應用程序和用例創新的激增，而這種鏈下革命帶來了幾個令人興奮的可能性： 無燃料費的計算：zk鏈下計算允許無需燃料費地進行任意大小的計算，無需信任； 可驗證的隱私：客戶端zk確保了可驗證隱私的廣泛可用性； Web2數據的使用：使用多方計算（MPC）和ZK進行「公證」，使Web2數據的日常使用成為可能； zkApps的簡單構建：新的領域特定語言（DSL），如o1js，使用TypeScript，使開發人員能夠快速輕鬆地構建zk應用程序。 o1js： 讓鏈下也能訪問 zk 代碼 過去雖可以在鏈下構建 zk 代碼，但實際一直存在困難，o1js 讓這一切變得簡單。通過利用 TypeScript，o1js 提供了一個高級、直觀的語言，讓您可以更輕鬆地部署和維護。由於 o1js 支持 WebAssembly (WASM) 功能，您的 zkApp 也可以在用戶的瀏覽器中無縫運行。此外還可以使用 o1js 的遞歸能力將來自鏈下計算的多個證明匯總並壓縮成一個小的證明。 o1js 自 2022 年以來已經可用，它不僅成熟還在獲得新的能力。近期對 o1js 基本功能的一輪激動人心的增強，使 zk 應用程序能夠處理更廣泛的輸入。示例包括： 發布 ECDSA 和 Keccak 處理基元，這樣您就可以使用經 MetaMask 簽名的以太坊數據源數據； 支持 SHA-256 加密技術，它是 Web2 世界中許多數據源（例如護照數據）的基礎； 公證和見證基元，使 Web2 會話中的信息成為經證明的數據（例如，您的銀行賬戶餘額）。更多相關信息，敬請關注！ 加入 zkApp 革命 zkApps 在 Mina 上的出現標誌著 Web3 發展的一個關鍵時刻，解鎖了曾經被認為不切實際的可能性領域。我們很期待看到 Berkeley 升級後生態系統將構建什麼。通過在 Twitter/X 上關注我們，並加入 Mina Discord，來及時了解 Berkeley 的最新動態。 WEEX唯客交易所官網：weex.com