摘要：「CryptoAI應(yīng)用前景和挑戰(zhàn)」在Vitalik的最新文章中，他討論了人工智能與密碼學(xué)的交叉，并提出了兩個(gè)主要的挑戰(zhàn):密碼學(xué)開銷和黑盒對(duì)抗性機(jī)器學(xué)習(xí)攻擊。雖然Vitalik認(rèn)為AIxCrypto大有可為，但他指出，主要的反對(duì)意見(jiàn)之一是密碼學(xué)開銷。...

前期摘要

Vitalik Buterin 最新文章討論了區(qū)塊鏈和人工智能 (AI) 交接點(diǎn)主要集中在如何將交接點(diǎn)上。 AI 應(yīng)用于加密世界，并討論了四個(gè)交接點(diǎn): AI 作為參與者，AI 作為界面、AI 作為規(guī)則，以及 AI 作為目標(biāo)。

本文探討了這些交接點(diǎn)的前景和挑戰(zhàn)，強(qiáng)調(diào)了對(duì)抗機(jī)器學(xué)習(xí)攻擊和密碼學(xué)的成本。 文章提到了使用零知識(shí)證明和其他密碼學(xué)來(lái)隱藏模型內(nèi)部操作的概率，并指出了密碼學(xué)成本和黑匣子對(duì)抗機(jī)器學(xué)習(xí)攻擊的測(cè)試。

最后，文章討論了建立可擴(kuò)展的分散隱私 AI 技術(shù)，并考慮了在 AI 安全與 AI 作為游戲目標(biāo)的應(yīng)用。 文章總結(jié)強(qiáng)調(diào)在這些領(lǐng)域需要謹(jǐn)慎實(shí)踐，但對(duì)于區(qū)塊鏈和區(qū)塊鏈， AI 對(duì)交叉領(lǐng)域的前景表示期待。

0. 「Crypto AI 應(yīng)用價(jià)值與挑戰(zhàn)」

在 Vitalik 在最新文章中，他討論了人工智能與密碼學(xué)的交叉點(diǎn)，并提出了兩個(gè)主要考驗(yàn): 密碼學(xué)費(fèi)用和黑盒對(duì)抗機(jī)器學(xué)習(xí)攻擊。

Vitalik 我覺(jué)得人工智能和數(shù)字貨幣的方向有很大的作用。 在幫助數(shù)字貨幣變得更好的過(guò)程中，人工智能可以發(fā)揮關(guān)鍵作用，比如「游戲界面」或「游戲規(guī)則」。

1. 挑戰(zhàn): 密碼學(xué)花銷

a) 密碼學(xué)支出問(wèn)題已經(jīng)解決

盡管 Vitalik 覺(jué)得 AI x Crypto 他取得了巨大的成就，但他指出，主要的反對(duì)之一是密碼學(xué)的成本。 目前最主流的鏈條 AI/ML 方法是 zkML，這將 ML 模型編譯成 zk 電路，這樣密碼學(xué)就可以在鏈上驗(yàn)證。

「人工智能計(jì)算非常昂貴」，加上密碼學(xué)，速度更慢。

Vitalik 我覺(jué)得密碼學(xué)成本的問(wèn)題已經(jīng)部分解決了:

• 人工智能計(jì)算及其密碼學(xué)成本適合高度加快，不像 zkEVM 那樣存在「非結(jié)構(gòu)化」計(jì)算類型。
• 隨著時(shí)間的推移，更有效 zk 密碼學(xué)方案將被發(fā)明，成本將大大降低。

b) 目前，額外的費(fèi)用是 1000 倍。

但是，這種方法遠(yuǎn)不夠?qū)嵱?，尤其是?duì)于這種方法來(lái)說(shuō)， Vitalik 所描述的使用案例。 以下是一些相關(guān)的例子：

• zkML 框架 EZKL 生成一個(gè) 1M-nanoGPT 一般需要確認(rèn)模型 80 分鐘。
• 根據(jù) Modulus Labs 的說(shuō)法，zkML 比純計(jì)算的費(fèi)用 >>1000 雙倍，最新報(bào)告的數(shù)字是最新報(bào)告的數(shù)字 1000 倍。
• 根據(jù) EZKL 的檢測(cè)，RISC Zero 隨機(jī)森林分類均值驗(yàn)證時(shí)間為 173 秒。

在實(shí)踐中，要等幾分鐘才能得到 AI 交易的易讀解釋是不可接受的。

2. 通過(guò) opML 處理

a) opML: Optimistic 機(jī)器學(xué)習(xí)

在文章的最后，Vitalik 提及：「我期待著在這些領(lǐng)域看到更多的人工智能建設(shè)用例，這樣我們就可以看到哪些是真正可行的大規(guī)模應(yīng)用。」我們認(rèn)為，zkML 現(xiàn)階段并非如此「可行」，上述應(yīng)用程序難以實(shí)現(xiàn)。

作為 opML 的發(fā)明者和 opML 開源實(shí)現(xiàn)的第一個(gè)創(chuàng)始人，我們相信，opML 可以通過(guò)博弈論處理密碼學(xué)成本問(wèn)題，讓人工智能 x Crypto 現(xiàn)在可以實(shí)現(xiàn)了。

b) 通過(guò)激勵(lì)機(jī)制實(shí)現(xiàn)安全

opML 在保證安全的同時(shí)，解決了鏈上的問(wèn)題 ML 密碼學(xué)費(fèi)用問(wèn)題。 為了簡(jiǎn)單考慮，我們可以使用它 Arbitrum 的 AnyTrust 假設(shè)來(lái)評(píng)價(jià) opML 系統(tǒng)的安全性。

AnyTrust 假設(shè)每個(gè)主張至少有一個(gè)誠(chéng)實(shí)的節(jié)點(diǎn)，以確保提交人或至少有一個(gè)驗(yàn)證人是誠(chéng)實(shí)的。 在 AnyTrust 保持安全性和有效性：

• 安全性: 誠(chéng)實(shí)的驗(yàn)證人可以通過(guò)質(zhì)疑惡意節(jié)點(diǎn)的錯(cuò)誤結(jié)果來(lái)強(qiáng)制執(zhí)行正確的行為，從而通過(guò)仲裁程序進(jìn)行處罰。
• 實(shí)效性: 建議的結(jié)果要么在最長(zhǎng)時(shí)間內(nèi)被接受，要么被拒絕。

比較「AnyTrust」和「Majority Trust」，opML 的「AnyTrust」 模型更安全?！窤nyTrust」 保持很高的安全性，在各種環(huán)境下都優(yōu)于「Majority Trust」。

c) 用戶隱私 > 模型隱私

Vitalik 本文還談到了模型隱私問(wèn)題。 事實(shí)上，對(duì)于大多數(shù)模型來(lái)說(shuō)， ( 特別是 zkML 目前支持實(shí)踐中的小型模型 )，模型可以通過(guò)足夠的推理進(jìn)行重建。

對(duì)于一般隱私，尤其是用戶隱私，由于需要保持挑戰(zhàn)的開放性，opML 似乎缺乏固有的隱私功能。 通過(guò)結(jié)合 zkML 和 opML，我們可以得到合適的隱私等級(jí)，以確保安全和不可逆轉(zhuǎn)的混淆。

d) 實(shí)現(xiàn) AI x Crypto 用例

opML 已經(jīng)可以直接在以太坊上運(yùn)行了 Stable Diffusion 和 LLaMA 2。 Vitalik 提到的四類 ( 作為玩家使用人工智能 / 界面 / 規(guī)則 / 目標(biāo) ) 已經(jīng)可以通過(guò)了 opML 實(shí)現(xiàn)了，而且沒(méi)有任何額外的費(fèi)用。

我們正在積極探索以下用例和目標(biāo)：

• AIGC NFT (ERC-7007)，7007 Studio 在 Story Protocol Hackathon 中獲勝
• 鏈上的人工智能游戲 ( 如龍與地下城游戲 )
• 使用 ML 的預(yù)測(cè)市場(chǎng)
• 內(nèi)容真實(shí)性 (Deepfake 驗(yàn)證器 )
• 合規(guī)的可編程隱私
• Prompt 市場(chǎng)
• 信譽(yù) / 信用評(píng)分

3. 總結(jié)

有了 opML，我們可以消除密碼學(xué)成本帶來(lái)的挑戰(zhàn)，保持分散化和可驗(yàn)證性，這樣我們就可以消除密碼學(xué)成本的挑戰(zhàn) AI x Crypto 現(xiàn)在變得可行了。