Anthropic 公布可证明推理系统 FlashProve 的进展

Anthropic 研究团队介绍了可证明推理(provable inference)的进展,核心是基于 zkSNARK 的系统 FlashProve,使模型提供方能够承诺某个模型,并证明每次回复确由该模型生成。据其披露,在 Llama 4 Maverick(400B 参数混合专家模型)上,单张 H100 在 4-bit 量化权重、预填充使用整数运算的条件下,约以每秒 110 个 token 的速度生成证明,每个 1024 token 请求的证明约 19 MB,GPU 耗时约为 vLLM 直接运行模型的 70 至 95 倍。项目还以 Lean 形式化验证顶层安全保证,并以 Apache 2.0 许可发布代码、Lean 证明和技术报告。






