AI最前沿 88Z.ai 11 月 4 日消息，Anthropic 开源 FlashProve，利用零知识证明技术，使服务商能在不泄露模型权重的前提下，验证回答确实源自指定模型。该系统已在 Llama 4 Maverick 上完成测试，虽验证成本较高，但实现了推理过程的可信验证。
消息要点
- FlashProve 利用零知识证明在不泄露权重下验证模型来源
- 在 Llama 4 Maverick 测试中证明成本为普通推理的 70-95 倍
要点
Anthropic 正式开源了名为 FlashProve 的可验证推理系统。该系统的核心在于应用零知识证明技术，允许服务提供商在严格保护模型权重隐私的同时，向用户证明其生成的回答确实来自于指定的模型架构，从而建立信任机制。 目前，FlashProve 已在拥有 4000 亿参数的混合专家模型 Llama 4 Maverick 上进行了测试。数据显示，在 H100 硬件上其推理速度约为每秒 110 个 token。每生成 1024 个 token，产生的证明数据大小约为 19MB，CPU 端验证耗时约 17 秒。需要注意的是，目前的证明成本约为普通推理成本的 70 至 95 倍，显示出该技术在实际部署中仍面临较高的计算开销挑战。
资料来源与整理说明
本文由 AI最前沿通过 AI 辅助整理公开资料。产品能力与开放范围按发布方说明转述，未将其视为本站实测或独家采访结论。
- 机器之心原始资料发布于
以上日期为原始资料发布日期；标题下方日期为本文在 AI最前沿的发布时间。