Anthropic 开源 FlashProve 零知识证明验证库，已在 Llama 4 Maverick 实测

Anthropic 开源了用于可证明推理的 FlashProve 研究原型库，可证明某次请求由特定模型回答，同时不泄露模型权重。该项目已在 4000 亿参数的 MoE 模型 Llama 4 Maverick 上完成测试，代码以 Apache 2.0 协议公开，仓库标注为不再维护且不接受贡献。