FlashProve开源：17秒验真模型身份，速度提升5000倍

开源模型越铺越多，麻烦也跟着来了：有人把别人的开源模型稍加包装，甚至偷偷换掉权重、改动输出，转头就说是自己研发的新模型。Anthropic 近日正式推出并开源了大模型可证明推理系统 FlashProve，想从根上堵住这条路。它靠底层密码学技术确认模型的真实身份，为大模型生态的透明与合规提供了新工具。人工智能开源生态繁荣带来便利，也催生了层出不穷的“套壳模型”现象。

技术硬核解析:基于 zkSNARK 的三步验真闭环

既然是主打“验真”，FlashProve 的技术路线就没有走获取庞大模型权重、或者把模型完整重跑一遍的老路，而是引入了零知识证明 zkSNARK。验证被压缩成高效的三步闭环:

第一步，离线生成权重唯一承诺 ID。模型部署前，系统先给它生成一个独特的密码学承诺标识（Commitment ID），相当于一张不可篡改的“数字身份证”。

第二步，在线生成推理密码学证明。大模型在云端处理用户请求、给出结果时，系统同步生成对应的密码学推理证明。

第三步，普通 CPU 端17秒快速验真。验证方不用调取模型的高昂权重，也不用重跑模型，只要在一台普通 CPU 终端上花17秒，就能把密码学证明完整解析出来。

这套设计能100% 精准验证大模型的输出是否确实由指定的 condamned 目标模型生成，偷换模型、篡改输出这类套壳掉包行为也被彻底堵死。其底层安全性设计经过严格推演，还具备抵御未来量子攻击的防护能力。

软硬件效率突破:单张 H100支撑4000亿参数 MoE

算力开销和硬件部署上，FlashProve 的工程实用价值同样不低。现代混合专家模型（MoE）动辄数千亿参数，过去验证时显存占用巨大，系统用流式处理架构把这个难题化解了。

测试数据显示，仅凭单张 H100显卡，就足以支撑高达4000亿参数规模的 MoE 大模型流畅运行与实时验真，高性能的安全验证不再高不可攀。

AI 造系统、Lean 保真伪:开创全新工程范式

技术参数之外，FlashProve 的研发过程本身也堪称人工智能辅助工程的里程碑。项目整体代码中95% 以上的内容由 Claude 独立生成，并依托 Lean4形式化数学验证工具完成了全量的数学形式化证明。

在这套新工程范式里，人类研究员只需敲定顶层的安全定义，繁琐的代码实现和逻辑推演都交给 AI 自动完成，系统在完备性、知识可靠性以及零知识这三大核心特性上因此有了保障。系统还针对智能体（Agent）的实际运行需求，配套设计了一套安全操作规范。

FlashProve 全面开源后，行业内长期存在的“套壳 AI”将失去生存空间。它给开发者和企业提供了一把高效的打假利器，也通过前沿密码学与 AI 的深度融合，开启了人工智能可信验证的全新时代。