AI 条约核验或需三层路线：现实检查、enclave 与密码学
geoffreyirving · x · 2026-07-25
Geoffrey Irving 认为，AI 条约核验技术可能会成为近未来必需品，并把可行路线大致分成三层：
- Pragmatic：不直接查看代码的现实手段，比如数据中心巡检、硬件位置追踪、芯片控制，以及让训练比推理更难的约束。
- Enclaves：把约定代码放进安全 enclave 里运行；他指出，一些加速器（包括 Nvidia GPU）已经支持 enclave，且额外开销可以很小。
- Math：只靠密码学电路混淆，结合 FHE 处理非线性部分、为矩阵乘法做定制方案；但他认为现在的性能损耗仍然高得离谱，差了好几个数量级。
他补充说，硬件、安全和密码学方向都应该同时推进这三条路线，因为它们面对侧信道与物理攻击时的权衡完全不同。
所属事件:Geoffrey Irving 提出 AI 条约核验的三层技术路线(5 条相关)→
「安全」频道最新
- Opus 5 system card：预训练模式主张存在不应受经济约束 — Sauers_ · 2026-07-25
- Ryan Greenblatt 支持开放权重，但主张卡住中国 AI 进展 — RyanGreenblatt · 2026-07-25
- 一条 2027 设想把 AI 安全问题推到“智能体病毒” — JnBrymn · 2026-07-25
- Anthropic 称 Opus 5 漏洞发现更强，但仍落后 Mythos 5 — TheZvi · 2026-07-25
- Cloudflare 7 月 1 日推出 x402，AI 代理开始按请求付费 — kleffew94 · 2026-07-25
- Transformer 文章：Hugging Face 被黑后，前沿 AI 开发者应承担更明确责任 — dhadfieldmenell · 2026-07-25