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

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

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

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

AI 下半場，離不開「可驗證云計算」?

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

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

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

這種市場結構最明顯的問題之一是普遍依賴集中式云主機，這意味著開發(fā)者/項目方對其云服務的信任本質上與一家或多家巨頭的信譽高度相關，相當于將數(shù)據(jù)自主權和安全性轉移給 Web2 巨頭公司。

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

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

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

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

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

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

再次理解 Marlin:變成 AI 世界的可驗證 L0

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

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

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

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

同時 Marlin 一般來說，網(wǎng)絡結構可以分為 Oyster、Kalypso、中繼網(wǎng)絡(Marlin Relay)這「三駕馬車」。

其中 Oyster 和 Kalypso 各自使用可信執(zhí)行環(huán)境(TEE)和零知識證明(ZKP)為了保證計算的正確性和安全性，中繼網(wǎng)絡負責通過內置的鼓勵功能，確保不可靠的節(jié)點能夠為網(wǎng)絡貢獻資源，而不會對其安全產生不利影響：

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

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

• Marlin Relay 它是一個與區(qū)塊鏈無關的未經(jīng)許可的中繼網(wǎng)絡，具有內置的鼓勵功能，可以同時與多個區(qū)塊鏈集成。鼓勵結構確保了不可信賴的節(jié)點能夠為網(wǎng)絡貢獻資源，而不會對其安全產生不利影響；

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

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

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

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

從這個角度來看，Marlin 其實是在演關鍵的時候 AI Web3 下半場的基礎設施角色——核心本質是真正帶來可驗證計算 AI 與 Web3 世界。

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

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

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

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

這也只是 Marlin 可以作為可驗證的計算中間件賦能 AI 冰山一角的應用場景。

總結

簡言之,Marlin 所能給 AI Web3 最重要的想象空間是作為 L0 層層基礎設施賦能各種基礎設施，賦能各種基礎設施 AI 項目方開發(fā)原生可驗證計算的產品和服務(即可驗證計算的中間件)。

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

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

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

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

在這個日拱一卒的建設中，Marlin 很有可能成為未來應有的一切 AI Web3 應用程序的關鍵底層基礎設施也可能是 AI Web3 時代真的是可驗證計算的最大想象空間。