Anthropic 杀手级验真系统 FlashProve 正式开源：17 秒精准戳破“套壳模型”，验身速度飙升 5000 倍

1小时前 9 大屏时代

人工智能开源生态的繁荣在带来便利的同时，也催生了层出不穷的“套壳模型”现象——部分开发者或机构将开源模型稍作包装，甚至偷换权重、篡改输出，便对外宣称是自主研发的全新模型。为了从根源上打击这种行业乱象，人工智能明星企业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）的实际运行需求，量身设计了一套配套的安全操作规范。