Anthropic 提出 FlashProve：用零知识证明验证 AI 模型未被调包

Anthropic 公布名为 FlashProve 的技术研究方案，试图解决用户与模型服务商之间的黑盒信任问题：终端收到的回答是否真的来自所宣称的高阶模型，而不是被云服务商为降本而替换成的轻量模型。该方案用密码学手段对模型权重作出不可篡改的承诺，并为每次推理附上证明。

FlashProve 在工程实现上采用区块链领域成熟的 zkSNARKs，可在不泄露模型专有权重的前提下生成体积极小的证明文件。Anthropic 在报告中把 Starknet 与 Mantle 列为同类底层零知识证明架构的代表案例，StarkWare 与 Succinct 团队也以共同作者身份出现在署名列表中。

黑盒信任难题

当前主流大模型的完整参数矩阵与推理运算，均封闭在开发者自有的云端数据中心或第三方服务器内，终端用户最终收到的只是一串纯文本或二进制输出。模型的基础商业运作因此建立在口头信任之上，用户无法核验回答究竟由哪个模型生成。

这一缺口也带来套利空间：API 聚合路由服务可能在后台把计费高昂的旗舰模型替换为低成本小模型，从中赚取差价，而用户无从甄别。FlashProve 针对的正是这一环节。

FlashProve 如何自证

按照 Anthropic 公布的方案，模型提供方先以密码学手段对特定的神经网络权重参数作出不可篡改的数学承诺，随后每一条推理回复都附带一份数学证明，向终端确定性证明该回答确由特定完整模型忠实计算得出。

据 Anthropic 披露，零知识证明能在不泄露模型专有商业权重的前提下，生成体积极小、链下验证开销很低的证明文件，并随每次推理响应以毫秒级开销分发给终端用户。

为何点名二层网络

Anthropic 在报告中指出，FlashProve 所依赖的技术栈，与以太坊 Layer 2 生态中用于验证网络状态转换的 zkSNARKs 属于完全相同的底层密码学范式，并直接把 Starknet 与 Mantle 列为行业代表案例。

署名信息也印证了这种技术关联：开发 Starknet 的 StarkWare 团队，以及为 Mantle 提供底层零知识证明网络的 Succinct 团队，均以共同作者身份出现在该研究论文的署名列表中。

需要说明的是，Mantle 本身并未直接参与 Anthropic 内部大模型的训练，这并非一次直接的商业采购合作。报道将其定性为技术范式的引用，而非商业绑定。

Mantle 的 ZK 工程实践

零知识证明在密码学领域已有超过 40 年积累，但在区块链早中期长期受制于高昂算力开销与缓慢的证明生成速度，实际部署进展有限。以太坊二层网络的工程化实践改变了这一局面。

以 Mantle 为例，其在 2025 年 9 月完成向 OP Succinct 的全量架构升级，从乐观汇总转为 ZK Rollup。在该架构中，Succinct 研发的通用零知识虚拟机 SP1 负责为二层网络所有状态转换生成数学证明，并提交至以太坊一层主网合约验证。

这一变化直接体现在提现确认周期上：乐观汇总因需预留欺诈证明防守窗口，用户跨链提现要等待 7 天；引入 ZK 证明后，Mantle 将状态敲定时间缩短至约 1 小时，资金提现周期压缩至 6 小时以内。借助 Succinct 证明者网络的分布式硬件加速，其单笔交易的 ZK 证明生成费用已降至约 0.002 美元。

行业信号与边界

据二层数据监测平台 ETHBEAT 的链上统计，Mantle 是目前全网排名前四的主流 Layer 2 中唯一实现全面转向 ZK Rollup 的网络生态。报道认为，当科技公司需要在大规模分布式环境下寻找低延迟、低单次验证成本且经过真实资金检验的 ZK 基础设施时，为 Mantle 提供核心证明能力的 Succinct 成为自然的合作对象。

报道同时提示了边界：这并不意味着某条公链在整体技术上完成对同行的碾压。其意义在于，以太坊二层网络在算力加速与成本优化上积累的工程经验，正在为 AI 领域的密码学透明度探索提供可用的基础设施参考。

要点

• FlashProve 用密码学承诺绑定模型权重
• 每条推理回复附带一份数学证明
• 证明采用 zkSNARKs，不泄露模型权重
• 报告点名 Starknet 与 Mantle 为底层范式案例
• StarkWare 与 Succinct 团队为论文共同作者