Anthropic 发布 FlashProve:2 秒验证模型真伪，但证明成本高达推理 100 倍
bgmshana · x · 2026-11-04
Anthropic Frontier Red Team 发布可验证推理研究进展 FlashProve,基于 zkSNARK 密码学证明，让用户能验证模型响应确实来自声称的模型，而非被路由服务偷换或被篡改。
核心进展
- 对 Llama 4 Maverick(400B 参数 MoE)等大模型，单张 H100 可在约 2 秒内于本地 CPU 完成证明验证
- 速度显著快于此前开源 zkSNARK 系统，可用于消费级产品、内部安全和 AI 监管合规验证等场景
实用性争议
- 引用者 collinzrj2001 指出：生成证明的计算开销是直接推理的约 100 倍——GPU 跑一次前向仅需 0.1 秒，生成证明却要 9.2 秒
- LLM 推理本身已很昂贵，附加证明成本更高
- 回帖者 bgmshana 认为目前最务实的方案仍是 TEE 机密计算，能同时提供可证明的完整性与隐私保护
所属事件:Anthropic 开源 FlashProve：zkSNARK 可验证模型推理(16 条相关)→
「安全」频道最新
- 形式化方法创业公司 Genproof 宣称找出 300+ 个隐藏十年的开源 Bug — prasenx · 2026-11-04
- SK 海力士拟在美投 450 亿美元建芯片厂，换取中国大连工厂升级许可 — demian_ai · 2026-11-04
- 超1300个AI渗透测试控制台暴露公网，Storm-0940等攻击组织正在利用 — cyb3rops · 2026-11-04
- 爆料：OpenAI 员工多年警告内部安全疏漏与间谍风险未获重视 — GarrisonLovely · 2026-11-04
- Anthropic 发布 FlashProve：用密码学验证 AI 回复确实出自某模型 — AnthropicAI · 2026-11-04
- 谷歌宣布 K-12 学生账号默认全面关闭搜索和 Gemini — OnlineInference · 2026-11-04