速覽新獲融資的 Modulus：如何利用 zk 將“不透明”的 AI 模型引入“去信任”的區塊鏈

原文標題：Introducing Modulus: Bring AI On-Chain

作者：Modulus Labs

編譯：海爾斯曼，ChainCatcher

昨晚，Modulus Labs 宣布完成 630 萬美元種子輪融資，Variant 和 1kx 領投，Inflection、Bankless、Stanford 等參投，天使投資者包括以太坊基金會、Worldcoin、Polygon、Celestia和Solana等。

Modulus Labs 利用 ZKML 並結合了 AI 模型的 ZK 證明正在構建一種用零知識證明來證明人工智能模型被正確執行的dapp，其核心是幫助用戶保證 AI 查詢不被篡改，從而為Web3 應用程序融入 AI 鋪平道路。試圖彌合伺服器上運行的機器語言模型的不透明性與區塊鏈的透明度之間的差距。

本文為Modulus Labs最新發布的一篇"自我介紹"，為了便於讀者快速理解，ChainCatcher對原文做了適當編輯和刪減：

我們正在幫助 dApp 開發人員使用世界上唯一的專門用於 AI 的 ZK 證明器大規模地訪問防篡改的 AI。這意味著智能合約現在可以享受強大的人工智能功能，而無需打破去信任的信條。

請繼續關注接下來的幾個月，因為我們：

• 通過與 Upshot、Worldcoin、Ion Protocol 等合作，首次在以太坊上實現了有史以來最大的人工智能應用程序；
• 開源我們的證明器"Remainder"------世界上唯一專為 AI 構建的專用 ZK 證明器；
• 推出Modulus API，讓每個 dApp 都能通過 ZK 責任訪問強大、富有表現力的 AI；
• 實際上，我們今天開放了"鏈上人工智能"API 的候補名單。

TL;DR

• 問題：如今，為了讓 dApp 獲得強大的人工智能功能，他們需要放弃去中心化的安全性並承擔中心化的風險；
• 解決方案： Modulus 使用零知識證明來有效檢查人工智能提供商沒有在鏈上操縱他們的算法；
• 洞察：專為 AI 打造的專業 ZK 證明以極低的成本為 dApp 提供極其強大的 AI 功能；
• 結果：通過防篡改 AI 增強的 dApp 在用戶體驗方面超越了同行，同時又不違背鏈的不信任信條；
• 願景：隨著先進的人工智能被引入我們的法律、金融、醫療、安全和教育領域，加密責任將捍衛我們計算未來的支柱。

人工智能迫使 人們進行 " 浮士德式 的交易 "

人工智能將從根本上改變我們的社會 。然而，這項"超能力"幾乎對任何使用區塊鏈技術建造的人來說是用不上的。原因很簡單：人工智能操作的計算成本太高，無法直接在鏈上運行。這意味著要想將人工智能功能引入智能合約，必須信任人工智能始終可以在不進行操縱的情況下運行模型。

但在去信任的加密背景下，這很難做到。正如羅納德·里根 (Ronald Regan) 的名言："доверяй, но проверяй（相信我，但要檢查）。"

ZK 是 可以肩負起重任的遊戲 終局 者

為了在不放棄去中心化安全性的情況下將人工智能的魔力帶入區塊鏈，我們還可以依靠ZK 的可驗證能力。

應用於人工智能時，零知識密碼學使我們能夠驗證人工智能模型是否"正確"執行，而無需透露模型背後的秘密。換句話說，我們用數學來檢查人工智能結果是否被秘密操縱。通過在鏈上驗證這種"正確性證明"，我們只需花費一小部分成本即可獲得與區塊鏈相當的安全性。

多虧了數學，我們現在可以通過密碼學的確定性知道，你的人工智能副駕駛沒有提供秘密篡改的代碼，你的信用評分沒有受到有偏見的銀行的影響，你的社交媒體信息也沒有受到政治偏見的影響。我們將這種"聯姻"稱為"負責任的人工智能" （Accountable AI）。

但尖端的 ZK 密碼學並不是免費的。事實上，儘管通過區塊鏈標準節省了資金，但普通的 ZK 證明仍然給 AI 計算增加了 1000 倍以上的成本。事實上，在構建世界上第一個 ZKML 應用程序的過去一年中，我們不斷遇到同樣的成本+性能上限。根本沒有辦法解決這個問題：ZK + ML == 經濟暴力。

也就是說，直到我們注意到現代人工智能完全依賴於高度並行處理器（即 GPU）的進步。如果我們在 ZK 證明中做出同樣的改變，我們將極大地開放智能合約的設計空間。

在"Remainder"的支持下，我們已經開始建立一個下一代人工智能增強型 dApp 的開發者和合作夥伴組成的社區。並一直致力於將強大的人工智能功能大規模地引入具體用例。

為了實現這一願景，我們將在接下來的幾個月內推出多個 ZKML 應用程序 。例如我們首先會和 NFT 評估領導者Upshot合作。

Upshot 使用 AI 提供極其準確、及時的 NFT 價格（每小時超過 1 億次評估，平均絕對百分比誤差MAPE 為 3-10%），這為長尾資產打開新的金融市場提供了可能。然而，目前使用和訂閱 Upshot 也意味著需要相信Upshot 永遠不會篡改。

我們的終極目標是在不放棄區塊鏈安全性的情況下，將 Upshot 的人工智能價格傳遞到鏈上。這正是我們將他們的機器學習預言機集成到 Modulus API 中所提供的。其結果是人工智能超能力和區塊鏈安全性共同打造出 NFT 價格，這種結合是由 Modulus 的專業 ZK 證明實現的。

Modulus 團隊

據 The Block 報導，Modulus 誕生於斯坦福大學。聯合創始人 Daniel Shorr 和疫情期間許多 20 多歲的年輕人一樣，無法抗拒加密的誘惑，這才有了 Modulus 的誕生。

據RootData 頁面，Modulus Labs 的聯合創始人兼首席執行官Daniel Shorr擁有斯坦福大學的學士和碩士學位；Nicholas Cosby 是 Modulus Labs 的聯合創始人。他此前在 Coding Dojo 學習編程；Ryan Cao 是 Modulus Labs 的首席財務官/首席技術官。他擁有斯坦福大學的學士和碩士學位。

Daniel Shorr寫道：當 Ryan、Nick 和我一年多前創辦 Modulus 時，我們有一個天才計劃------建造一些非常非常困難的東西，我們的戰略複雜程度之高簡直令人驚嘆！但我們的瘋狂是有方法的。如果我們從事人們認為幾乎不可能的事情，但以絕對的誠意和認真去做------我們就會吸引世界上最有才華、最友善的人一起工作。