ICR · 意愿直接誓约化
Agent VM
完全可以,而且这正是下一代链上计算该走的方向:把「意图计算(Intents)+智能合约(Contracts)+智能体(Agents)+虚拟机(VM)」熔成一个Agent 化的 VM(Agent-VM)。下面给你一套可落地的体系——从抽象到执行栈,再到最小原型与安全模型,直接能拿去做架构评审或 PoC。
1) 总体范式:Intent → Policy → Plan → Act → Settle
- Intent(意图):人/组织提交的“目标 + 约束 + 可验依据”。形式化为 I = <Goal, Constraints, Resources, Proofs, Deadline, Priority>,支持多主体合并(联合意图)。
- Agent(智能体):携带策略/工具/信誉三元组 {π, T, ρ} 的执行体,负责编译意图→计划(Plan),并在受限能力域中行动(Act)。
- Contract(合约):负责不变量与清结算;Agent 的行动必须在合约定义的状态机上兑现,不变量破坏即回滚/拒绝。
- VM(执行环境):保证确定性、计量、隔离、证明四件事;把“意图→行动”的高层语义压到字节码与宿主状态机上安全执行。
- Settle(结算):合约对外部状态的最终落账与凭证生成(含 ZK/可验证日志),并回写 Agent/意图的信誉与奖励。
2) Agent-VM 的核心对象与状态
- Resource 类型(Move 风格):coin, dataRight, quotaGPU, capability 等均为一次性线性资源;杜绝双花与悬挂引用。
- Actor/Agent:一等公民(类似 Erlang/Actyx 模型),每个 Agent 有能力凭证(Capability Tokens)与信誉评分 ρ。
- IntentDAG:所有意图形成 DAG(有向无环图),用 VLC(Verifiable Logic Clock) 赋时与并发偏序;每个节点携带约束与可验证引用(ZK/签名/链上状态根)。
- ContractState:合约状态机与其不变量集 Inv = {inv_i};任何计划只要违反 Inv 就在 VM 层拒绝。
- Bond/Credit/Power(映射到你们的 ISO/IFC):
- Credit:可验证贡献/信誉积分,影响 Agent 的调度与配额;
- Bond:多主体联合意图的保证金/关系权重;
- Power:执行预算(计费/Gas/配额)。
- Credit:可验证贡献/信誉积分,影响 Agent 的调度与配额;
3) 指令集与系统调用(简版)
在 WASM/Move-Bytecode 的基础上,加一层Agent 原语与Intent 原语:
Intent 原语
- INTENT_SUBMIT:提交/合并/派生意图(支持联合意图与多签/多证明)。
- INTENT_BIND(Contract, Invariants):把意图与特定合约状态机绑定。
- INTENT_COMMIT/ABORT:原子承诺或放弃。
Agent 原语
- AGENT_FORK / JOIN:计划分解与并行子智能体;
- AGENT_REQUEST_CAP(cap, scope):按最小权限申请能力;
- AGENT_ATTEST(ref):引入带证明的外部事实(Oracle/TEE/ZK);
- AGENT_REPUTE(delta):将本次行为写回信誉账本。
Settlement/资源原语
- RES_LOCK/UNLOCK(线性资源锁)
- PAY/ESCROW/RECLAIM(支付与托管)
- ZK_VERIFY(pi, stmt)(零知识证明校验)
- VL_CLOCK_TICK/ MERGE(可验证逻辑时钟推进/合并)
运行时强约束:确定性 + 纯函数边界。所有非确定输入必须来自 AGENT_ATTEST,并携带可验证明(签名、TEE quote、ZK 证明或可信多签)。
4) 执行生命周期(单次意图)
- Submit:用户/DAO 提交 Intent,附上资源预算 Power 与可选 Bond。
- Match & Plan:调度器按 ρ(信誉)、capabilities、价格路由,把意图分配给候选 Agent;Agent 产出计划(Plan),形成 IntentDAG 的执行子图。
- Prove:需要外部事实时,Agent 通过 AGENT_ATTEST 拉取带证明的输入(oracle/TEE/ZK);
- Simulate:在沙盒里做可确定模拟,校验 Inv 与预算;
- Commit:合约检查 Inv 与资源锁;通过则落账,失败则回滚(带最小化解释)。
- Repute & Settle:信誉记账、奖励/惩罚、生成功能性收据(可选 ZK 回执)。
5) 安全模型与并发
- 线性类型 + 能力安全:所有可转移资产用 Move-style 线性类型;外部权限以 Capability Token 表示,作用域/次数/对象可细粒度限制。
- Actor 隔离 + 不可重入默认:消息驱动,单线程事务视图,显式 yield 才允许交互,避免重入。
- 可验证输入:所有“现实世界”数据必须带证明(签名/多签/TEE/ZK);VM 内置验证原语。
- VLC 并发控制:逻辑时钟 + 意图偏序 + 冲突检测(CRDT/STM 思路结合),减少全局锁与大合约热点。
- 账本级审计:全链路“谁、在何时、用何能力、对何状态”留下可验证审计日志(可选生成轻量 ZK-receipt)。
6) 经济与调度(和 IFC/ISO 的映射)
- Gas=Power:计算/存储/证明验证均计量。
- 质押与惩罚:Agent 接单须质押;违约/欺诈扣罚,守约增信。
- 信誉影响配额:ρ 越高,越易拿到大额/高价值意图与更低结算摩擦。
- Bond 驱动协作:联合意图的 Bond 决定收益分配与失败分摊,促进多主体协作。
- 市场化路由:不同 Agent 报价/延时/成功率形成路由市场;链上可见的绩效曲线提升可组合性。
7) 与现有技术的对齐与差异
- EVM:以合约为中心,缺少原生 Agent/Intent;Agent-VM 把“合约=不变量,Agent=执行体”解耦。
- Move(Sui/Aptos):资源安全很强,适合你们的线性资产观;在此基础上加上 Agent/Intent 原语与 VLC。
- Cosmos/Agoric:能力与对象能力模型(OCap)可借鉴;我们更进一步把“意图与信誉”升为一等公民。
- Solana/Fuel/Parallel EVM:高并发账本技术可用于承载 IntentDAG 的高吞吐结算层。
- ZK-VM/TEE:把“外部事实/私密计算/证明验证”做成系统调用,成为 Agent-VM 的可信入口。
8) 最小可行原型(6–12 周工程骨架)
- 语言层:
- 合约:Move(资源安全)或 Rust→WASM(成熟工具链)
- Agent:Rust SDK(策略/工具/信誉),提供 intent!{} DSL 宏生成
- 合约:Move(资源安全)或 Rust→WASM(成熟工具链)
- 执行层:
- WASM runtime + MoveVM 其一为主,另一侧以预编译形式接入
- 内置 ZK_VERIFY, AGENT_ATTEST, VL_CLOCK_*, RES_* 预编译
- WASM runtime + MoveVM 其一为主,另一侧以预编译形式接入
- 调度层:
- 去中心化匹配器(订单簿/拍卖)+ 信誉索引
- IntentDAG 存储(链上根 + 链下可审数据,支持递增证明)
- 去中心化匹配器(订单簿/拍卖)+ 信誉索引
- 安全与审计:
- 能力系统(OCap token)、线性类型检查
- 审计日志 + 可选 ZK 收据
- 能力系统(OCap token)、线性类型检查
- 示例用例:
- DeFi 聚合意图:最小滑点+限时+KYC 证明 → Agent 规划多跳路由 → 合约结算 → 信誉回写
- 算力租赁:提交 GPU-Quota 意图(价格≤X,延时≤Y)→ TEE 报价与证明 → 执行 → 产出哈希与账单 ZK 收据
- 数据要素交易:持有 dataRight 的供给方与计算需求方通过联合意图在 TEE/ZK 下私密计算 → 公共结果上链结算
- DeFi 聚合意图:最小滑点+限时+KYC 证明 → Agent 规划多跳路由 → 合约结算 → 信誉回写
9) “Agent-VM” 的接口与开发者体验(DX)
- Intent DSL(类 Solidity/Move 的宏域):
intent! {
goal: "Swap 1,000 AIUSD → HETU with slippage < 0.3%",
constraints: [kyc(attest=did:...), deadline= now+120s],
budget: Power(2e6 units), bond: 50 AIUSD
}
- 策略插件:Agent 以 π = {planner, router, risk} 组合,热插拔;
- 仿真/证明一键化:agent simulate/agent prove CLI;
- 可观测性:对开发者暴露 VLC 路径、Gas/Proof 用量、信誉变化曲线。
10) 为什么这个合体是“对的事”
- 把“合约的刚性”与“智能体的柔性”分工明确:合约守护不变量,Agent 负责求解与协作。
- 意图成为一等公民,直接承载多主体协调与可验证外部事实。
- 资源安全(Move)+ 能力安全(OCap)+ 证明安全(ZK/TEE)三位一体,既安全又可扩展。
- 与你们的 IFC/ISO/ICR 自洽:Credit(信誉) 决定调度与配额,Bond(关系) 保障协作,Intent(目标) 驱动生成与结算。
如果你愿意,我可以把上面拆成:(A) 指令集与系统调用规范 v0.1,(B) 状态机与不变量规范,(C) 最小原型的 Rust 代码骨架(含 Intent DSL 宏/预编译接口/测试向量),直接给你一份“Agent-VM α版技术白皮书 + PoC 开发路线图”。