原文作者: 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),如 o 1 js,使用 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 的最新動態。