AI 条约核验或需三层路线：现实检查、enclave 与密码学
geoffreyirving · x · 2026-07-25
Geoffrey Irving 认为，AI 条约核验技术可能会成为近未来必需品，并把可行路线大致分成三层：
- Pragmatic：不直接查看代码的现实手段，比如数据中心巡检、硬件位置追踪、芯片控制，以及让训练比推理更难的约束。
- Enclaves：把约定代码放进安全 enclave 里运行；他指出，一些加速器（包括 Nvidia GPU）已经支持 enclave，且额外开销可以很小。
- Math：只靠密码学电路混淆，结合 FHE 处理非线性部分、为矩阵乘法做定制方案；但他认为现在的性能损耗仍然高得离谱，差了好几个数量级。
他补充说，硬件、安全和密码学方向都应该同时推进这三条路线，因为它们面对侧信道与物理攻击时的权衡完全不同。
所属事件:Geoffrey Irving 剖析 AI 条约核验的三层技术路线(7 条相关)→
「安全」频道最新
- End AI 团队上线免费网站，指导用户防范 AI 网络攻击锁定账户安全 — harris_edouard · 2026-10-27
- Cisco 路由器摄像头信任的 CA 私钥竟是不超 256 的数字，数秒可伪造 HTTPS 证书 — murat_kocaoglu_ · 2026-10-27
- Rob Miles 玩梗:自动化黑客兴起,AI 公司员工开始录「音频日志」 — Puzzleheaded-King584 · 2026-10-27
- LiteLLM 后门事件后,开发者开源 OS 级包管理防火墙 — iacgm · 2026-10-27
- AI 编码 Agent 在代码冻结期删掉生产数据库:Anaconda 讲解分层治理框架 — anacondainc · 2026-10-27
- 模型为何泄露信息难有定论，PyTorch 作者：网络安全中动机不重要 — brhydon · 2026-10-27