制度可信与数学可信之间,差一个 128 字节

简介: Agent 时代的新问题是:陌生 Agent 替你做完事,能拿出什么证据?本文对比国内外主流平台的信任能力——身份认证有、授权控制有,可移交、可独立验证的证据没有——并给出一个开源的最小可行形态:RTTP 意图寻址(已获 IANA CRI 27)+ 128 字节 IQA 证明信封 + fail-closed 全帧验证,三语言实现可直接接入任何 MCP 栈,发布物逐件密码学密封自证。

2025 到 2026 年,AI 的话题从"回答问题"滑向"执行任务"。Agent 替用户订机票、审发票、调 API;再往前一步,是 Agent 委托 Agent——跨组织、跨域、互相不知底细。每往前一步,"信任"的形态就变一次:Chat 时代怕模型胡说,Agent 时代怕它越权,A2A 时代则要回答一个新问题——一个陌生 Agent 替我做完事之后,能拿出什么证据?

这个问题,产业界喊得很响,但没人给出机制。

一、口号震天响的"可信"

国内这一年,智能体标准密集出台:运行框架、运行沙盒、开发平台、多智能体协同……中国信通院 2026 年 8 月发布的《云上人工智能可靠性建设指南》里有一句写得非常好的话——"一个具备端到端可靠性的 AI 系统,能够向业务方、监管机构与终端用户证明其可预测、可解释、可审计、可追责,从而建立组织内外的信任共识"(原文公开可查)。

写得对。但翻遍全文,"证明"二字没有落点:没有任何密码学机制,没有可独立复核的凭证设计。审计日志有——但它存在运营方自己的系统里。日志可以被事后修改,验证方别无选择,只能信任运营方。这是制度可信,不是数学可信。

海外同理。Uber 刚发布的 MCP 网关工程博客介绍了托管 800 多个 MCP 服务器、5000 多个工具的治理平台,授权、限流、脱敏写得很细——审计日志的可验证性只字未提。Docker 的 MCP 网关、Cloudflare 的 Agents SDK、阿里的 Higress,特征清单里都有"审计日志",但全都停在"记在自己家"。

二、空白的形状

把各家平台的信任能力摊开,缺口是同一个:

  • 身份认证有(OAuth / DID)
  • 授权控制有(策略引擎 / 限流)
  • 可移交、可独立验证的证据没有(日志锁在运营方手里)

验证方——外部审计、下游服务、合规框架,甚至被代理的用户本人——需要的东西只有一种:事件发生时同步产生的密码学凭证,事后任何人可离线复核,不需要回访任何在线服务。

三、一个最小可行形态

我们开源了一套这样的最小实现(Apache-2.0):

  • 意图寻址(RTTP):主体地址不靠注册表分配,而由权威字符串经 SHA-256 确定性推导——地址即身份绑定,落地即可自证。该 scheme 已获 IANA 注册(Provisional · CRI 27),编号公开可查;
  • 128 字节证明信封(IQA):固定布局(魔数 / 版本 / 租约 / 主体分片 / 证明 / 机构 / 随机数 / 地位 / 保留 / 扩展),事件发生时签发;
  • 常时时间全帧验证:HMAC-SHA256 覆盖整帧,任何字节被改即失败——包括"撤销导致的地位翻转"这类动作,fail-closed;
  • 一致性测试向量:固定输入输出,逐字节可复现,只靠规范文本加一个 SHA-256 实现即可验证。

打包形态:四个 MCP 工具(derive_route_shard / parse_envelope / verify_envelope / published_vector),iqa-mcp 已发布 1.0.1(PyPI / npm / crates.io 三注册表),任何 MCP 兼容的 agent 栈可直接调用;参考实现 iqa-org 提供 Python / TypeScript / Rust 三语言包。规范文档 draft-li-rttp-iqa-addressing 正在 IETF 独立提交通道审核中;同一份"互补证据层"提案,已投递到七个国际生态(Docker、Cloudflare、Uber、阿里 Higress 等)的官方讨论区。

自证不止于此:我们自己的网站与全部发布物也用同一套机制逐件密封——目前 28 份凭证挂在 iqa.org/attestations/,每一条都可以离线复核。第一个用户,是我们自己。

四、诚实的边界

这套设计刻意不做三件事:不替代任何网关的实时治理(它只做事后证明);不规定委托链语义(当前版本明确不含,正在征求社区意见);不声称解决实时风控——检测是检测的事,证据是证据的事。

值得讨论的问题比答案多:四个工具的拆分是否合理?跨语言向量一致性如何维护?地位四态的语义谁来仲裁?128 位分片的碰撞裕量怎么分析?——欢迎在评论区拍砖。

双柱状态:rttp:// 与 iqa:// 均已获 IANA 注册(Provisional · CRI 27 / CRI 28,编号公开可查)。合并规范 draft-li-rttp-iqa-addressing 正在 IETF 独立提交通道审核;三语言参考实现与字节级测试向量全部开源。

仓库:github.com/Aicent-Stack · 规范与证据链:iqa.org · 寻址柱官网:rttp.com

一句话总结:产业把"可信"喊了两年,"可验证"三个字还空着——这可能是智能体基础设施里最后一块没人挖的地。

目录
相关文章
|
22天前
|
人工智能 安全 测试技术
Agent 天天挂在嘴边的沙箱,到底是个啥?
本文深入解析AI时代关键安全机制——沙箱:它不是虚拟机或Docker,而是“为代码划出的安全活动圈”,通过文件、网络、权限、资源四维隔离,保障Agent执行任意代码时系统与数据安全。结合iOS、浏览器、LeetCode等日常案例,厘清概念,并给出可落地的测试验证方法。
253 2
Agent 天天挂在嘴边的沙箱,到底是个啥?
|
22天前
|
人工智能 前端开发 小程序
我把女儿的作文改成了游戏
我用AI把女儿的作文改编成了小游戏。
|
12天前
|
人工智能 JSON 前端开发
面向大语言模型智能体的 Harness 工程:工具编排、记忆与自修复闭环设计
本文提出面向大语言模型智能体的分层Harness框架HARS,解耦规划、执行、记忆与反思四模块,首创基于调用契约的工具自修复闭环,提升工具调用成功率与长程任务完成率,为构建可复用、可验证、自进化的AI智能体提供工程范式。(239字)
183 1
|
29天前
|
并行计算 API 异构计算
类Jev项目Kev从入门到实战(4):安装使用:十分钟跑起来
Kev 是轻量级结构化推理模型,支持 Python/CLI/API 多种接入方式。10分钟即可本地部署,兼容 CUDA/ROCm/Metal,提供零安装在线试用、Modal 一键云端部署及完整 SDK,专为工单分类、情绪识别等场景优化。
229 3
|
17天前
|
人工智能
FDE大师|AI越强,为什么这群“懂行的人”反而更值钱?
本文探讨AI时代下资深从业者的价值重构:当AI能写方案、做分析、生成代码,真正不可替代的,是深扎业务一线的“前线部署工程师”(FDE)——他们将隐性经验转化为可解释、可验证、可复用的规则与系统, bridging 业务理解与工程落地。经验不升值,除非它能被清晰表达、稳定复现、持续验证。(239字)
152 1
|
10天前
|
人工智能 Java API
AgentScope Java 进阶:2.如何精准定义问题类型与处理“不确定性”?
AgentScope Java 的 JEV 模块提供结构化AI决策框架,支持是非判断(Noul)、单选(Choice)和分级评分(Score)三类问题,严格分离评审结果与执行决策,并妥善处理不确定性,助力构建高可靠、可量化、带置信度的Agent应用。(239字)
|
23天前
|
物联网 API 知识图谱
类Jev项目Kev从入门到实战(7):如何选型:决策树与 checklist
本文详解决策树模型选型逻辑:聚焦“分类/打分/路由”任务,通过结构化决策树与6项实测checklist(含零样本验证、微调可行性、显存匹配等),指导选用Kev(可微调)或Jev(零样本强)。强调“任务形状先行”,拒绝盲目套用大模型。
165 1
|
20天前
|
消息中间件 NoSQL 应用服务中间件
Vue3 + WebSocket + RocketMQ:实时消息推送全栈实战
客服系统消息延迟 5 秒,用户无法实时感知订单状态变更——这是我在电商项目中遇到的真实问题。通过 RocketMQ + WebSocket 的全栈方案,消息端到端延迟从 5000ms 降到 50ms,在线用户 10000+ 连接稳定运行。本文从实时推送的 5 大痛点出发,详解 Vue3 WebSocket 客户端 + Spring Boot + 阿里云 RocketMQ 5.x + Redis 的全栈架构设计与代码实战,涵盖 STOMP 协议适配、有序消息与事务消息、离线消息补拉、消息去重与幂等、连接安全认证等核心环节,并给出 5 个生产踩坑实录和推送方案选型决策树。
|
网络协议
为什么信任必须每 120 秒重审一次?
信任该不该有终身制?本文的答案:不该。地址的所有权由派生保证——那是永久产权,房东是数学;而 standing 是一份 120 秒的租约——房东是时间,每过一个窗口自动续租或退租,没有终身荣誉,也没有终身惩罚。该永久的做成永久,该临时的做成临时,恰是分配制种反的两块田。至于第三根柱子——它不长在协议里,长在栈里。
102 0
为什么信任必须每 120 秒重审一次?
|
网络协议 开发工具 git
第一份证据由谁签发?——给 Agent 信任系统一个不垄断起点的答案
凡是靠证据说话的系统,都躲不开一个问题:第一份证据由谁签发?"谁证明证明者"可以无限回退。中心化的做法是指定一个机构当起点——起点从此成了它的财产。本文给出另一种答案:把信任做成标准件,锚位由规范保证、锚在证据轴之外,嵌进谁家就是谁家的纪元——像 git init,每个项目各有第一笔提交,互不裁判。附后门自检:我们标不了别人的创世纪。
83 0
第一份证据由谁签发?——给 Agent 信任系统一个不垄断起点的答案

热门文章

最新文章