AI 条约核验或需三层路线：现实检查、enclave 与密码学
geoffreyirving · x · 2026-07-25
Geoffrey Irving 认为，AI 条约核验技术可能会成为近未来必需品，并把可行路线大致分成三层：
- Pragmatic：不直接查看代码的现实手段，比如数据中心巡检、硬件位置追踪、芯片控制，以及让训练比推理更难的约束。
- Enclaves：把约定代码放进安全 enclave 里运行；他指出，一些加速器（包括 Nvidia GPU）已经支持 enclave，且额外开销可以很小。
- Math：只靠密码学电路混淆，结合 FHE 处理非线性部分、为矩阵乘法做定制方案；但他认为现在的性能损耗仍然高得离谱，差了好几个数量级。
他补充说，硬件、安全和密码学方向都应该同时推进这三条路线，因为它们面对侧信道与物理攻击时的权衡完全不同。
所属事件:Geoffrey Irving 剖析 AI 条约核验的三层技术路线(7 条相关)→
「安全」频道最新
- Novosad 赞同 Hassabis 的 AI 安全制度构想，反对削弱美国实验室 — paulnovosad · 2026-09-11
- 经济学家：通往安全 AGI 要靠大实验室内部工程师，而非外部踩刹车 — paulnovosad · 2026-09-11
- 安全专家：AI 驱动攻击并无新招，传统防御依然有效 — AccBalanced · 2026-09-11
- 长文反驳 AI 灭绝论:所谓「10% 灭绝风险」是为逃避产品责任 — gerardsans · 2026-09-11
- 数百个 AI 代理围攻 PaperCut 漏洞，GreyNoise 揭示其操作幕后 — AccBalanced · 2026-09-11
- 研究者担忧：美国监管或让 AI 进步「死于集体行动」 — paulnovosad · 2026-09-11