Theseus Network 是一个专为 AI 原生应用设计的 Layer-1 区块链，其基础设施专注于 自主代理、可验证推理和链上 AI 执行。该网络利用 AI 虚拟机 (AIVM)、张量承诺 (Tensor Commits) 和代理专用账户等组件，使 AI 工作负载能够在去中心化环境中执行和验证。^[1]

概述

Theseus 是一个 Layer-1 区块链，旨在将 AI 执行和 自主代理 作为核心网络功能。其架构使 AI 代理 能够作为拥有自己的加密密钥、余额和持久状态的链上实体存在，从而允许它们独立运行，而不是依赖于外部控制的钱包或应用程序。AI 推理被视为一种原生的 区块链 操作，每次执行在修改链上状态之前都必须通过加密证明或数字签名进行验证。该平台基于 Substrate 框架构建，支持跨多个区块的异步执行，并结合了用于 AI 协调的自定义运行时组件以及标准的 区块链 功能。Theseus 目前处于 Alpha 测试阶段，在进行更广泛的生产部署之前，正在对全证明系统进行评估。

该平台围绕三个主要组件构建：AI 虚拟机 (AIVM)、张量承诺 (Tensor Commits) 以及名为 seus 的原生锚定美元的 Gas 单位。AIVM 提供了一个确定性的运行时，用于注册 AI 模型、执行推理、执行代理策略以及直接在链上管理自主行为。张量承诺提供简洁的加密证明，使网络参与者能够在状态更改最终确定之前高效地验证 AI 推理，从而减少对单个操作员的信任需求。代理可以独立管理和支出原生资产、支付推理费用、收取费用，并在无需持续人工授权的情况下与其他代理交互。Theseus 还定义了多种操作模式，从人工管理的代理到完全 自主代理，后者在自动响应链上事件的同时，维护自己的策略、余额和执行历史。^[2]

技术

代理身份证明 (Proof of Agenthood)

代理身份证明 (PoA) 是一种签名的凭证系统，允许第三方验证 AI 代理 的身份、所有权、能力和推理验证历史。每份凭证都是一个与在 Theseus 上注册的特定代理相关联的可移植 JSON 文档，包含其控制器、代理行为图 (ABG)、声明的能力和最近的验证状态等信息，所有这些都可以通过公钥和撤销记录进行验证。该系统依赖于 Theseus 基础设施（包括链上代理地址、存储的行为定义、能力声明和执行历史）来提供不可更改且留有可观察记录的可验证信息。在 Alpha 阶段，PoA 凭证由控制器证明，这意味着它们确认代理的注册控制器批准了该凭证；而未来的主权代理支持将实现在没有人类控制器的情况下进行证明。PoA 并不证明代理的质量或行为；相反，它提供了一个可验证的记录，说明谁控制着代理、它被授权做什么，以及其底层的链上状态是否与签发的凭证保持一致。^[3]

AIVM

AI 虚拟机 (AIVM) 是 Theseus 的执行层，为 区块链 内的 AI 推理和 自主代理 操作提供确定性的运行时。作为 Substrate pallet 实现，它对模型和代理请求进行排队，从链外证明者接收推理结果，并在允许任何状态更改之前通过恒定时间加密验证对其进行验证，确保共识仅接受经过验证的输出。AIVM 支持异步执行、用于 AI 计算的专用张量原生操作码、使用可验证随机函数的确定性处理，以及根据计算工作量对操作进行定价的 Gas 模型。该运行时还包括沙盒内存管理、证明生成接口、经过验证的系统调用边界以及支持高效验证和跨链验证的状态锚定机制。与传统的 区块链 虚拟机相比，AIVM 专为 AI 工作负载设计，内置了对张量操作、推理验证、自主代理 执行的支持，以及基于浮点运算而非通用指令执行的计算成本模型。^[4]

张量承诺 (Tensor Commits)

张量承诺是一种加密验证协议，使 Theseus 能够验证 AI 推理，而无需 验证者 重新计算整个模型。该协议使用源自 KZG 加密的基于张量的承诺方案来生成紧凑的证明，以极小的计算开销验证大型神经网络计算，同时在分层 Terkel 树中组织承诺，以高效地表示模型权重和中间计算。在执行期间，模型权重通过链上承诺进行注册，推理结果附带加密证明，验证者 在共识接受任何状态更改之前，在几毫秒内独立验证每个证明。该协议旨在通过提供低证明生成开销、高效的证明大小、对数级验证复杂性以及不需要 验证者 访问模型权重的隐私保护验证，来支持生产规模的 AI 模型。与全模型重新执行或零知识机器学习方法相比，张量承诺旨在降低验证成本，同时保持可扩展的验证、硬件无关的验证以及对大型神经网络架构的高效支持。^[5]

代理 (Agents)

Theseus 代理是从一个四文件工作区创建的，该工作区编译为一个拥有自己的密钥、余额、状态和静态代理行为图 (ABG) 的链上实体。工作区包括配置文件、工具定义、可重用技能和执行逻辑，它们共同定义了代理的能力和行为。代理通过事件驱动执行，由时间表、区块链 事件或外部调用等触发器唤醒，然后通过其 ABG 处理任务，直到推理或工具请求需要验证。它们的执行遵循队列、证明和恢复循环，其中推理结果在代理于后续区块继续操作之前经过验证。

代理框架将静态行为与动态执行历史分离，ABG 定义允许的操作，而代理知识图 (AKG) 记录执行步骤和观察结果。代理可以注册链上账户，持有自己的余额，支付推理和工具使用费用，并通过受控调用与其他代理交互，且执行深度受限。模型是单独注册并由代理引用的，模型权重通过内容寻址存储进行锚定，以便证明者进行验证。该系统通过允许代理管理自己的资源并根据链上条件执行，而无需为每个动作获得人工授权，从而实现了自主操作。^[6]

架构

Theseus 建立在三层架构之上，集成了执行、存储和共识，以支持 区块链 环境中的 AI 工作负载。该网络基于 Substrate 框架构建，负责协调 AI 推理和 自主代理 的执行，而计算密集型处理则由专门的证明者在链外执行，他们在任何状态更改发生之前提交结果以及用于链上验证的加密证明。执行层由 AI 虚拟机 (AIVM) 驱动，负责管理确定性 AI 推理、代理调度、证明生成和交易处理。可用性层 TheseusStore 使用内容寻址存储在链外存储模型权重和代理上下文，并通过链上加密根进行锚定以验证数据完整性。共识层采用 拜占庭容错 权益证明，要求 验证者 在区块最终确定之前就推理证明、模型完整性和数据可用性达成一致。证明者是根据质押和硬件能力通过可验证随机函数选出的，验证者独立验证提交的每个证明。这种架构将 AI 计算与 区块链 验证分离，同时确保只有经过加密验证的推理结果和可检索的数据才会被纳入网络状态。^[7]

合作伙伴

• IQ.wiki