如何评价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
为什么受到关注？
该关键词近期出现在知乎热榜，历史最高排名第 23 位。热榜排名只能反映平台内一段时间的关注程度，不等同于事件重要程度或事实结论。
已确认的信息
- 来源平台：知乎
- 首次收录：2026-11-04 12:50:06 UTC
- 最近更新：2026-11-04 14:20:16 UTC
- 最近热度：98 万热度
榜单趋势
最近 7 次榜单快照的排名走势（排名越低越靠前），每格为一次采集记录。