Anthropic 开源 FlashProve，用 zkSNARK 推进大模型可证明推理

2026年11月2日，Anthropic Frontier Red Team 发布可证明推理进展并开源 FlashProve 原型，采用 zkSNARK 在隐藏权重下证明输出来自已承诺模型。Llama 4 Maverick（400B MoE、4-bit 量化）在单张 H100 上约 110 tokens/s 证明速度，1024 token 请求证明约 19 MB，GPU 时间约为 vLLM 同 prompt 的 70–95 倍。同步发布技术报告、协议规范、prover/verifier 代码及 Lean 形式化陈述，Apache 2.0 许可。