Anthropic 发布 FlashProve 原型，用 zkSNARK 证明 AI 回复出自指定模型且不暴露权重

报道讲了什么

• Anthropic 发布开源研究原型 FlashProve，用密码学方法验证 AI 回复是否来自声称的模型。
• 该原型采用 zkSNARK，先为模型权重生成数字指纹，再随每次回复附上紧凑证明。
• 代码、Lean 证明和文档已在 GitHub 以 Apache 2.0 许可公开。

可以做什么

• 对 Meta Llama 4 Maverick 在单张 H100 上以约 110 tokens/s 生成证明，每份约 19 MB。
• 证明可在标准 CPU 上于 17 秒内完成验证。
• 原文列出监管核查、企业证明代码经特定安全模型审查、服务商检测服务器篡改等潜在用途。

怎么使用

原文没有提供可复现的操作步骤，请从下方原文或官方说明确认使用方法。

结果与限制

• 目前只能证明最长 1,024 tokens 的上下文，远低于现有模型的上下文窗口。
• 隐藏模型权重但不隐藏底层架构。
• 仅在模型选择最可能的单个下一 token 时有效，不适用于聊天机器人日常的随机输出。

使用入口与依据