ICR · 意愿直接誓约化

Agent VM

什么才是ICR · 意图计算 · Agent-VM

完全可以,而且这正是下一代链上计算该走的方向:把「意图计算(Intents)+智能合约(Contracts)+智能体(Agents)+虚拟机(VM)」熔成一个Agent 化的 VM(Agent-VM)。下面给你一套可落地的体系——从抽象到执行栈,再到最小原型与安全模型,直接能拿去做架构评审或 PoC。

1) 总体范式:Intent → Policy → Plan → Act → Settle

2) Agent-VM 的核心对象与状态

3) 指令集与系统调用(简版)

在 WASM/Move-Bytecode 的基础上,加一层Agent 原语与Intent 原语:

Intent 原语

Agent 原语

Settlement/资源原语

运行时强约束:确定性 + 纯函数边界。所有非确定输入必须来自 AGENT_ATTEST,并携带可验证明(签名、TEE quote、ZK 证明或可信多签)。

4) 执行生命周期(单次意图)

  1. Submit:用户/DAO 提交 Intent,附上资源预算 Power 与可选 Bond。
  2. Match & Plan:调度器按 ρ(信誉)、capabilities、价格路由,把意图分配给候选 Agent;Agent 产出计划(Plan),形成 IntentDAG 的执行子图。
  3. Prove:需要外部事实时,Agent 通过 AGENT_ATTEST 拉取带证明的输入(oracle/TEE/ZK);
  4. Simulate:在沙盒里做可确定模拟,校验 Inv 与预算;
  5. Commit:合约检查 Inv 与资源锁;通过则落账,失败则回滚(带最小化解释)。
  6. Repute & Settle:信誉记账、奖励/惩罚、生成功能性收据(可选 ZK 回执)。

5) 安全模型与并发

6) 经济与调度(和 IFC/ISO 的映射)

7) 与现有技术的对齐与差异

8) 最小可行原型(6–12 周工程骨架)

9) “Agent-VM” 的接口与开发者体验(DX)

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

}

10) 为什么这个合体是“对的事”

如果你愿意,我可以把上面拆成:(A) 指令集与系统调用规范 v0.1,(B) 状态机与不变量规范,(C) 最小原型的 Rust 代码骨架(含 Intent DSL 宏/预编译接口/测试向量),直接给你一份“Agent-VM α版技术白皮书 + PoC 开发路线图”。