如何评价Anthropic 开源 FlashProve，利用 zkSNARK 验 Claude 真伪？

Anthropic 在 2026 年 11 月 2 日发布了研究原型 FlashProve，用 zkSNARK（零知识简洁非交互式论证）证明「这个回复是由特定模型权重生成的」，同时不泄露权重本身。Claude 参与了 zkSNARK 优化和协议文档撰写。核心机制（两阶段）离线阶段（Offline） 模型提供方对权重做一次密码学承诺（commitment），生成一个短指纹（约 6.5 MB）。这个指纹锁定了「确切的一套权重」，权重本身保持隐藏。一次承诺大约可以支撑 ~1600 万次请求，之后需要重新承诺。在线阶段（Online） 每次请求，提供方在推理完成后**后验（post-hoc）**生成证明：证明「已承诺的模型在这个 prompt 上，确实会输出这些 token」。证明是简洁的 zkSNARK，大小约 19 MB（1024 token 请求）。验证 任何人拿着「承诺指纹 + prompt + response + 证明」，在普通 CPU 上就能验（24 核约 17 秒，单线程约 21 秒），不需要权重，也不需要 GPU。 安全属性（在 Lean 中形式化证明）：Completeness：诚实证明一定通过Soundness：伪造证明在密码学假设下几乎不可能Zero-Knowledge：证明不泄露权重、中间激活、专家路由等信息Succinctness：证明小、验证快 官方明确提到的应用场景包括：第三方路由器 / 中转站：防止偷偷换成更便宜的模型云主机 / 被攻破的服务器：攻击者无法伪造有效证明冒充承诺模型防止提供方自己偷换模型（用更便宜的省钱，或用更强的刷榜）独立评估、文本溯源、监管合规等https://www.anthropic.com/research/provable-inference

前往原平台核验详情 ↗