原文來自:Modulus Labs
編譯:DeFi 之道
很高興終于可以與你們分享我們的第一篇論文,該論文是通過以太坊基金會的資助完成的,它的名稱是《The Cost of Intelligence: Proving Machine Learning Inference with Zero-Knowledge?》(或 paper0,這是酷孩子們的叫法)。
沒錯,這些都是真數字!有圖表!論文還討論了理論結構及其對性能的影響!事實上,paper0 是第一個跨通用 AI 原語套件對 ZK 證明系統進行基準測試的研究工作,你現在就可以閱讀整篇論文。
而這篇文章,你可以將其視為論文的總結,有關詳細信息,請參閱原論文。
事不宜遲,讓我們深入了解:
事實上,計算的未來將大量使用復雜的人工智能。看看我的文本編輯器:
Notion 的提示告訴我,他們的 LLM 可以讓這句話變得更好
多個虛假釣魚地址關聯地址已將60枚ETH轉至Tornado Cash:金色財經報道,據CertiK監測,與多個虛假釣魚地址關聯的EOA地址0xbb67b8已將60枚ETH(約12.53萬美元)轉至Tornado Cash。[2023/4/18 14:10:44]
然而,鏈上不存在功能性神經網絡,甚至連最小的推薦系統或匹配算法都不存在。真見鬼!甚至連實驗也沒有一個……當然,原因是非常明顯的,因為這太貴了,畢竟,即使運行價值數十萬 FLOP 的計算(僅夠在微型神經網絡上進行一次推理)的成本也是數百萬 gas,目前相當于數百美元。
那么,如果我們想將 AI 范式帶入無需信任的世界,我們該怎么做?我們會翻車(roll-over),然后放棄(give up)嗎?當然不是…等等!Roll-over)……Give up……
如果像 Starkware、Matter Labs 和其他公司這樣的 Rollup 服務,正在使用零知識證明來大規模擴展計算,同時保持密碼學安全,那么我們能為 AI 做同樣的事情嗎?
這個問題成為推動我們在 paper0 中工作的激勵種子。 劇透警報,以下是我們發現的:
土耳其將推出基于區塊鏈的數據服務項目e-Human:10月19日消息,土耳其總統 Recep Tayyip Erdo?an 宣布將推出基于區塊鏈的數據服務項目 e-Human。該項目旨在收集與職業、遠程教育、人才相關的數據提供教育內容以提高公民就業能力。e-Human 項目將使用區塊鏈技術保護系統的所有服務、數據和功能。(Cointelegraph)[2022/10/19 17:32:26]
paper0 總結
這是眾所周知的秘密:AI 性能幾乎總是與模型大小成比例。 這種趨勢看起來也沒有放緩。 只要這種情況仍然存在,對于我們這些 web3 中的人來說,這將是特別痛苦的。
畢竟,計算成本是我們最終、不可避免的噩夢來源。
今天的 ZKP 已經可以支持小模型了,但中型到大型模型打破了范式
美聯儲:美國所有銀行在從事加密活動之前必須提前通知:金色財經報道,隨著銀行加速涉足加密資產領域,美聯儲向他們發出了警告。它發出一封信,要求所有銀行評估與其加密資產活動相關的合法性和風險,并提前通知他們在美聯儲的聯絡點。它還鼓勵國有銀行聯系其州監管機構。
該文件非常廣泛地將加密資產描述為使用加密技術的任何數字資產。與此同時,本周早些時候,美聯儲發布了關于如何評估哪些銀行可以訪問具有“新”章程的銀行的主賬戶的指南,其中包括加密行業的銀行。(ledgerinsights)[2022/8/17 12:31:43]
對于 paper0,我們關注任何零知識證明系統中的 2 個基本指標:
證明生成時間:prover 創建 AI 推理的伴隨證明所需的時間,以及
prover 內存使用峰值:證明者在證明期間的任何給定時間用于生成推理證明的最大內存;
這主要是一個實際的選擇,并且是從我們構建 Rockybot 的經驗中做出的(證明時間和內存使用是確定任何無需信任人工智能用例可行性的直接優先事項)。 此外,所有測量都是針對證明生成時間進行的,并且沒有考慮預處理或 witness 生成。
Frax Finance社區投票通過用2000萬FRAX回購FXS的提案:6月30日消息,混合算法穩定幣協議FraxFinance社區在本周投票通過了關于建議使用2000萬FRAX在3天至30天的時間內通過Fraxswap(FRAX-FXSTWAMM)回購FXS的提案,回購的代幣將被銷毀、放入veFXS收益中或保留在財庫中,具體會在未來再進行治理。
根據Etherscan數據,FXS目前的最大總供應量為逾9982萬枚。此前報道,本月上旬,FraxFinance聯合創始人SamKazemian和Travis Moore發布了該治理提案,提案認為,FXS價格被低估,而此時回購是資本或利潤的最佳用途。[2022/6/30 1:42:00]
當然,還有其他方面的成本需要跟蹤。 這包括驗證者運行時間和證明大小。我們將來可能會重新審視這些指標,但將它們視為 paper0 的范圍之外。
至于我們測試的實際證明系統,通過投票,我們選定了 6 個:
農行陜西省分行推出以農行形象IP“小豆”為原型的“六一”主題系列數字藏品:金色財經消息,為積極響應國家美育教育倡導,在今年“六一”兒童節來臨之際,農行陜西省分行攜手秦儲數藏文化傳媒有限公司,共同推出以農行形象IP“小豆”為原型的“六一”主題系列數字藏品,為孩子們帶來一份最特別的禮物。通過發行數字藏品的方式,為兒童健康成長注入金融力量,在整個金融機構尚屬首家。(陽光報陽光網)[2022/6/1 3:55:36]
Paper0 測試的證明系統匯總表,以及協助我們的作者
最后,我們創建了兩套用于基準測試的多線性感知器(MLP)——值得注意的是,MLP 相對簡單,主要由線性運算組成。這包括一套隨著參數數量增加而擴展的架構(最多 1800 萬參數和 22 GFLOP),以及第二套隨著層數增加而擴展(最多 500 層)的架構。如下表所示,每個套件都測試了證明系統以不同方式擴展的能力,并大致代表了從 LeNet5(6 萬參數,0.5 MFLOP)到 ResNet-34(2200 萬參數,3.77 GFLOP)的知名深度學習(ML)架構的規模。
參數和深度基準套件
對于以上 6 個證明系統的參數和深度范圍的證明生成時間結果
對于以上 6 個證明系統的參數和深度范圍內的峰值內存結果
有關這些結果的完整內容,以及對每個系統內瓶頸的深入分析,請參閱 paper0 的第 4 節。
好吧,以上是一些非常簡潔的圖表,而以下則是要點:
那這在實踐中究竟意味著什么? 我們將重點介紹 2 個示例:
1、Worldcoin:Worldcoin 正在構建世界上第一個“隱私保護身份證明協議”(或 PPPoPP),換句話說,通過將身份驗證與一種非常獨特的生物特征(虹膜)聯系起來來解決女巫攻擊問題。這是一個瘋狂的想法,它使用卷積神經網絡來壓縮、轉換和證明存儲的虹膜數據。雖然他們當前的設置涉及 orb 硬件中安全飛地內的可信計算環境,但他們希望改為使用 ZKP 來證明模型的正確計算。這將允許用戶對自己的生物特征數據進行自我保護,并提供加密安全保證(只要在用戶的硬件上進行處理,比如手機)。
現在具體一點:Worldcoin 的模型具有 180 萬參數和 50 層。 這是區分 100 億個不同虹膜所必需的模型復雜性。 哎呀!
雖然在計算優化的云 CPU 上證明 Plonky2 等系統,可以在幾分鐘內為這種規模的模型生成推理證明,但證明者的內存消耗將超過任何商用移動硬件(數十 GB 的 RAM)。
事實上,沒有一個測試系統能夠在移動硬件上證明這個神經網絡……
2. AI Arena:AI Arena 是一款類似于《任天堂明星大亂斗》風格的鏈上平臺格斗游戲,其具有一個獨特的特點:玩家并不是操作化身實時進行對抗,而是讓玩家擁有的 AI 模型相互競爭和戰斗,是的,這聽起來很酷。
隨著時間的推移,AI Arena 的出色團隊正努力將他們的游戲轉向一個完全無需信任的錦標賽計劃。但問題是,這涉及驗證每次游戲數量驚人的 AI 計算的挑戰。
比賽以每秒 60 幀的速度運行,持續 3 分鐘時間。這意味著每輪比賽,兩個玩家模型之間的推理結果超過 20000 個。以 AI Arena 的一個策略網絡為例,一個相對較小的 MLP 需要大約 0.008 秒來執行一次前向傳遞,使用 zkCNN 證明該模型需要 0.6 秒,即,每采取一次動作就需要增加 1000 倍的計算。
這也意味著計算成本將增加 1000 倍。隨著單元經濟對鏈上服務變得越來越重要,開發人員必須平衡去中心化安全的價值與證明生成的實際成本。
https://aws.amazon.com/ec2/pricing/
無論是上面的例子,ZK-KYC,DALL-E 風格的圖像生成,還是智能合約中的大型語言模型,ZKML 的世界中都存在著一個完整的用例世界。然而,要真正實現這些,我們強烈認為 ZK prover 仍需要大量改進。特別是對于自我完善的區塊鏈的未來。
那么,我們該何去何從?
我們有具體的表現數據,我們知道在證明神經網絡時哪些技術往往表現最好。當然,我們開始發現各種用例,這些用例激勵了我們不斷成長的社區。
我想知道接下來會發生什么……
很快就會為你們提供更多更新;)
隔夜的粥
個人專欄
閱讀更多
金色財經
金色早8點
Odaily星球日報
Arcane Labs
澎湃新聞
歐科云鏈
深潮TechFlow
MarsBit
BTCStudy
鏈得得
▌ 1月份NFT交易量達9.46億美元,創2022年6月以來最高記錄金色財經報道,據DappRadar數據,2023年1月NFT交易量和銷售額的激增,交易量達到9.46億美元.
1900/1/1 0:00:00撰文:0xTodd 以太坊上海(shanghai)升級近在咫尺,以太坊(stETH、礦池 ETH…)終于快要可以從 beacon chain 提現回來了.
1900/1/1 0:00:002023年2月9日,Coinbase首席執行官Brian Armstrong透露,有傳聞稱美國SEC可能會禁止面向散戶的加密貨幣質押服務.
1900/1/1 0:00:00作者:CoinDesk 首席內容官Michael J. Casey編譯:比推BitpushNews Mary Liu美國新的經濟數據和其他指標,包括金融市場更加樂觀的情緒.
1900/1/1 0:00:00作者:Ben Giove 來源:Bankless 編譯:DeFi 之道 并非每個 Pumb 都有規律或原因.
1900/1/1 0:00:00ChatGPT等基于自然語言處理技術的聊天AI,就短期來看亟需要解決的法律合規問題主要有三個:其一,聊天AI提供的答復的知識產權問題.
1900/1/1 0:00:00