O(1) Labs：Mina 正成為一個向任何 L1 鏈提供隱私 zk 功能的 L2

作者：Phil Kelly，O(1) Labs

鑑於 zkEVM 最近的新聞，你可能會認為在 Web3，零知識證明 (ZKP) 已接近“任務完成”。對於 O(1) Labs 來說，雖然我們對零知識證明領域的整體發展速度感到振奮，但我們認為這些公告只是實現 ZKP 優勢這條道路上的其中一步。以下我將對此進行解釋：

今天的市場上基本上有兩個 ZKP“運動”，它們使用相同的高級密碼學原理，但技術方法和實際目標截然不同：

(1) 可擴展性：zkEVM 以及目前為止宣佈的其他 zk rollup 將有助於擴展“常規”的 Web3 活動—— 基本上可以降低以當前形式運行智能合約的成本，無需添加任何新功能，以應對大型 L1 的挑戰。（Mina 也與可擴展性相關，與其他方法相比具有潛在優勢，稍後會詳細介紹。）

(2) 隱私和認證：更寬泛的類別可以稱為“可驗證的鏈下計算”，其中隱私和認證是兩個關鍵用例，但為了便於解釋，我將其細化。O(1) Labs 和少數其他項目優先專注於向市場提供全新的功能。用戶可以在不披露基礎信息（隱私、可驗證計算）的情況下提供某些證明。

一些示例用例包括：

• 隱私/匿名投票、發推、聊天等，但這些僅限於特定群體（例如，在過去 6 個月內擁有代幣 x 的任何人）。

廣泛的身份識別程序：

• 在不透露錢包和交易的情況下證明你的 Web3 活動。例如，向 DAO 或潛在項目合作伙伴證明你在 2014 年持有加密貨幣）。

• 在不透露鏈下活動的基礎上證明來自 Web2 來源的信息。例如，向 defi 協議證明你不是 OFAC (外國資產控制辦公室) 制裁國的居民，或者你的信用評分超過 700。

• 在數據接收方未見證數據來源的情況下證明數據來源（zk 預言機和鏈下計算證明）。

隨著時間的推移，這些功能將應用於所有鏈 —— 通過 EVM 兼容或其他方式，實際上在不久的將來，它們並不是 zk 可擴展性 roll up、EVM 或其他方式中的原生選項 。

舉一個例子，說明這兩種方式在技術上有何不同： 隱私和認證（可驗證的鏈下計算）用例需要一些非常複雜的鏈下活動，因為在證明的生命週期中有兩個步驟：

a. 處理需要保密的數據，並在客戶端生成證明（於我們而言即是通過使用 O(1) Labs 的 SnarkyJS library 開發的產品），以及

b. 在第二步中驗證證明的完整性（這個例子我們只考慮在 Mina 鏈上）。

O(1) Labs 堅信，有效（時間和成本）處理隱私和認證的零知識證明需要一個專用的平臺來生成和驗證證明，我們在過去 5 年中專注於 Mina 協議，並專注於 SnarkyJS 的開發。

SnarkyJS 與 Mina 結合使用有很多優點。包括：

• 通過 SnarkyJS 可以在客戶端，在常規瀏覽器內部生成證明，從而讓只有證明而不是底層數據會離開用戶的設備。這樣做確保了完全隱私性（其他大多數證明系統需要將數據發送到外部證明生成器，這會影響數據洩露、成本和速度）。

• 證明系統（SnarkyJS + Mina）是專門為使用基於 PLONK 的 zkSNARK 機制而搭建的，該機制不需要 set-up 程序，無限遞歸，並通過自定義門等技術進行優化。

• Mina 擁有穩定和較低的手續費，沒有 gas fee。任何複雜的計算所需費用與最簡單的計算相同。

• Mina 的鏈狀態很小（我們常說 22kb，但目前接近 11kb），使用無限遞歸技術實現。 這對我們有什麼幫助？

• 解決了隨著狀態累積而影響其他鏈的鏈膨脹問題。

• 降低運行節點的門檻，更有利於實現去中心化。舉一個實際的例子：你可以在幾分鐘內建立一個 Mina 節點並讓它參與區塊生產，只需要在加入網絡之前驗證一個恆定的、設定數量的最近區塊/鏈狀態證明。而在其他 L1 上同步新節點可能需要幾天時間。易於設置和運行 Mina 節點應可減少對其他 L1 中常見的客戶機端入站支持服務需求，並且這種服務需求是相對是中心化的。在 Mina 上，隨著時間的推移，個人移動設備將能夠運行節點。

• Mina 的完整鏈狀態可以直接記錄在其他鏈上。為實現這一點，以太坊基金會和 Mina 基金會共同贊助了 Nil 團隊的以太坊橋接項目 —— 在以太坊主網上建立一個智能合約，維護整個 Mina 鏈狀態的最新記錄。這通常被稱為“橋”，但我認為這是一種跨鏈共享數據的新方式（它不依賴於最近在某些橋上被證明很脆弱的方法，如多分片密鑰監護人 multiple sharded-key guardians ，或令牌驅動信任 token-driven trust），並且應該被稱為 zkBridge，或指出替代/增強其他橋接技術的方法。Mina 可以通過這個橋積累許多 ZK 證明，然後將它們“彙總 (roll up)”到其他 L1，從而為用戶提供更高的效率，降低交易成本。

另一種視角是，Mina 正在成為一個向任何 L1 鏈提供隱私 zk 功能的全球 L2。雖然 Mina 是一個 L1，但由於其隱私和認證的獨特作用，我們預計在許多情況下，Mina 上的 ZKP 電路會在另一個 L1 上的 dapp 的客戶甚至他們交易生命週期中整體使用。例如，以太坊主網 defi 協議可能會使用 Mina 讓用戶在入職和賬戶維護方面以匿名方式證明他們的居住地和信用評分範圍。 也就是說，我們預計會有許多原生的 Mina 用例，並將 Mina 視為多鏈活動中的中介環境。

Mina 是否期望支持高拓展性？

根據 Mina Foundation 首席執行官 Evan 最近的推文，是的。事實上，Mina 基金會資助了上一個 zkApp Builder Program 的一個 roll up 項目，並且一些 dapp 正在探索特定於 dapp 的 roll up，roll up 到 Mina 主網。

隨著 zkApp 即將迎來上線，O(1) Labs 將發佈一些和 SnarkyJS 以及 Mina 用例特定部署相關的深入觀點。同時，歡迎查看以下鏈接加入我們的零知識證明活動！

• 使用 SnarkyJS Week 中的材料學習基礎知識，如果你是開發者，可以在閱讀此處嘗試開始搭建 zkApp。

• 閱讀我們推出合作伙伴計劃的相關公告，Brave Browser、SISMO和DIA等Web3隱私和證明創新者使用SnarkyJS構建ZK智能合約代碼並提供反饋。

• 申請即將推出的 O(1) Labs  zkApp Builder Program。

更多有關 O(1) Labs：Web｜ Twitter｜Mina

原文地址