伦敦 AI 验证圈升温:用密码学证明模型推理来源
DavideCrapis · x · 2026-11-14
伦敦的 AI×Crypto 社区正把密码学证明变成 AI 安全与治理的工具。作者 Davide Crapis 指出核心问题:如何证明某个数据中心只用了特定模型做推理?如何在不泄露模型权重或测试用例的前提下,证明推理或训练的特定属性?11 月 13 日的 AI Verification Mixer 活动聚焦 ZK 证明、TEE 与硬件、MPC 与密码学、审计与安全四个方向。
所属事件:伦敦 AI×加密社区聚焦用密码学证明验证 AI 推理与训练(2 条相关)→
「Infra」频道最新
- AWS 上架 OpenFold3：SageMaker 一键部署全原子分子结构预测 — AWS ML Blog · 2026-11-14
- 英伟达一周市值蒸发5730亿美元,超过万事达卡总市值 — Polymarket · 2026-11-14
- Dario Amodei:Anthropic 算力锁定仅 9000 亿,远少于对手 — rohanpaul_ai · 2026-11-14
- 从 Nvidia 拿过融资的创始人：它不是循环融资，是在补没人敢补的缺口 — williamfalcon · 2026-11-14
- Thinking Machines 揭秘 Inkling 2 Small 全程原生 4-bit 训练 — thinkymachines · 2026-11-14
- Modular 联创 Chris Lattner 谈一套软件栈统管六种芯片架构 — samcharrington · 2026-11-14