加密世界，從不缺少新的敘述，但很少有人能稱之為性感和務(wù)實(shí)。

例如本輪 AI 雖然云計(jì)算已經(jīng)成為未來(lái)數(shù)字經(jīng)濟(jì)時(shí)代的關(guān)鍵生產(chǎn)力，但傳統(tǒng)的云計(jì)算已經(jīng)成為未來(lái)數(shù)字經(jīng)濟(jì)時(shí)代的關(guān)鍵生產(chǎn)力 Web2 巨頭壟斷了高質(zhì)量的高性能 GPU 和算率資源，而中尾項(xiàng)目沒(méi)有議價(jià)權(quán)和自主權(quán)，更廣泛的可驗(yàn)證計(jì)算應(yīng)用領(lǐng)域也面臨著無(wú)米鍋的困境。

因此 AI Crypto 在浪潮下，全同態(tài)加密(FHE)最近，這些概念逐漸進(jìn)入房間，被廣泛視為可驗(yàn)證的計(jì)算和計(jì)算 AI 機(jī)密數(shù)據(jù)處理的最佳解決方案之一。

本文將角度定位為「可驗(yàn)證云計(jì)算基礎(chǔ)設(shè)施設(shè)施」的加密老兵 Marlin,挖一挖作為切合 AI、MEV、Oracle、ZK、TEE 等待多線敘事 DeAI 如何適合現(xiàn)在的項(xiàng)目，如何適合現(xiàn)在的項(xiàng)目？ AI 熱潮，又能不能做到「AI Crypto」跑道帶來(lái)了全新的變量。

AI 下半場(chǎng)，離不開(kāi)「可驗(yàn)證云計(jì)算」?

目前大家都知道，除了 AIGC 除了大模型的快速膨脹外，無(wú)數(shù)的醫(yī)療、教育、智能駕駛等都處于早期爆發(fā)階段 AI 場(chǎng)景正在迅速蔓延，這些都需要大量的計(jì)算。

但對(duì)于這種細(xì)分情況，客戶醫(yī)療、教育、智能駕駛信息都是經(jīng)濟(jì)甚至生命安全的關(guān)鍵數(shù)據(jù)：如醫(yī)療衛(wèi)生、能源供應(yīng)、帶寬網(wǎng)絡(luò)、互聯(lián)網(wǎng)車(chē)輛等維度的信息數(shù)據(jù)，不僅直接關(guān)系到個(gè)人秘密數(shù)據(jù)的安全，還需要通過(guò)更廣泛的信息共享與合作促進(jìn)跑道的發(fā)展。

但另一方面，亞馬遜云技術(shù)是傳統(tǒng)的云服務(wù)市場(chǎng)(AWS)、微軟 Azure、谷歌云平臺(tái)(GCP 互聯(lián)網(wǎng)巨頭占據(jù)主流地位——三家公司占據(jù)云計(jì)算總額的60%以上，處于明顯的賣(mài)方市場(chǎng)。

這種市場(chǎng)結(jié)構(gòu)最明顯的問(wèn)題之一是普遍依賴集中式云主機(jī)，這意味著開(kāi)發(fā)者/項(xiàng)目方對(duì)其云服務(wù)的信任本質(zhì)上與一家或多家巨頭的信譽(yù)高度相關(guān)，相當(dāng)于將數(shù)據(jù)自主權(quán)和安全性轉(zhuǎn)移給 Web2 巨頭公司。

就這樣，近年來(lái)，云服務(wù)廠商頻頻發(fā)生數(shù)據(jù)泄露事件，給個(gè)人和機(jī)構(gòu)造成重大損失。因此，無(wú)論開(kāi)發(fā)商/項(xiàng)目方如何看待，「去中心化」這個(gè) Crypto 世界的核心問(wèn)題，與其相信巨人會(huì)「不*」(Don't Be Evil),遠(yuǎn)不如機(jī)制設(shè)計(jì)「不能*」(Can't Be Evil)。

在此背景下，如果仔細(xì)分析， AI 事實(shí)上，云計(jì)算方向仍在底層和底層 Web2 完善的云計(jì)算服務(wù)解決方案存在生態(tài)差距，即機(jī)密計(jì)算技術(shù)的轉(zhuǎn)型成本較高。因此，行業(yè)內(nèi)如何實(shí)現(xiàn)程序的快速安全部署并沒(méi)有特別好的解決方案，導(dǎo)致無(wú)法滿足 AI Web3 所需的一系列應(yīng)用功能也限制了其發(fā)展勢(shì)頭。

所以說(shuō)白了，AI 下半年云計(jì)算市場(chǎng)的發(fā)展迫切需要一整套面向云計(jì)算市場(chǎng)的發(fā)展 Web3 區(qū)塊鏈開(kāi)發(fā)工具集提供了滿足分散、可驗(yàn)證、低延遲、低成本的綜合解決方案。從這個(gè)角度來(lái)看，分散驗(yàn)證云計(jì)算服務(wù)的重要性也逐漸暴露出來(lái)，只是卡住了這個(gè)細(xì)分方向的差距：

在此背景下，分散化可以驗(yàn)證云計(jì)算服務(wù)的重要性，并逐漸暴露在水面上。作為一種使用加密算法執(zhí)行計(jì)算的解決方案，允許使用加密算法進(jìn)行計(jì)算在不透露底層數(shù)據(jù)的情況下，驗(yàn)證數(shù)值的準(zhǔn)確性，既不泄露個(gè)人信息，也不泄露關(guān)鍵數(shù)據(jù)。

所有這些，和 Web3 使用場(chǎng)景非常一致，從而催生了業(yè)內(nèi)用戶對(duì)機(jī)密云計(jì)算的諸多想象空間，比如零知識(shí)證明(ZKP)、多方計(jì)算(MPC)以及近期再度火爆的全同態(tài)加密(FHE)跑道特別受市場(chǎng)關(guān)注。

而這也是 Marlin 做什么-任何事 DePIN/Web2.5/AI 應(yīng)用程序，只要需要低延遲、高計(jì)算能力的計(jì)算服務(wù)，其實(shí)可以選擇在 WeTEE 部署，獲得與傳統(tǒng)云服務(wù)相同的通用云計(jì)算方案。

再次理解 Marlin:變成 AI 世界的可驗(yàn)證 L0

如果用一句話來(lái)描述 Marlin 在 AI 可以驗(yàn)證計(jì)算領(lǐng)域的愿景，實(shí)際上是在 AI 目前，大型模型訓(xùn)練越來(lái)越重要，致力于通過(guò)基礎(chǔ)設(shè)施層的插件直接協(xié)助必要的插件 AI 計(jì)算需求方隨時(shí)隨地將可驗(yàn)證的云計(jì)算服務(wù)集成到現(xiàn)有產(chǎn)品中：

本質(zhì)上，它是成為一個(gè) AI 世界的驗(yàn)證是通用的 L0，所以它封裝了主要功能，基于L0， TEE 高性能節(jié)點(diǎn)增強(qiáng)網(wǎng)絡(luò)和 ZK 可驗(yàn)證通信網(wǎng)絡(luò)為項(xiàng)目方提供一鍵調(diào)用服務(wù)：

其中 Marlin 借助可信執(zhí)行環(huán)境， (TEE) 并基于零知識(shí)證明(ZKP)協(xié)處理器促進(jìn)硬件等級(jí)數(shù)據(jù)和代碼與其他過(guò)程的隔離，保證數(shù)據(jù)的機(jī)密性和運(yùn)行計(jì)算的完整性，實(shí)現(xiàn)計(jì)算結(jié)果的準(zhǔn)確性和可驗(yàn)證性，不被篡改。

與大多數(shù)同時(shí)不同 ZK 協(xié)助處理器專(zhuān)為某些環(huán)境設(shè)計(jì)(RISC-V、WASM 或 MIPS)而設(shè)計(jì)，只能處理適合語(yǔ)言編寫(xiě)的程序，Marlin 的 ZK 確認(rèn)市場(chǎng)是基于電路的，因此與語(yǔ)言無(wú)關(guān)。允許節(jié)點(diǎn)選擇他們想要支持的電路——可以直接移植現(xiàn)有的電路 Python、C 或 Go 應(yīng)用程序或使用程序 zkVM。

同時(shí) Marlin 一般來(lái)說(shuō)，網(wǎng)絡(luò)結(jié)構(gòu)可以分為 Oyster、Kalypso、中繼網(wǎng)絡(luò)(Marlin Relay)這「三駕馬車(chē)」。

其中 Oyster 和 Kalypso 各自使用可信執(zhí)行環(huán)境(TEE)和零知識(shí)證明(ZKP)為了保證計(jì)算的正確性和安全性，中繼網(wǎng)絡(luò)負(fù)責(zé)通過(guò)內(nèi)置的鼓勵(lì)功能，確保不可靠的節(jié)點(diǎn)能夠?yàn)榫W(wǎng)絡(luò)貢獻(xiàn)資源，而不會(huì)對(duì)其安全產(chǎn)生不利影響：

• Oyster 作為由 TEE 鏈下服務(wù)的核心愿景是鏈下服務(wù)允許用戶以最小的變化，在 Marlin 在云計(jì)算網(wǎng)絡(luò)上部署自己的后端或?qū)崿F(xiàn)智能合約擴(kuò)展，因此，其最大的優(yōu)點(diǎn)之一是它沒(méi)有服務(wù)器特性——用戶不需要設(shè)置節(jié)點(diǎn)并選擇要使用的特定節(jié)點(diǎn)，結(jié)果可以很容易地返回給用戶；

• Kalypso 則代表了 Marlin 零知識(shí)證明(ZKP)要知道靈活的集成，要知道使用 FPGA、GPU 和 ASIC 硬件升級(jí)可以顯著加速 ZK 確認(rèn)的形成率降低了時(shí)間和成本。而 Marlin 網(wǎng)絡(luò)依賴于內(nèi)容 GPU 和 FPGA 外包節(jié)點(diǎn) ZK 確認(rèn)生成，從而有效地處理客戶端的請(qǐng)求并返回產(chǎn)生的確認(rèn)；

• Marlin Relay 它是一個(gè)與區(qū)塊鏈無(wú)關(guān)的未經(jīng)許可的中繼網(wǎng)絡(luò)，具有內(nèi)置的鼓勵(lì)功能，可以同時(shí)與多個(gè)區(qū)塊鏈集成。鼓勵(lì)結(jié)構(gòu)確保了不可信賴的節(jié)點(diǎn)能夠?yàn)榫W(wǎng)絡(luò)貢獻(xiàn)資源，而不會(huì)對(duì)其安全產(chǎn)生不利影響；

值得注意的是，Marlin 節(jié)點(diǎn)網(wǎng)絡(luò)中的每個(gè)節(jié)點(diǎn)運(yùn)維都配備了節(jié)點(diǎn)網(wǎng)絡(luò) TEE,同時(shí)，可以在存儲(chǔ)系統(tǒng)中構(gòu)建安全隔離 Enclave 飛地環(huán)境，確保運(yùn)算存儲(chǔ)數(shù)據(jù)時(shí)信息不被窺探和泄露。

并且每個(gè)節(jié)點(diǎn)都通過(guò) ZK 該協(xié)議允許一方向另一方確認(rèn)某一解釋是真實(shí)的，而不需要披露任何具體的解釋數(shù)據(jù)，這確保了數(shù)據(jù)主體的信息安全和事實(shí)的準(zhǔn)確性。

總的來(lái)看,Marlin 作為一個(gè)方向 AI 可驗(yàn)證云計(jì)算 L0，面向廣泛的場(chǎng)景，可以基于分散的分布式節(jié)點(diǎn)網(wǎng)絡(luò)系統(tǒng)，為 Oracle 預(yù)言機(jī)、ZK Prover 系統(tǒng)、AI 人工智能等應(yīng)用場(chǎng)景提供節(jié)點(diǎn)計(jì)算能力、存儲(chǔ)等網(wǎng)絡(luò)資源服務(wù)，成為許多加密場(chǎng)景 AI 使用的數(shù)據(jù)保護(hù)基石。

Marlin 及「AI 世界 L0」的想象空間

從這個(gè)角度來(lái)看，Marlin 其實(shí)是在演關(guān)鍵的時(shí)候 AI Web3 下半場(chǎng)的基礎(chǔ)設(shè)施角色——核心本質(zhì)是真正帶來(lái)可驗(yàn)證計(jì)算 AI 與 Web3 世界。

例如，借助自己「L0」可驗(yàn)證云計(jì)算部件服務(wù)的屬性，Marlin 更進(jìn)一步，把自己變成一塊「樂(lè)高積木」,變成 AI「可驗(yàn)證計(jì)算 」服務(wù)的關(guān)鍵基礎(chǔ)設(shè)施部件賦能了每條賽道 DApp 商品實(shí)現(xiàn)了完全可驗(yàn)證的計(jì)算屬性。

最直觀的使用場(chǎng)景是 Marlin 可以在 AI 在大模型訓(xùn)練日益重要的基礎(chǔ)上，基于大模型訓(xùn)練日益重要的時(shí)刻 TEE 可靠執(zhí)行環(huán)境協(xié)處理器可以 AI 模型訓(xùn)練提供安全的模型訓(xùn)練和計(jì)算環(huán)境，這意味著 ChatGPT 以外,不同的大模型項(xiàng)目可以集成 Marlin 或基于 Marlin 構(gòu)造，形成可友好插入使用的可驗(yàn)證計(jì)算中間件，然后通過(guò)「可驗(yàn)證計(jì)算 」實(shí)現(xiàn)賦能的方式。

同時(shí)，更重要的是建立一個(gè)分散、透明、可驗(yàn)證的鼓勵(lì)環(huán)境，使分布式節(jié)點(diǎn)網(wǎng)絡(luò)成為分散的云計(jì)算能力「租賃」服務(wù)體系，即實(shí)現(xiàn)更廣泛的服務(wù)體系，即 DePIN 通過(guò)代幣鼓勵(lì)領(lǐng)域模型降低云計(jì)算服務(wù)成本:

收集閑置算率，以便宜的成本和更靈活的配置方式，幫助企業(yè)家培養(yǎng)更個(gè)性化的中小企業(yè)家 AI 該模型大大提高了資源的利用率。

這也只是 Marlin 可以作為可驗(yàn)證的計(jì)算中間件賦能 AI 冰山一角的應(yīng)用場(chǎng)景。

總結(jié)

簡(jiǎn)言之,Marlin 所能給 AI Web3 最重要的想象空間是作為 L0 層層基礎(chǔ)設(shè)施賦能各種基礎(chǔ)設(shè)施，賦能各種基礎(chǔ)設(shè)施 AI 項(xiàng)目方開(kāi)發(fā)原生可驗(yàn)證計(jì)算的產(chǎn)品和服務(wù)(即可驗(yàn)證計(jì)算的中間件)。

其實(shí)作為 AI Web3 時(shí)代不可缺少的核心部件，在一定程度上相當(dāng)于行業(yè)的關(guān)鍵「基礎(chǔ)設(shè)施」:

從底層算率供求匹配，到預(yù)測(cè)數(shù)據(jù)提供，到基于分布式存儲(chǔ)的分散前端服務(wù)等，基本上可以形成邏輯閉環(huán)，使用戶和應(yīng)用能夠低成本，靈活獲得驗(yàn)證計(jì)算插件服務(wù)，有效利用和發(fā)揮數(shù)據(jù)的價(jià)值，為多樣化的應(yīng)用領(lǐng)域奠定基礎(chǔ)。

可以清楚的是，在 AI 在下半場(chǎng)，可以驗(yàn)證計(jì)算跑道仍有巨大的價(jià)值潛力等待我們挖掘，特別是疊加 Web3 基于鏈上的「可驗(yàn)證計(jì)算 」概念本身包含的內(nèi)容可能更宏偉。

不止于 AI,幾乎所有我們能想到的應(yīng)用程序，如鏈上娛樂(lè)、社交網(wǎng)絡(luò)、游戲等，都可以進(jìn)一步擴(kuò)大可驗(yàn)證計(jì)算/機(jī)密數(shù)據(jù)服務(wù)的想象空間。

在這個(gè)日拱一卒的建設(shè)中，Marlin 很有可能成為未來(lái)應(yīng)有的一切 AI Web3 應(yīng)用程序的關(guān)鍵底層基礎(chǔ)設(shè)施也可能是 AI Web3 時(shí)代真的是可驗(yàn)證計(jì)算的最大想象空間。