WORLDTECH人工智能 单一来源
Anthropic发布FlashProve，实现AI推理的密码学证明
由 WORLDTECH 译自英文。事实、数字、名称和来源均与英文原文一致。 English
事件经过
Anthropic于2026年11月2日发布了FlashProve，这是一个开源研究原型，利用密码学证明来表明语言模型的回复来自已承诺的权重，同时不泄露权重本身。仅凭回答质量高，并不能确定它出自哪个模型：路由服务可能替换成另一套系统，评测方可能拿到的不是预定用于测试的模型，攻击者也可能篡改令牌流。Anthropic是一家总部位于旧金山的人工智能公司。
在离线阶段，服务提供方会发布一份简短的承诺，用以标识一组确定的权重，同时保持权重保密。对于已完成的提示词与回复配对，系统会生成一份证明，表明输出令牌（模型读取和生成的小段文本）确实来自所承诺模型的输出。
检查证明时，不应泄露权重或中间计算数值。该公司报告称，对于Meta的Llama 4 Maverick，证明生成速度为每秒110个令牌。
这项工作针对的是托管式AI中的验证缺口。当权重保密且硬件要求很高时，用户通过重新运行模型来核验几乎不现实。
FlashProve将回复与隐藏权重绑定，采用零知识简洁非交互式知识论证（zkSNARK），是纯软件设计，不依赖可信硬件。任何持有承诺、提示词和回复的人，无需接触权重即可检查证明。
该设计预期具备完备性、可靠性、零知识性和简洁性。诚实的证明应当被接受，而要为一个虚假陈述出具证明，则需要攻破被广泛认可的密码学假设。