SYN:zk+ML zk賽道的新方向？_zksync幣發行量

近期 Worldcoin 的爆火也為一個 Web 3+AI 敘事造了足夠的勢，Worldcoin 隸屬 zkML 概念，源自 zk+ML（零知識證明和機器學習），也是近期談論較多的一個新興結合體，zk 技術自然不用都說，而 ML 是 AI 的一個子領域，此前 AI+Web3 就已經是行業內頗具熱度的敘事，只是目前來看并沒有很好的概念或用例將兩者無縫銜接起來，而近期的黑山大會上，Vitalik 也對 zkSNARK 推崇備至，加上 Worldcoin 的爆火，所以 zkML 脫穎而出是可以預見的。

大家可能對 zkML 不太熟悉，本文主要為大家撥開 zkML 身上的迷霧，重點講述 zkML 簡介、用例以及一些潛力項目，正式因為目前 zkML 用例不太多，所以才希望大家可以抓住機會，提前了解新概念和用例，做好準備。

zkML 結合了零知識證明和機器學習，其實在 Web 3 之外，ML 早已不是新詞了，該技術已經廣泛地在一些領域獲得用例，比如，自然語言處理（NLP）、自動駕駛、電商等領域，都已經通過 ML 技術達到更高的水平，甚至在一些領域 ML 已經占據了主導地位，所以未來的 zkML 也是大勢所趨，智能合約中嵌入 ML 也會為智能合約提供更復雜和更智能的處理方式。

數據：zkSync Era總鎖倉量突破2億美元:4月13日消息，L2Beat數據顯示，zkSync Era總鎖倉量已超過2億美元，7日增幅達100%。

據悉，4月3日zkSync Era總鎖倉量超1億美元。[2023/4/13 14:00:38]

通過添加 ML 功能，智能合約可以變得更加自主和動態，允許它們根據實時鏈上數據而不是靜態規則做出處理。智能合約將更具靈活性，適應更多場景，包括那些在最初創建合約時可能沒有預料到的場景。簡而言之，ML 功能將擴大我們放在鏈上的任何智能合約的自動化、準確性、效率和靈活性。

目前，ML 之所以沒有在 crypto 廣泛采用的原因之一是在鏈上運行這些模型的計算成本很高，比如 fastBERP——一類 NLP 語言模型，該模型的采用需要使用約 1800 MFLOPS（百萬浮點運算），這是不能直接在 EVM 上運行的。而應用模型需要基于真實世界數據進行預測，為了擁有 ML 規模的智能合約，而合約必須獲得此類預測；

zkSync：資金被卡合約的項目為Gemholic，已找到解決方案解凍:4月7日消息，zkSync 回應zkSync 上一項目因使用 transfer() 函數將 921 ETH 代幣銷售融資卡至合約中，zkSync Era 上多合一平臺 Gemholic 遇到智能合約問題，資金是安全的，目前已找到一個解決方案來解凍合約，可以解決更廣泛的與 Gas 相關的問題，這將需要對協議的 Gas 計量進行最小的更改，但會允許完全回收資金，將在明天發布更多詳細信息。

zkSync 解釋稱，任何使用 transfer() 或 send() 的智能合約都嚴重依賴 Gas 成本（硬編碼 2300 Gas），但這不能保證在以太坊上工作，fallback() 函數可以消耗超過 2300 Gas，opcode Gas 定價在以太坊的未來版本中可能會發生變化，合約將會中斷。zkSync Era 不等同于 EVM，Era 有一個發散的、動態的 Gas 計量方案，允許一些交易類型比任何其他 EVM rollup 便宜 10 到 1000 倍。按照 Era 主網當前的 Gas 水平，ETH 轉賬將花費超過 2300 gas。這就是為什么任何沒有明確 Gas stipend 的 .transfer() 調用目前都會失敗的原因。zkSync 一直很清楚這個問題可能會出現，所以直接向編譯器添加了關于 .transfer() 的警告。

此前，The Block 研究主管 Eden Au 表示，zkSync 上的一個項目通過代幣銷售籌集到 921 ETH（170 萬美元），但資金會被永遠卡在智能合約中。[2023/4/7 13:49:40]

原因之二是需要處理 ML 模型的信任框架問題，主要分兩點，一是其隱私性：如前所述，模型參數通常是私有的，在某些情況下，模型輸入也需要保密，這自然會在模型擁有者和模型使用者之間帶來一些信任問題；二是算法黑匣子，ML 模型有時被稱為「黑匣子」，因為它們在計算過程中涉及許多難以理解或解釋的自動化步驟。這些步驟涉及復雜的算法和大量數據，這些數據會帶來不確定的、有時是隨機的輸出，使算法成為偏見甚至歧視的罪魁禍首。而 zk 技術可以很高效地解決該信任問題。

ConsenSys發布新的EVM等效zk-EVM規范，開發人員可部署任何智能合約:據官方消息，以太坊基礎設施開發公司ConsenSys發布新的EVM等效zk-EVM規范，設計目標包括按照黃皮書中指定的EVM規范執行未更改的原生字節碼（native bytecode）、100%覆蓋不同的操作碼、交付V神定義的2類型zk-EVM，使開發人員可以部署任何智能合約，使用任何工具，并完全按照他們在L1上構建應用的方式進行開發，目前測試版本已開放。[2022/10/14 14:27:29]

所以此時 zkSNARK 順勢出現，zkML 中的 zk 技術大多指的是 zkSNARK，zkSNARK 為我們提供了一個解決方案：任何人都可以在鏈下運行一個模型，并生成一個簡潔且可驗證的證明，表明預期的模型確實產生了特定的結果，該證明可以在鏈上發布并由智能合約獲取并并增強其智能。ML 模型通常需要三部分：訓練數據、模型架構、模型參數。經過訓練后的模型只要是通過推理驗證后就可以為智能合約開辟出一個更新的設計空間。（模型訓練和推理就不過多敘述了）

BiKi平臺今日上線ZKS 開盤漲幅474%:據官方消息，BiKi平臺今日上線ZKS（ZKSwap），并開放ZKS/USDT交易對，開盤最高漲幅達474%，開盤價0.07USDT，現報價0.253USDT。

BiKi已開啟ZKS網格交易、流動性挖礦，用戶通過網格寶開啟ZKS/USDT網格交易，滿足條件即可獲得網格+流動性挖礦雙收益，一鍵雙挖。[2021/1/6 16:33:10]

而經過 zkSNARK +ML 加成后的智能合約也會有很多用例，以下是其用例：

可驗證的鏈下機器學習預言機

結合 zkSNARK 結合 ML 模型的驗證推理，這些鏈下 ML 預言機可以用于通過驗證推理并在鏈上發布證據來可靠地解決現實世界的預測市場、確保協議合約等問題。

ML 參數化的 DeFi

DeFi 的很多細分領域其實都可以實現自動化。例如，借貸協議可以使用 ML 模型來實時更新參數。如今借貸協議主要信任由組織運行的鏈下模型來確定抵押品系數、LTV、清算門檻等，ML 可以提供更好的替代方案，社區訓練的開源模型，任何人都可以運行和驗證。

Google Cloud 在客戶用例中新增路印協議 Loopring 的 zkRollup 擴容方案:Google Cloud 在客戶和案例研究中新增路印協議 Loopring 的 zkRollup 擴容方案。根據該案例專頁的描述，路印協議 Loopring 選擇 Google Cloud 的可擴展性和速度來減少交易時間，為 zkRollup 客戶提供更好體驗，可將用戶資金釋放等待時間縮短 40％。Google Cloud 計算引擎通過自定義 VM 解決方案可節省 15％的計算成本，從而為用戶降低了交易費用，此外還可將部署時間從幾分鐘縮短到幾秒鐘，以提高員工效率，最終增強交易計算性能并改善客戶服務。[2020/12/19 15:47:42]

自動交易策略

驗證交易策略回報情況的一種方式是讓 MP 向投資者提供各種回溯測試，無法驗證策略師在執行交易時是否遵循模型，但 zkML 可以為其提供解決方案，MP 可以在部署到特定位置時提供金融模型推理的驗證證明。

智能合約的欺詐監控

ML 模型可用于檢測可能的惡意行為并執行暫停程序，而不是讓人親手治理或集中的參與者來控制暫停合約的能力。

通過生物特征認證代替私鑰（也就是目前 Worldcoin 所做的）

私鑰管理仍然是另 Web3 用戶頭疼的問題之一。通過面部識別或其他生物特征提取私鑰是 zkML 的一種可能解決方案，而 Worldcoin 正是應用的這種方式，其 Orb 設備來確定某人是否是一個沒有試圖 KYC 做假的真實的人，并且使用 zk 技術確保其 ML 模型的輸出不會泄露用戶的個人數據，通過各種相機傳感器和分析面部和虹膜特征的機器學習模型來實現這一點。

同樣，一些 Web 3 社交媒體很容易獲取用戶喜好和數據，為我們展示一些垃圾郵件和虛假鏈接，很多虛假鏈接導致用戶錢包被盜等，但通過 zkML 技術我們可以避免很多不必要的內容和郵件鏈接。

游戲內經濟再平衡

ML 模型可用于動態調整 token 發行、供應、銷毀、投票門檻等，一種可能的模型是激勵合約，如果達到某個再平衡閾值并驗證推理證明，可以重新平衡游戲內的經濟。

新型鏈上游戲

可以創建合作的人類與人工智能游戲和其他創新的鏈上游戲，其中不信任的人工智能模型充當 NPC 角色，NPC 的所有行動都會發到鏈上，并附有任何人都可以驗證以確定正確運行模型的證明。

由于 zkML 目前還處于早期發展狀態，能找到的項目并不是很多，以下是為大家找到的潛力項目：

Worldcoin 就不過多敘述了，大家應該比較熟悉，參考「如果 Worldcoin 成功，將對加密行業產生哪些影響？」

Modulus Labs 是 zkML 較為多樣化的項目之一，構建鏈上 AI 所需技術。既致力于用例，也致力于相關研究。在應用方面，Modulus Labs 已經開發了 RockyBot（一個鏈上交易機器人）和 Leela vs. the World（一個象棋游戲），真人與 Leela 象棋引擎的一個可經驗證的鏈上實例對弈。

Giza 是一個致力于通過 AI 發展經濟的協議，能夠使用完全無信任的方法在鏈上部署 AI 模型，由 StarkWare 合作支持，最終實現一個為 AI 發展提供替代路徑的市場。

Zkaptcha 專注于 Web3 中的機器人問題，保護智能合約免受機器人攻擊，使用零知識證明來創建抗女巫攻擊的智能合約，為智能合約提供驗證碼服務。目前，該項目使終端用戶通過完成驗證碼來產生一個人類工作的證明，未來，Zkaptcha 將繼承 zkML，推出類似于現有的 Web 2 驗證碼服務，但也可以分析鼠標運動等行為，以確定用戶是否為真人。

目前看來，zkML 與 crypto 結合領域的產品其實并不多，此類產品構建的過程中還會遇見一些問題，zkML 與 crypto 未來可能還需要更多改善和優化。但憑借 zkSNARK 和 ML 的結合，我們有理由相信會 zkML 的力量可以給 crypto 帶來更好的前景和發展，也期待該領域能出現更多樣的產品，zk 技術和 crypto 為 ML 的運行提供安全可信的環境，而未來除了產品的創新之外，還可能會催生 crypto 商業模式的創新，因為在這個狂野和無政府的 Web 3 世界中，去中心化、crypto 技術和信任才是最最基礎的設施。

區塊律動BlockBeats

媒體專欄

閱讀更多

金色財經

澎湃新聞

金色薦讀

金色財經 善歐巴

鏈得得

LD Capital

深潮TechFlow

Odaily星球日報

Foresight News

BTCStudy

iBox

Tags：ZKSKSYzkSyncSYNzks幣適合長期持有嗎Banksy Financezksync幣發行量syn幣最新消息

非小號