可驗證人工智能憑藉 EigenCloud 成為 DAS 倫敦展會的焦點

在 DAS London 大會上，Eigen Labs 的 J.T. Rose 認為，加密貨幣的下一個支柱不是 DeFi，而是“可驗證的人工智能”——鏈下工作可以在鏈上得到證明的代理系統。

Rose 將 Eigen 的堆棧設計為類似雲的三重服務（數據、計算、推理），並以加密經濟安全性和證明為後盾，讓開發人員在保持公有云靈活性的同時，還能在資金轉移或狀態更新落地之前增加可驗證性。 以太坊.

Rose 表示，目前有三個有前景的用例正在湧現：

• 自主交易代理必須證明他們遵守風險規則；
• 代理對代理（A2A) 付款，其中工作收據觸發結算；
• 具有可證明結果的遊戲。

“我們看到的最重要的限制是[人工智能“未來十年，創始人最需要的就是信任，”羅斯說道。“如果沒有一個機制讓人工智能在整個堆棧中——從推理和基準測試到訓練和身份識別——都可驗證，我們就永遠無法達到代理時代的逃逸速度。 ”

其共同點是可編程性與可證明性相結合——正如 Rose 所言，“像雲一樣的可編程性，像區塊鏈一樣的保證性”——這是對當今嚴格約束的鏈上執行和不透明的鏈下計算之間的權衡的回應。

Lit Protocol 聯合創始人 David Sneider 在很大程度上分享了這一目標，重點關注那些可以對人工智能代理建立信任的屬性，例如“護欄和政策”，這些同義詞可以促進正確的執行。

“與任何安全事物一樣，不同類型的攻擊及其防範方式都涉及多個組成部分，”Sneider 告訴 BlockWorks，他認為運行時強制執行（而不僅僅是事後證明）才是將代理從演示轉變為可靠基礎設施的關鍵。

斯奈德表示，在 Lit 協議的設計中，用戶可以告訴代理“發送電子郵件或購買比特幣”，在這種情況下，“它會與 Lit 進行通信，Lit 會根據策略進行驗證……只有策略通過，秘密管理網絡才會執行。”斯奈德所說的“秘密管理網絡”是指 Lit 的 TEE 安全、基於 MPC 的密鑰基礎設施。

綜合起來，Lit 處理了“代理人可以代表我行事嗎？”這個問題。 EigenCloud 和 Google 的 AP2處理“我可以相信這個鏈下計算的結果嗎？”

或者，為了簡化完整的信任堆棧：

• 一名經紀人問道：“我可以這樣做嗎？”（字面意思）
• 執行證明：我是否做到了我所說的？ （EigenCloud/AP2）

Rose 概述了一系列可驗證性方面的替代方案，例如 TEE、加密經濟懲罰和零知識證明。 Lit 可以為每次執行發出成功/失敗信號和策略合規性證明，但這些通常僅供內部使用。 其發展路線圖是將這些證明“以隱私保護的方式”發佈到共享註冊中心，例如ERC-8004以及 A2A 等代理間通信協議”，因此合規代理不需要在每個場所重新接受審核。

重新質押的以太幣數量穩定在 200-300 萬 ETH 之間，其中大部分是特徵層| 來源:Blockworks 研究 (實體標籤來源於沙丘的權益流向表。）

兩位創始人都一致認為以太坊是中立的信任錨，也是近期消費者關注的焦點。

斯奈德說，很快，“每個人的口袋裡都會有一個量化分析師來管理他們的資金”。 這個想法“看起來相當合理，而且正在逐漸成型”。

如果所有要素都到位——可移動的護欄和可自我驗證的計算——兩位創始人都將看到一條從原型走向生產的道路。 正如羅斯所說：“加密貨幣的下一個增長動力不會是DeFi——而是可驗證的人工智能，它將在以太坊上實現。”