给编程智能体加审计链
Funky_Chicken_22 · reddit · 2026-07-18
作者介绍自己从 world-model-mcp 出发，先做了给 coding agents 用的时间序知识图谱和约束执行层，但在真实项目中发现更大的缺口是 可验证的决策历史。
- 仅有记忆和规则执行还不够：即使代理做出了“正确决定”，后续也很难独立证明它当时依据了什么上下文、遵守了哪些规则。
- 因此他在上层又做了 Etch：把每次工具调用写入带签名的 Merkle 链，并使用混合后量子签名。
- 这样历史记录可以离线验证，不依赖模型厂商；既有 enforcement layer，也有 cryptographic audit layer。
- 目前他们已签署超过 16.3 万条事件，但作者仍在观察为什么采用速度偏慢：记忆/上下文痛点更明显，而审计需求往往要到 review 或合规场景才会变得迫切。
所属事件:生产级 AI Agent 审批与审计之争(6 条相关)→
「编程与Agent」频道最新
- AI 智能体或成运行代码的唯一方式：鲁棒性远超传统方法 — IgorCarron · 2026-10-27
- 让 Hermes Agent 当 QA：浏览器实测揪出 8 个网站问题 — techlatest_net · 2026-10-27
- 开源 FableCut 用远程 MCP 让 AI Agent 直接剪辑浏览器时间线 — FastPresence9799 · 2026-10-27
- 网友给 Hermes Agent 配专属 Ubuntu 虚拟机实测真实任务表现 — techlatest_net · 2026-10-27
- 开发者晒弃用清单：VS Code、Office 全卸载，只用 Claude — One_Improvement_6470 · 2026-10-27
- Grok bot 首次自主网购：识破页面隐藏提示，1 美元开通 Spotify 后秒取消 — msg · 2026-10-27