以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > TRX > Info

NAR:zkML:zk+機器學習 新興項目和基礎設施

Author:

Time:1900/1/1 0:00:00

通過zkSNARKs證明機器學習模型推理將成為這個十年智能合約發展最重要的進步之一。這一發展開辟了一個令人興奮的廣闊設計空間,允許應用程序和基礎設施發展成更復雜智能的系統。

通過添加機器學習功能,智能合約可以變得更加自主和動態,允許它們基于實時鏈上數據做出決策,而不僅僅囿于靜態規則。智能合約將更加靈活,可適應各種場景,包括那些合約初建時可能沒有預料到的場景。簡而言之,機器學習功能使我們置于鏈上的任何智能合約更加自動化、準確、高效和靈活。

從很多方面來看,鑒于機器學習在web3之外的大多數應用程序中的突出地位,智能合約沒有使用嵌入式ML模型著實令人驚訝。之所以不使用ML,主要是因為鏈上運行這些模型的計算成本太高。例如,FastBERT是一種計算優化的語言模型,使用約1800MFLOPS,直接在EVM上運行是行不通的。

在考慮鏈上ML模型的應用時,重點關注的是推理階段:應用模型對現實世界的數據進行預測。為了擁有ML規模的智能合約,合約必須能夠ingest這類預測數據,但正如前面提到的,直接在EVM上運行ML模型是不可行的。zkSNARK給我們提供了一個解決方案:任何人都可以在鏈下運行一個模型,并生成一個簡潔且可驗證的證明,證明預期模型確實產生了特定的結果。這個證明可以在鏈上發布,并被智能合約攝取,讓合約更加智能。

本文,我們將:

·研究鏈上ML的潛在應用和用例;

·探索zkML相關的新興項目和基礎設施建設;

·討論現有實現面臨的一些挑戰,以及zkML的未來。

1、快速了解ML

機器學習是人工智能下面的一個領域,專注于開發算法和統計模型,使計算機能夠基于數據學習并做出預測或決策。ML模型通常有三個主要組成部分:

·訓練數據:即一組輸入數據,用于訓練機器學習算法進行預測或對新數據分類。訓練數據可以有多種形式,例如圖像、文本、音頻、數字數據或以上這些數據的組合。

·模型架構:即某個機器學習模型的整體結構或設計。它定義了層的類型和數量、激活函數以及節點或神經元之間的連接。架構的選擇取決于具體問題和所使用的數據。

·模型參數:即模型在訓練過程中學習的值或權重,以進行預測。這些值經過優化算法迭代調整,以最小化預測結果與實際結果之間的誤差。

模型的生成和部署分為兩個階段:

·訓練階段:在訓練階段,模型暴露于標注數據集,并調整其參數以最小化預測結果與實際結果之間的誤差。訓練過程通常涉及若干迭代或epoch,模型的準確性會在單獨的驗證集上進行評估。

Matter Labs聯創:zkSync Era完全切換到Boojum目前已進入最后階段:金色財經報道,Matter Labs聯合創始人兼首席執行官Alex在最新社區AMA采訪中透露,zkSync現在的重點已完全放在Era上,旨在使用ZK Stack構建超可擴展的價值互聯網,目前zkSync Era完全切換到基于STARK的證明系統Boojum已進入到最后階段,切換完成后將帶來更高效的預言機和更低成本的鏈上隱私。(Ignasdefi)[2023/9/2 13:13:32]

·推理階段:推理階段是指使用經過訓練的機器學習模型對新的、未見過的數據進行預測。該模型接收輸入數據,并應用學習到的參數來生成輸出數據,例如分類或回歸預測。

zkML目前主要關注ML模型的推理階段,而不是訓練階段,這主要是礙于驗證在線訓練的計算復雜性。zkML對驗證推理的關注并非是限制因素:我們期望從推理階段中可以產生出一些非常有趣的用例和應用程序。

2、驗證推理場景

驗證推理有四種可能的場景:

·私有輸入,公共模型。模型消費者可能想對其輸入保密,不希望模型提供者知道。例如,MC可能希望在不披露個人財務信息的情況下向貸款人證明信用評分模型的結果。這可以通過使用預承諾方案并在本地運行模型來實現。

·公共輸入,私有模型。ML-as-a-Service的一個常見問題是,MP可能希望隱藏他們的參數或權重以保護自己的IP,而MC希望驗證生成的推論確實來自于對抗設置中的指定模型。可以這樣考慮:MP在向MC提供推論時,有動機運行更輕型的模型以節省成本。使用鏈上模型權重承諾,MC可以隨時審計私有模型。

·私有輸入,私有模型。當用于推理的數據高度敏感或高度機密,并且模型隱藏自身以保護IP時,就會出現這種情況。舉個關于這方面的例子:使用私有患者信息審計醫療保健模型。零知識證明的復合技術或多方計算的使用或FHE的變體可用于服務于此場景。

·公共輸入,公共模型。當模型的各方面都可以公開時,zkML將服務于一個不同用例:壓縮并驗證鏈下計算,以適應鏈上環境。對于較大的模型,驗證推理的簡潔的ZK證明比重新運行模型本身更具成本效益。

3、應用及機會

經過驗證的ML推理為智能合約開啟了新的設計空間。下面來看一些加密原生應用:

DeFi

·可驗證的鏈下ML預言機。繼續采用生成式AI可能有助于推動行業為內容實施簽名方案。簽名數據可隨時應用于ZK,使數據具有可組合性且可信。ML模型可以對簽名數據進行鏈下處理以進行預測和分類。這些鏈下ML預言機可以通過驗證推理并在鏈上發布證明,以無需信任的方式解決現實世界的預測市場、保險協議合約等問題。

zkSync生態DEX Merlin退款網址疑為釣魚站點,用戶需謹慎交互:8月19日消息,zkSync生態DEX Merlin在社交平臺宣稱已挽回70%漏洞資金損失,并發布退款分析應用程序讓用戶交互以申請退款。經檢測,該網址疑為釣魚站點,用戶需謹慎交互。

此前報道,CertiK表示已確認此前Merlin DEX被盜182萬美元事件為內部Rug Pull,并向相關執法機構提交信息。[2023/8/19 18:10:23]

·ML參數化的DeFi應用。DeFi有很多方面可以更加自動化。例如,借貸協議可以使用ML模型實時更新參數。今天的借貸協議主要信任由組織運行的鏈下模型來進行抵押品事宜、LTV、清算門檻等相關決策,但社區訓練的開源模型可能是更好的替代方案,這類模型可以由任何人運行和驗證。

·自動交易策略。展示財務模型策略的回報狀況的一種常見方法是,MP向投資者提供各種回測。然而,在執行交易時,是沒有辦法驗證策略是否遵循了模型的——投資者必須相信策略確實遵循了模型。zkML提供了一個解決方案,MP可以在進行特定位置部署時提供財務模型推理證明。這對于DeFi管理的金庫來說特別有用。

安全性

·智能合約的欺詐監控。ML模型可以用來檢測潛在的惡意行為并暫停合約,而不依靠緩慢的人工治理或中心化主體來控制是否暫停合約。

傳統ML

·Kaggle的去中心化、無需信任的實現。可以創建這樣一個協議或市場,允許MC或其他相關方在MP不披露模型權重的情況下驗證模型的準確性。這對于模型銷售、模型準確性競爭等會很有用。

·生成式AI的去中心化prompt市場。生成式AI的prompt創建已經演變成一種復雜的工藝,最好的prompt輸出通常包含許多modifier修飾符。外部各方可能愿意從創建者那里購買這些復雜的prompt。zkML可以在這里發揮兩方面作用:1)驗證prompt輸出,以向潛在購買者確保prompt確實創建了所需的圖像;2)允許prompt所有者在prompt被購買后仍然保有prompt的所有權,對購買者匿名的同時仍然為他們生成經過驗證的圖像。

身份驗證

·用保護隱私的生物識別身份驗證取代私鑰。私鑰管理仍然是web3用戶體驗最大的摩擦之一。通過面部識別或其他獨特因素提取私鑰是zkML的一種可能的解決方案。

·公平的空投和貢獻者獎勵。ML模型可用于創建詳細的用戶角色,以根據多種因素確定空投分配或貢獻獎勵。當與身份解決方案結合使用時,這種功能會特別強大。在這種情況下,有種可能性是讓用戶運行一個開源模型來評估他們在應用程序中的參與度,以及更高層的生態參與度,以推斷他們的分配額度。然后,他們向合約提供此證明以接收代幣分配。

基于zkSync的DEX SyncSwap已上線PolygonzkEVM測試網:3月20日消息,基于zkSync的DEX SyncSwap在推特上宣布已上線Polygonzk EVM測試網。此前報道,SyncSwap測試網于3月2日在zkSyncEra測試網上線。[2023/3/20 13:14:09]

Web3社交

·web3社交媒體過濾功能。web3社交應用程序的去中心化性質將導致更多的垃圾郵件和惡意內容。理想情況下,社交媒體平臺可以使用社區同意的開源ML模型,并在選擇過濾帖子時發布模型推理的證明。

·廣告/推薦。作為一個社交媒體用戶,我可能愿意看到個性化的廣告,但希望對廣告商保密我的偏好和興趣。我可以選擇根據我的喜好在本地運行一個模型,該模型向媒體應用程序提供信息,然后展示我想要的內容。在這種情況下,廣告商可能愿意為終端用戶付費,但這些模型可能遠沒有當前的目標廣告模型那么復雜。

創作者經濟/游戲

·游戲內經濟再平衡。ML模型可用于動態調整代幣的發行、供應、銷毀、投票閾值等。一種可能的模式是,如果達到一定的再平衡閾值,并且推理證明得到驗證,那么合約就可能受激勵以重新平衡游戲內經濟。

·新型鏈上游戲。可以創建人類對抗AI的合作游戲和其他創新的鏈上游戲,此時無需信任的AI模型充當非玩家角色。NPC采取的每一個行動都會被發布到鏈上,并帶有一個證明,任何人都可以驗證該證明以確定運行模型的正確性。在ModulusLabs的Leelavs.theWorld案例中,驗證者希望確保正在下棋的是1900ELOAI,而非棋手MagnusCarlson。另一個例子是AIArena,這是一款SuperSmashBrothers風格的AI戰斗游戲。高風險競爭環境中的玩家希望確保他們訓練的模型不受干擾或者不會出現作弊行為。

4、新興項目和基礎設施

zkML的生態系統可以大致分為四大類:

·Model-to-ProofCompilers:將模型從現有格式編譯成可驗證計算電路的基礎設施。

·通用證明系統:用來驗證任意計算軌跡的證明系統。

·特定zkML證明系統:專門用于驗證ML模型的計算軌跡的證明系統。

·應用程序:處理獨特zkML用例的項目。

Layer2 NFT市場Mint Square已上線zKsync 2.0測試網:10月20日消息,基于以太坊Layer2 ZK Rollup的NFT市場Mint Square已上線zKsync 2.0測試網,用戶可在zkSync 2.0測試網上鑄造和交易NFT,并引入了購物車批量購買、定時拍賣這兩個新功能。[2022/10/20 16:31:13]

Model-to-ProofCompilers

在研究zkML生態系統時,大多數注意力都集中在模型到證明編譯器上。通常,這些編譯器會將使用Pytorch、Tensorflow或類似語言編寫的高級ML模型轉換為ZK電路。

EZKL是一個庫和命令行工具,用于在zk-SNARK中對深度學習模型進行推理。使用EZKL,你可以在Pytorch或TensorFlow中定義計算圖,將其導出為ONNX文件,一些樣本輸入包含在JSON文件中,并將EZKL指向這些文件以生成zkSNARK電路。隨著最新的性能改進,EZKL現在可以在大約6秒內占用1.1GBRAM證明一個MNIST大小的模型。到目前為止,EZKL已經有一些重要的早期采用,被用作各種黑客馬拉松項目的基礎設施。

CathySo的circomlib-ml庫包含Circom的各種ML電路模板。電路包含一些最常見的ML功能。同樣由Cathie開發的Keras2circom是一個python工具,它使用底層circomlib-ml庫將Keras模型轉換為Circom電路。

LinearA為zkML開發了兩個框架:Tachikoma和Uchikoma。Tachikoma用于將神經網絡轉換為純整數形式并生成計算軌跡。Uchikoma是一個將TVM的中間表示轉換為不支持浮點運算的編程語言的工具。LinearA計劃支持Circom和Solidity,前者使用域算法,后者使用有符號和無符號整數算法。

DanielKang的zkml是一個用于在ZK-SNARKs中構建ML模型執行證明的框架。在撰寫本文時,它能夠證明一個使用大約5GB內存運行約16秒的MNIST電路。

更通用的模型到證明編譯器還有NilFoundation和RiscZero。NilFoundation的zkLLVM是一個基于LLVM的電路編譯器,能夠驗證使用流行編程語言編寫的計算模型。與本文提到的其他一些模型到證明編譯器相比,它是通用的基礎設施,但仍然適用于像zkML這樣的復雜計算。當與證明市場相結合時,該功能將格外強大。

動態 | ZKSNARK Plasma ETH擴容解決方案處理能力達500Tx/s:據Trustnodes,以太坊基金會和初創公司Matter Inc的開發人員已經在測試網上推出了一個Plasma擴展解決方案,該解決方案使用ZKSNARK技術來實現每秒500次交易的處理能力。V神轉發該消息并評論稱,這并不是嚴格意義上的Plasma,但它仍然非常酷。[2019/1/7]

RiscZero面向RISC-V開原指令集構建了一個通用的zkVM,因此支持現有的成熟語言,如C++和Rust,以及LLVM工具鏈。這將支持主機和客戶端zkVM代碼之間的無縫集成,類似于Nvidia的CUDAC++工具鏈,但使用了ZKP引擎代替GPU。與Nil類似,可以使用RiscZero來驗證ML模型的計算軌跡。

通用證明系統

證明系統的改進是zkML實現的主要推動力,特別是customgates和lookuptables的引入。這主要是由于ML對非線性的依賴。簡而言之,非線性是通過激活函數引入的,這些函數應用于神經網絡內線性變換的輸出。由于受數學運算門的限制,在ZK電路中這些非線性實現是有難度的。Bitwisedecomposition和lookuptables可以通過將非線性的可能結果預先計算到查找表中來幫助解決這個問題,有趣的是,這在ZK中計算效率更高。

由于這個原因,Plonkish證明系統往往是zkML最流行的后端。Halo2和Plonky2的table-style算法方案可以通過lookup參數很好地處理神經網絡非線性。此外,Halo2有一個充滿活力的開發者工具生態系統,再加上它非常靈活,使其成為包括EZKL在內的很多項目名副其實的后端支柱。

其他證明系統也有自己的優點。基于R1CS的證明系統包括用于小型證明的Groth16和處理超大電路和線性時間證明器的Gemini。如Winterfell證明者/驗證者庫這樣的基于STARK的系統也非常有用,特別是當通過Giza的工具實現時,Giza工具將Cairo程序的軌跡作為輸入值,并使用Winterfell生成STARK證明來證明輸出值的正確性。

特定zkML證明系統

在有效的證明系統設計方面已經取得了一些進展,這些系統可以處理復雜的、電路不友好的高級ML模型操作。ModulusLabs的基準報告證明,像zkCNN這樣基于GKR證明系統的系統,或者像Zator這樣使用復合技術的系統,通常比通用的同類系統性能更高。

zkCNN是一種使用零知識證明來證明卷積神經網絡正確性的方法。它使用sumcheck協議來證明快速傅里葉變換和卷積,其線性證明時間比漸近計算結果更快。交互式證明引入了若干改進和通則,包括驗證卷積層、ReLU激活函數和最大池化。zkCNN特別有趣,因為ModulusLabs的基準報告發現,zkCNN在證明生成速度和RAM消耗方面都優于其他通用證明系統。

Zator是一個旨在探索使用遞歸SNARKs來驗證深度神經網絡的項目。目前驗證深層模型的約束條件是將整個計算軌跡擬合到單個電路中。Zator提出使用遞歸SNARKs一次驗證一層,可以漸進增量驗證N步重復計算。他們使用Nova將N個計算實例縮減到一個實例中,這個實例可以通過單個步驟進行驗證。通過這種方法,Zator能夠snark一個具有512層的網絡,這與當今大多數生產式AI模型一樣深。對于主流用例來說,Zator的證明生成和驗證時間仍然太長,但是其復合技術還是很有趣的。

應用程序

鑒于zkML仍處于早期階段,它將大部分重心都放在了上述基礎設施方面。然而,目前有一些項目正在進行應用開發。

ModulusLabs是zkML領域中最多樣化的項目之一,致力于應用范例和相關研究。在應用方面,ModulusLabs通過RockyBot和Leelavs.theWorld展示了zkML的用例。該團隊還涉足研究領域,撰寫了TheCostofIntelligence一文,對不同大小模型的各種驗證系統的速度和效率進行了基準測試。

Worldcoin正在應用zkML,試圖建立一個保護隱私的人格證明協議。Worldcoin正在使用定制硬件來處理高分辨率虹膜掃描,這些掃描被插入到他們的Semaphore實現中。然后,可用于執行有用的操作,如成員資格認證和投票。他們目前使用具有安全enclave的可信運行環境來驗證攝像頭簽名的虹膜掃描,但他們最終的目標是使用ZKP來證明神經網絡對加密級別安全保障的正確推理。

Giza是一種可以以一種完全無需信任的方法在鏈上部署AI模型的協議。它使用的技術棧包括用于表示機器學習模型的ONNX格式,用于將這些模型轉換為Cairo程序格式的GizaTranspiler,用于以可驗證和確定性的方式執行模型的ONNXCairoRuntime,以及用于部署和執行鏈上模型的GizaModel智能合約。雖然Giza也可以屬于模型到證明的編譯器類別,但它們定位為ML模型市場是當今更有趣的應用之一。

Gensyn是一個去中心化硬件供應網絡,用于訓練ML模型。具體來說,他們正在設計一個基于梯度下降算法的概率審計系統,并使用模型檢查點使去中心化的GPU網絡能夠為大規模模型訓練提供服務。雖然他們的zkML應用明顯特定于自身用例——他們希望確保當節點下載和訓練模型的一部分時,他們對模型的更新是誠實的——但卻展示了ZK和ML結合的強大功能。

ZKaptcha專注于web3的bot問題,為智能合約提供captcha服務。它們目前的實現是讓終端用戶通過完成captcha來生成人類工作的證明,captcha由鏈上驗證者驗證,并通過幾行代碼由智能合約訪問。今天,它們主要只依賴于ZK,但計劃在未來實現zkML,類似于現有的web2captcha服務,分析鼠標移動等行為,以確定用戶是否是人類。

zkML市場仍處于相當早期的階段,但很多應用程序已經進行了黑客馬拉松級別的試驗。這些項目包括AIColiseum、HunterzHunter,以及zkSection9。

5、zkML面臨的挑戰

雖然zkML正在以光速進行改進和優化,但該領域仍然存在一些核心挑戰。這些挑戰涉及到技術和實踐方面,具體如下:

·高精度的量化

·電路的大小

·矩陣乘法的有效證明

·對抗攻擊

量化是將大多數ML模型用來表示模型參數和激活函數的浮點數表示為定點數的過程,這在處理ZK電路的域算法時是必不可少的。量化對機器學習模型精度的影響取決于所使用的精度水平。通常,使用較低的精度會導致準確性降低,因為它會應用四舍五入和近似誤差。然而,有幾種技術可以用來最小化量化對準確性的影響,例如在量化之后微調模型,以及使用量化感知訓練等技術。此外,zkSummit9上的一個黑客馬拉松項目ZeroGravity已表明,為邊緣設備開發的替代神經網絡架構可用于避免電路量化的問題。

除了量化,硬件是另一個關鍵挑戰。一旦機器學習模型通過電路進行了正確表示,由于ZK的簡潔性,驗證其推論的證明既便宜又快速。這里的挑戰不在于驗證者,而是在于證明者,因為隨著模型越來越大,RAM消耗和證明生成時間會迅速增加。某些證明系統或復合技術更適合處理這些問題,但是管理權衡是構建zkML項目的核心挑戰。

在對抗方面,還有工作要做。首先,如果一個無需信任的協議或DAO選擇實現一個模型,在訓練階段仍然存在對抗攻擊的風險。聯邦學習技術和訓練階段zkML可能是最小化這種攻擊面的一種方法。

另一個核心挑戰是,當一個模型屬于隱私保護模型時,存在模型竊取攻擊的風險。雖然模型的權重可以被混淆,但理論上仍可以在有足夠的輸入-輸出對的情況下對權重進行反向工程。雖然這種風險主要針對小型模型,但風險就是風險。

6、擴展智能合約

盡管優化這些模型以符合ZK運行條件還存在著這樣那樣的挑戰,但優化改進正在以指數級的速度進行,有人預計,假設在進一步的硬件加速條件下,我們將很快擴展更廣泛的機器學習領域。zkML已經從2021年0xPARC的zk-MNIST演示,發展到DanielKang在不到一年后對ImageNet-scale模型做了同樣的驗證。2022年4月,ImageNet-scale模型的準確率從79%進一步提高到92%,盡管目前的驗證時間較慢,但像GPT-2這樣大的網絡在短期內是可行的。

我們認為zkML是一個豐富且不斷發展的生態系統,它希望擴展區塊鏈和智能合約的功能,使其更加靈活、適應性更強、更加智能。

雖然zkML仍處于早期開發階段,但它已經開始顯示出光明前景。隨著技術的發展和成熟,我們有望看到出現更多鏈上zkML的創新用例。

Tags:ARKNARCNNARK幣是什么幣NAR價格NAR幣CNN幣是什么幣

TRX
MEV:如何實現區塊構建者角色的去中心化?

引言 快速回顧——本報告的一個關鍵主題是VitalikButerin在《終局游戲》一文中的想法.

1900/1/1 0:00:00
Arbitrum:脫水大字報:本周利空或較多

本期看點: 1.本周科技股財報季負面較多2.高利率維持越久鬼故事越多3.ARB空投多數地址獲利1350美元4.過去30天聰明錢持倉變化統計 01重要新聞 1.美聯儲:FedNow與數字貨幣無關.

1900/1/1 0:00:00
NFTX:NFTFi賽道版圖概覽

NFT市場從去年一月份開始爆發,并在去年一年成為引領市場的熱點領域。根據DuneAnalytics的數據,在今年1月時,NFT市場的周交易額達到了61.5億美元.

1900/1/1 0:00:00
加密貨幣:突發:中國發布警告和指南反對使用 NFT

CryptoNews:中國對加密貨幣的立場長期以來一直是猜測和陰謀的話題。在中國政府于2021年禁止銀行提供與加密貨幣相關的服務并取締本地加密貨幣交易所很久之后,中國負責法律訴訟的主要國家機構發.

1900/1/1 0:00:00
BRC:脫水專題:幣安為何選擇ORC20?

01Twitter觀點 1.DeFiTeddy:BRC20之后又有了ORC20哪個會是王者?ORC20和BRC20區別ORC20和BRC20一樣.

1900/1/1 0:00:00
LTC:萊特幣 (LTC) 近期表現令人失望,投資者轉向 Tradecurve (TCRV)

加密貨幣交易員和投資者一直在尋找可以在Web3領域占據主導地位并為他們提供可觀回報的新項目。隨著一些最古老和最成熟的項目的價值下降,他們的注意力轉向了較新的預售階段項目.

1900/1/1 0:00:00
ads