MetaArena完成新一輪戰略融資，加速可信AI引擎開發

Source: Cointime Original Title: MetaArena Secures New Strategic Funding to Accelerate Trusted AI Engine Development Original Link: MetaArena是一套爲AI Agent和復雜交互系統設計的可信執行基礎設施。該項目致力於加速AI在遊戲和金融等領域的應用，通過零知識驗證確保智能行爲可驗證、可審計和可擴展，爲區塊鏈遊戲提供真正可靠的AI體驗。

MetaArena是少數專注於區塊鏈遊戲中可信AI執行的基礎設施項目之一，近期獲得了市場廣泛關注，並成功完成新一輪戰略融資。本輪融資涉及多家知名機構，包括IBC Group、Central Research、SEI Foundation、Sky Ventures、Stratified Capital等。

本輪融資不僅反映了資本市場對MetaArena願景的強烈認可，也進一步驗證了其在鏈上智能交互升級浪潮中的潛在價值和戰略地位。

MetaArena：打造可信的AI Agent

MetaArena是以零知識證明（ZKP）機制爲中心的可信執行基礎設施，爲需要可信執行的AI遊戲和智能交互場景提供可驗證計算服務。

MetaArena由分布式節點組成的鏈下計算網路和部署在多條鏈上的鏈上驗證引擎組成。當產生可信執行任務時，MetaArena將AI行爲請求分發到鏈下節點執行，生成零知識證明（ZKP），隨後在鏈上進行驗證。這種機制確保輸入數據、推理過程和執行結果都是真實的、可信的和防篡改的。MetaArena已在Web3遊戲領域得到驗證，使AI Agent驅動的區塊鏈遊戲能夠高效、安全、可審計地運行，無需依賴中心化服務器。

在最近的升級中，MetaArena推出了新的可信執行堆棧。通過zkTrace和zkAction兩大核心能力，驗證提示詞輸入的一致性（Proof of Prompt）和推理行爲的可信性（Proof of Inference），以可證明的方式確保AI Agent提示詞和推理路徑的真實性和保密性。

值得注意的是，雖然許多現有解決方案試圖爲AI Agent提供可信環境，但MetaArena是少數幾個完全通過零知識密碼學實現可信執行而不需要專門硬件的項目。

zkTrace：提示詞輸入可信性證明

在傳統AI Agent模型中，存在一個長期未解決的核心問題：如何確保提示詞的可信性？

這包括但不限於：

• 提示詞在執行前或執行中是否被篡改？
• 模型是否真的按照預期的提示詞進行推理？
• 提示詞中的敏感內容是否存在泄露風險？

MetaArena通過zkTrace模塊在計算層爲提示詞提供可驗證和可信的執行能力，確保提示詞在整個生命週期內保持正確性、一致性和隱私性；無需對外暴露原始內容。這是構建無信任AI Agent和去中心化應用邏輯的關鍵基礎組件。

zkTrace以開發者友好的SDK形式提供。其底層設計依賴於強大的密碼學機制和ZK原語，包括Pedersen承諾、Poseidon和zkSNARKs（Plonk），並與系統提示詞初始化過程緊密配合。

在系統初始化期間，提示詞被輸入到鏈下計算網路以生成密碼學承諾並構建相應的ZKP。這些ZKP可被任何用戶或第三方驗證者引用，通過將它們與鏈上提示詞承諾進行比較，可以確認提示詞的真實性和未被篡改狀態。如果執行中使用的提示詞與審計的承諾不匹配，驗證立即失敗，確保了透明性和可信執行，而無需暴露明文。

在實踐中，AI Agent開發者或AI提示詞應用開發者可以使用zkTrace來創建和定義系統提示詞，確保模型嚴格按照既定的政策和約束執行任務。一旦系統提示詞被初始化並加載到模型中，zkTrace自動生成承諾和證明文件，將其提交到鏈上驗證引擎。這個過程記錄了提示詞從輸入到使用的完整生命週期，確保證明是可追溯的和防篡改的。

對於與AI Agent交互的終端用戶，他們始終可以訪問當前執行模型對應的提示詞承諾和證明，並驗證提示詞使用的真實性：

• 是否仍然與開發者的預期設置匹配？
• 在執行過程中是否被替換或注入惡意內容？

zkTrace確保提示詞信任不再依賴於中心化托管或單一服務提供商背書，而是通過密碼學證明建立，爲系統輸入創建了可驗證、可審計和不可否認的信任基礎。

zkTrace交互示例

zkTrace在AI Agent、鏈下計算網路、DApp和智能合約之間建立了可靠的交互機制，確保提示詞的完整性和一致性，並爲AI模型行爲提供可驗證的信任保證。

當AI Agent開發者通過zkTrace定義並提交系統提示詞時，提示詞在鏈下被加密，生成承諾，同時Agent被初始化並綁定到相應的驗證電路，使提示詞在整個系統中具有不可變的屬性。AI Agent還向MetaArena鏈下計算網路註冊必要的驗證密鑰，用於後續的驗證調用。

當DApp發起消息或交互請求時，AI Agent讀取請求並將執行任務委托給鏈下計算節點。執行期間，提示詞的使用和邏輯通過零知識證明進行驗證，行爲路徑被記錄以生成可驗證的證明文件。證明結果隨後返回到智能合約或DApp，在合約級別確認該操作嚴格源自承諾的提示詞。

MetaArena的鏈上驗證引擎負責將ZKP與承諾進行匹配，確保輸入內容與執行行爲之間的一致性。如果提示詞被替換或執行策略偏離，驗證立即失敗，有效防止了潛在的異常操作鏈。這種機制確保AI Agent的執行與初始設置完全一致，並爲各種Web3用例提供了透明、可審計和可信的基礎。

通過與智能合約和其他鏈上對象的協作，MetaArena使AI Agent執行具有公開可驗證性，爲各種Web3用例提供高安全性和結構化信任。

從能力角度看，zkTrace使AI Agent具備：

• 數據隱私性：提示詞內容可在不披露的情況下進行驗證，避免敏感信息泄露
• 可信性與透明性：零知識證明確保模型行爲不被惡意篡改
• 分布式驗證能力：任何用戶或第三方都可驗證執行一致性，避免依賴中心化實體

基於zkTrace的可信輸入優勢，能力可以自然擴展到推理證明（通過zkAction實現），以驗證AI Agent推理路徑和結果的可信性，確保輸出嚴格源自合法的輸入推理。

總體而言，zkTrace特別適合關鍵任務場景，如金融敏感、緊密約束或高合規性決策任務，爲下一代無信任AI Agent提供高度安全和透明的運營基礎。

AI Agent遊戲引擎可信框架

MetaArena首次在區塊鏈遊戲領域進行實現，推出了AI遊戲引擎組件，通過零知識證明機制對遊戲內Agent操作進行約束和審計。遊戲Agent可通過智能合約參與鏈上戰鬥，行爲通過zkTrace/zkAction驗證，確保公平性、真實性和可追溯性。

在這個遊戲引擎系統中，開發者可以繼續使用Unity、Cocos Creator和Unreal等原生引擎，無需改變現有工作流程即可將遊戲遷移到可信的鏈上環境。通過SDK接口，開發者可以訪問MetaArena的去中心化狀態層，管理包括玩家輸入、狀態變化和回合切換在內的關鍵鏈上狀態，並通過零知識證明實時驗證它們。

所有生成的內容和任務反饋可由多個AI Agent處理（如內容生成Agent、戰鬥Agent、測試Agent），實現自動化驗證和動態遊戲體驗優化。

遊戲過程中生成的所有數據——包括命令輸入、狀態轉換、行爲日志和內容生成結果——被傳輸到MetaArena的鏈下計算網路進行處理，並通過ZK遊戲SDK集成到可驗證的證明結構中。使用ZK電路（如ZK Shuffle、操作合法性電路），確保隨機性、公平性和規則一致性。鏈上驗證引擎通過零知識驗證公開確認每項行爲的真實性，確保遊戲執行過程是防篡改和完全透明的。

在計算和存儲層，MetaArena結合資源優化組件爲多Agent場景（AIGC、QA測試Agent、數據洞察Agent等）提供高性能支持，確保在高吞吐量交互下的執行效率和響應穩定性。

最終，這個基礎設施不僅爲開發者提供了高效的計算資源，而且通過去中心化驗證+智能行爲審計，確保每項遊戲操作都是可驗證、可審計和可問責的，建立了公平、可信的鏈上AI遊戲生態，有效防止了作弊、篡改和不透明執行。

卓越的安全性

在構建可信AI Agent時，TEE（可信執行環境）解決方案因其硬件隔離環境而被廣泛採用，提供了一定程度的數據隱私保護和可驗證執行。雖然TEE是跨領域驗證的主流隱私解決方案，但在可信AI Agent構建中存在局限性。

實際上，TEE解決方案通常依賴於Intel SGX和ARM TrustZone等硬件供應商提供的可信環境和密鑰管理服務。這種中心化信任機制使系統安全高度依賴於特定供應商，引入了中心化風險。Intel SGX曾被曝光存在多個漏洞，直接威脅了信任基礎。此外，雖然TEE提供了隔離的運行環境，其數據隱私保護仍然有限。例如，數據在傳輸到TEE環境時可能被攔截，外部攻擊者可能通過交互接口訪問敏感信息。TEE設計主要針對預定義的計算任務，缺乏動態適應性，而AI Agent通常處理各種任務和復雜上下文，這對剛性架構來說很難支持。

相比之下，MetaArena的零知識可信執行解決方案是去中心化的，不依賴任何中心化實體。其安全性來自於大規模鏈下分布式計算網路。這相比TEE提供了輕量級優勢、卓越的可擴展性和靈活性，能夠高效適應多樣化的AI Agent應用。MetaArena無縫支持ChatGPT等LLM和DeepSeek等熱門模型。值得注意的是，MetaArena的解決方案完全基於ZK密碼學，在可信AI Agent領域獨樹一幟。

總體而言，盡管AI技術迭代迅速，但完全自主AI Agent的大規模採用在安全性、倫理和實用性方面仍面臨挑戰。平衡自動化和人類監督的半自主AI Agent仍是主流。這意味着在大規模採用前，AI Agent需要在信任和隱私方面取得進展，MetaArena憑藉其完全基於ZK的密碼學解決方案正在加速這一進程，爲AI Agent發展的下一階段奠定堅實基礎。新一輪融資進一步確立了其作爲領先可信AI引擎基礎設施的地位。