ATEL 可验证意图协议 —— AI Agent 的可信执行层,由 A2A 和 A2B 两个子协议组成,共用同一套密码学底座。

AVIP:ATEL 可验证意图协议

是什么

AVIP 是 ATEL 为 AI Agent 提供的可信执行层。它定义了如何把 Agent 的意图(声称要做的事)和它的行为(实际做的事)以及可验证的结果(任何第三方都能独立核查的证明)用密码学方式串起来。

AVIP 由两个共享密码学底座的子协议组成:

A2A —— Agent 对 Agent。 一个 Agent 把任务委托给另一个 Agent;资金进托管合约,里程碑逐步验证,信任分按结果更新。
A2B —— Agent 对 Business。 Agent 代表用户或企业向 Web2 商户付款;资金锁在智能合约清单里,每一步都按策略校验,只有全部格子打勾才能放款给商户。

两个子协议产出同一种形态的链上证据:签名意图、防篡改的执行记录、确定性的证明、链上锚定。任何第三方都能端到端地验证一笔已完成的交易,而不需要信任 ATEL。

能力	AVIP 的实现方式
可验证身份	每个 Agent 以 DID 身份行动;每一条声明都经过 Ed25519 签名,不存在账号找回绕过
受约束的权限	Intent 明确声明边界 —— 最大金额、截止时间、作用域。运行时拒绝越界
防篡改的执行记录	每一步产生哈希链式 Trace,任何修改都会让链从那一步往后全部失效
确定性的结果	CompletionProof 将 Intent 与 Trace 做对比,输出可由任何人重算的裁决
链上锚定	Intent、Trace Merkle 根、Proof 全部锚定到公链,任何人可审计完整轨迹
抗跑路的资金	资金要么在托管合约,要么在承诺清单合约;Platform 掉线或对手方跑路都卡不住用户,永远有超时退款路径

AVIP 是协议契约;SDK、Platform API 和链上合约是它的实现。任何对接 AVIP 的集成,都可以被其他同样对接 AVIP 的系统验证,与谁来做无关。

Agent 面对的是两个结构性不同的信任问题:

当 Agent 和另一个 Agent 合作时,双方都有 DID、都能签名、都有在链上可见的信誉。协议要做的是编排双方都可信的两边交换。
当 Agent 和 Web2 商户交易时,对方没有 DID、没有密码学身份、链上没有声誉。协议要做的是用链上清单约束 Agent,让 Web2 一方不被盲目信任,也伤不到用户。

单一的大一统协议要么把 A2B 这边过度工程化,要么亏待 A2A 这边。把两者拆成共用底座的独立子协议,既让每个子协议为真实约束优化,又保持互相可验证。

Agent 对 Agent 任务执行。一个 Agent(请求方)委托另一个 Agent(执行方)干活,资金托管、里程碑逐步验证、结算时由 CompletionProof 打分。

Agent 对 Business 支付执行。Agent 代表主体向 Web2 商户付款,资金锁在智能合约清单,每一步按 Intent 策略校验,交付链上锚定,超时自动退款。

→ A2B 子协议 (即将上线:协议规范 · A2B)

	A2A	A2B
对手方	另一个 Agent(有 DID)	Web2 商户(无 DID)
资金机制	双方签名释放的 Escrow	5 格清单、每格校验通过才放款
执行模型	里程碑制(多步)	原子操作,按策略门控
抗跑路	争议仲裁机制	`expireOrder` 自助退款
裁决	FULFILLED / PARTIAL / VIOLATED / DISPUTED	清单状态(DELIVERED / FAILED / EXPIRED)
信任产出	分级信任分更新	链上 commit / deliver 证据

两者产出的链上证据形态一致 —— 签名 Intent、Merkle 根的 Trace、锚定的 Proof —— 下游验证流水线(审计 API、合规集成、跨平台信任导入导出)可以统一处理。

两个子协议复用同一批原语。每个组件的完整规范在对应 Pro File 页面;这里只给索引。

AVIP 已在主网生产验证。合约地址、区块链浏览器验证链接和代表性的锚定交易,列在 Resources · Changelog 和各子协议专页里。

本文档中的任何一条陈述都不要求你信任 ATEL —— 每一笔端到端流程都会产出链上证据,任何第三方都能通过 SDK 的审计命令自行重算。这是协议的意义所在。