PerMIT：通过机器验证完整性定理与可扩展社区信任保障 LLM Agent 的持久化记忆安全

英文标题：PerMIT: Securing Persistent Memory for LLM Agents via Machine-Checked Integrity Theorems and Scalable Community Trust

持久化记忆是 LLM Agent 抵御注入与投毒攻击的高危暴露面，且该风险直接限制了多智能体之间的记忆共享。为此，研究团队提出了 PerMIT 架构，在明确的信任假设下通过机器验证的完整性定理提供形式化证明保障。该方案同时结合可扩展的社区信任机制，为跨 Agent 记忆交互构建了安全屏障。这对解决长期自主智能体投毒威胁、推动高可信多智能体生态的工程落地具有重要意义。