**语义事务：在操作系统边界保障不可信AI智能体工作流安全**

_Semantic transactions: securing untrusted AI agent workflows at the OS boundary_

> 传统无状态RPC运行时因缺乏原子性协调机制，易受多步攻击并导致状态损坏。本文提出“语义事务”模型，通过Cordon运行时和Mnemosyne中的ATP技术，将智能体工具调用暂存于效果发件箱，待完整任务轨迹验证通过后才执行，从而有效防御如隐藏指令诱导转账等恶意行为。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-07-16 16:06（北京时间）
- **原文**：[打开原文](https://latentdynamics.substack.com/p/semantic-transactions-securing-untrusted)