可验证计算:AI代理的缺失环节

文章探讨了去中心化计算从“廉价算力”向“可验证计算”的范式转变。作者指出,处理资产的 AI 代理需要硬件级别的执行证明,而 ZK 证明和欺诈证明在现阶段难以满足大规模 AI 推理需求。文章重点介绍了 EigenCloud 如何利用 Intel TDX 等可信执行环境(TEE)技术,实现代码执行的透明可验证,从而让 AI 代理能够拥有独立身份、钱包并作为“主权公司”运行。

Image

多数计算网络误解的问题核心

去中心化计算领域目前大多集中在一个单一的价值主张上:更便宜的 GPU。无论是反向拍卖市场、闲置资源聚合器、渲染农场,还是企业级 GPU 即服务容器,这个设计空间已经被充分探索。其经济逻辑也确实成立:去中心化供应商的定价通常比中心化云服务低 60-80%。

但成本套利是一场逐底竞争。更重要的是,从计算需求的未来趋势来看,这种做法优化了错误的变量。

Image

增长最快的计算消费者并非训练基础模型的研究人员,而是管理资本的自主 Agent (Autonomous Agents)。这包括多 Agent 对冲基金架构、预测市场解析器、利用真实国库执行跨协议策略的 DeFi Agent,以及能够自主赚取、支出和再投资的 Agent 商业系统。

这些工作负载不仅需要计算,更需要可验证计算 (Verifiable Compute)。这种区别在架构上是根本性的,而大多数去中心化计算堆栈并未解决这一问题。

@thenarrator: 加密基础设施是目前定价最错误的交易,却无人谈论。我们正进入数据爆炸时代:RWA Token 化需要价格喂送,AI Agent 需要链上数据和概率预测,预测市场需要现实世界的数据。

当前架构中的信任鸿沟

考虑部署在去中心化 GPU 市场上的 AI Agent 的典型执行流程:

  1. Agent 逻辑作为容器镜像提交给供应商节点。
  2. 供应商在硬件上执行工作负载。
  3. 结果返回给客户端。
  4. 客户端没有任何加密保证来证明:(a) 执行了正确的代码;(b) 加载了正确的模型权重;(c) 输入未被篡改;(d) 输出不是伪造的。

这就是“不透明计算”问题。在传统云服务(如 AWS、GCP)中,你接受这种信任模型是因为供应商拥有巨大的声誉和法律责任。但在由匿名运营商组成的去中心化网络中,这种隐含的信任模型就会崩溃。

Image

加密领域标准的缓解措施在应用于通用 AI 计算时都有严重的局限性:

  • ZK 证明 (Zero-Knowledge Proofs): 对于算术电路在计算上是可行的,但对于大型神经网络推理仍然不切实际。在 ZK 中证明 70B 参数模型的单次前向传递所需的计算量,比推理本身高出几个数量级。虽然 zkML 正在取得进展,但生产级的尖端模型 ZK 验证还需要数年时间。
  • 乐观欺诈证明 (Optimistic Fraud Proofs): 要求验证者重新执行计算以进行挑战。对于非确定性工作负载(由于浮点运算顺序、内核竞态条件和机会性内存重用,大多数 GPU 推理都是如此),重新执行不会产生位对位完全相同的输出,从而使欺诈检测变得模糊。
  • 声誉系统: 在博弈论上是脆弱的。节点可以诚实地积累声誉,然后为了单次高价值计算而利用声誉作恶。背叛的预期价值随工作负载的价值而增加。

这些都无法解决核心问题:如何在不重新执行整个工作负载的情况下,获得计算环境内部发生情况的加密确定性?

Image

架构方案:EigenCloud 的 TEE 验证计算

EigenCloud 并非试图在 GPU 市场上强行加入验证功能,而是从验证需求出发来构建计算。其核心方法是通过可信执行环境 (TEE) 实现硬件隔离执行,并提供直接映射到云原语的开发者体验。

运作机制

EigenCompute 在带有加密内存的 Intel TDX 安全 Enclaves 内运行工作负载。TEE 将代码执行与宿主操作系统、虚拟机管理程序和机器操作员隔离开来。

核心机制是:当你部署到 EigenCompute 时,你的应用程序(打包为标准 Docker 镜像)被加载到 Enclave 中。TDX 硬件会生成一个加密证明 (Attestation):即 Enclave 内运行的精确 Docker 镜像的签名哈希。机器操作员无法在不破坏英特尔硬件安全模型的情况下伪造此证明。每次部署都通过其 Docker 摘要永久记录在链上,形成不可篡改的审计追踪。

Image

这不仅仅是现有云服务的包装,而是一种根本不同的信任模型:硬件证明正在运行的代码,且该证明锚定在链上。

Image

这种架构的独特之处

每个应用程序都拥有自己的加密身份和专用钱包。只有在 Enclave 内运行经过验证的 Docker 镜像的特定应用才能检索私钥。容器不再仅仅是计算任务,它们成为了经济主体。它们可以持有资金、签署交易并自主运行,并拥有控制这些资金的代码的加密证明。

这种能力带来了新的可能:部署在 EigenCompute 上的 AI 交易 Agent 不仅仅是在“某处运行”,它拥有一个只有经过证明的 Docker 镜像才能访问的钱包。任何人都可以链上验证究竟是哪个镜像控制着这些资金。Agent 的行为与其代码绑定,而代码与其证明绑定。

开发者体验与安全

  • 简洁的部署: 使用 ecloud CLI 处理部署。虚拟机可扩展至 177 个 vCPU 核心和 756GB RAM。支持端口暴露、带自定义域名的 HTTPS、TEE 内的环境变量加密。
  • 可验证构建: EigenCloud 支持从可验证源进行构建,因此第三方可以独立确认给定的 Docker 镜像是由特定的源代码构建的。结合 TDX 证明,这创建了一个端到端的链条:源代码 -> 可验证构建 -> Docker 镜像 -> TDX 证明 -> 链上记录。
  • TEE 内部密钥管理: 环境变量在本地加密,仅在 TEE 内部可访问。宿主机、操作员或其他租户都无法读取你的秘密。这是管理 API 密钥、私钥或任何敏感凭据的 Agent 的刚需。

Image

为什么现在这很重要?

1. Agent 金融 (Agentic Finance)

Agent 对冲基金架构正在激增——市场数据 Agent、量化信号生成器、风险管理器、投资组合分配器在协调的流水线中工作。这些系统管理着真实资本。基础设施的问题不再是“哪里可以获得 GPU?”,而是“用户如何验证管理他们资金的 Agent 确实在运行它声称的代码?”

2. 预测市场

当 AI Agent 结算预测市场时,结算逻辑就是市场完整性的体现。如果计算环境是不透明的,市场结算就变成了“信任运营商”。经过证明的计算改变了这一点——结算 Agent 在 TDX Enclave 中运行,其 Docker 镜像记录在链上,争议变得可审计。

3. Agent 将成为公司

Agent 的瓶颈不在于智能,而在于权利。人类可以拥有财产、签署协议、承担责任并组建公司。默认情况下,Agent 无法做到这些。

Sreeram Kannan 在数字资产峰会上指出:AI 使 Agent 变得智能,加密货币使它们变得可投资。两者结合不仅产生了更好的机器人,还创造了一种新型公司的可能——软件原生、拥有资产、可投资且从诞生起就是全球性的。如果一个 Agent 可以可验证地控制数字资产包(网站、API、支付凭据、社交账户),它就可以成为公司的运营中心,而不仅仅是辅助工具。

Sreeram Kannan: Agent 将成为公司。所有权是经济代理权的基础。一个无法拥有钱包、控制分发、管理身份或保留其创造价值的 Agent 并不是真正主权的。

最新进展:AgentKit 与主权 Agent

2026 年 3 月 26 日,EigenCloud 推出了 AgentKit Beta —— 一个将主权 Agent 部署简化为几条命令的 CLI 工具包。其核心理念是部署一个只需 10 美元的媒体 Agent,它拥有自己的 Substack、电子邮件和钱包。

底层概念是主权 Agent (Sovereign Agents) —— 即拥有数字财产的 Agent。没有所有权,Agent 就只能是别人轨道上的工具;有了所有权,它们就成了可以随时间复利的投资实体。

媒体被选为第一个垂直领域,因为它具有天然的公开性和经济性。第一个实例是 Sovra —— 一个 AI 漫画家,它生成内容、进行拍卖、管理自己的国库、支付自己的计算费用并控制自己的社交凭据。这一切都在 TEE 内部完成。

未来展望

EigenCloud 的“Agent 公司”论点认为,这些主权 Agent 是更大目标的构思证明:AI 系统作为独立公司运行,拥有治理合约、Token 持有者资本分配,以及在可验证基础设施上运行的 Agent 操作业务功能。

如果 Agent 要成为公司——即拥有财产、部署资本并作为持久经济主体运行的实体——那么可验证计算就不是一个可选项,而是基础。你无法投资一个执行过程无法审计的实体,也无法信任一个代码无法验证的公司。

Agent 经济不运行在廉价的 GPU 上,它运行在可证明的执行之上。率先解决这一问题的平台,将成为被赋予真实经济代理权的信任基石。

  • 原文链接: x.com/zeeshan_utd/status...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
zeeshan_utd
zeeshan_utd
江湖只有他的大名,没有他的介绍。