「给大模型输出“验明正身”，Anthropic把可证明推理往前推了一大步」大模型时代，一个长期被忽视的问题是：你拿到的回答，真的是声称的那个模型生成的吗？如果中间被路由服务偷偷换成更便宜的模型，或者推理链路被篡改，用户其实很难仅凭文本判断。Anthropic这篇研究发布的核心，就是用零知识证明里的 zkSNARK 做“可证明推理”，让模型方先对权重做一次承诺，之后每次回复都能附上一份可验证证明：既能证明这段输出确实来自那组既定权重，又不会泄露权重本身。它们公开的原型系统叫 FlashProve，面向 MoE 大模型，在 Llama 4 Maverick 这类 400B 参数模型上，单张 H100 可做到约 110 tokens/s 的证明生成速度，1,024-token 请求对应证明大小约 19MB，验证则可在 CPU 上几秒到十几秒内完成。更重要的是，这不是只谈概念：Anthropic一口气放出了技术报告、协议说明、可执行代码、C++ 快速验证器、Lean 形式化验证器，以及对应的 Lean 证明。它想解决的也不只是“我信不信这条回复”，还包括监管场景里的推理合规、服务链路被入侵后的篡改检测、第三方路由是否真在调用指定模型，以及审计方如何在看不到权重的前提下核验模型服务。它当然离实用化还有距离，比如当前主要支持整数模型与贪心解码、上下文长度只有 1,024 token、架构本身不隐藏，而且证明开销依然比普通推理高一个多数量级。但真正值得重视的是方向变了：过去大家默认“模型输出无法被独立核验”，现在这件事开始有了可运行、可审计、可复现的工程路径。