FlashProve - Anthropic 开源的大模型验真系统

FlashProve是什么

FlashProve是Anthropic开源的大模型验真系统，核心思路是用零知识证明让模型服务商在不暴露权重的前提下，向用户证明某个回答确实由指定模型生成。FlashProve采用承诺与验证框架、MoE激活感知优化和批量事后证明等技术，在400B参数的Llama 4 Maverick上实现单卡H100约110 tokens/s的证明速度，验证者只需普通CPU花十几秒即可完成核验，主要可用于防模型偷换、防输出篡改和合规审计场景。

FlashProve的功能特色

• autenticación：服务商无需公开模型权重，也能用密码学方式证明输出确实出自指定模型。
• 防模型偷换：有效遏制服务商或路由平台把高价模型暗中替换成低价替代品的行为。
• 防输出篡改：推理服务器遭入侵或Token流被中间人改动时，验证环节会立即暴露异常。
• 合规审计：监管机构与评测方可获得可机器检查的推理凭证，实现低成本核验。
• 来源背书：可证明代码审计、商业分析等工作确实由某个指定模型完成，接收方无需接触权重。

FlashProve的核心优势

• 权重保密的可验证性：在不公开模型权重的前提下，能确证回答确实由指定模型生成，兼顾商业保密与结果可信。
• 双防能力：无论服务商偷换便宜模型、路由层暗中替换，还是攻击者改动输出，验证环节都能一一识破。
• 验证门槛极低：验证者无需GPU，只靠普通CPU和约19MB证明，十几秒到几十秒可完成核验。
• 规模化突破：首次在400B参数的Llama 4 Maverick上跑到约110 tokens/s的证明速度，较以往zkML系统提升数个数量级。
• MoE定向优化：证明成本仅随每Token实际激活的约17B参数计算。
• 安全性质机器可验证：完整性、可靠性和零知识三大性质均已在Lean 4中完成形式化证明。

FlashProve官网是什么

• Página web del proyecto：https://www.anthropic.com/research/provable-inference
• Repositorio GitHub：https://github.com/anthropics/FlashProve
• Documentos técnicos：https://assets.claude.com/8e1d181a83015078581c92d896757041713f0160.pdf

FlashProve的使用步骤

• Obtener código：从GitHub克隆FlashProve仓库到本地，以普通用户身份在仓库根目录进行后续操作。
• 编译验证器：运行verifier/build.sh构建C++验证器，看到"THE VERIFIER IS BUILT"输出且退出码为0即表示成功。
• 验证示例证明：执行bin/cp_verify并传入examples/accepted-proof下的参数，末行显示YES说明验证器工作正常。
• CPU自检：运行blocks/first_look.sh测试证明库，确认诚实证明能被接受、伪造证明会被拒绝。
• GPU完整流程：在配备单张空闲H100 80GB和CUDA 13.2的机器上运行examples/quickstart-gpu.sh，自动完成小模型请求的提交、证明与验证。
• 真实模型核验：从可信渠道获取服务商的承诺ID、请求、输出和证明后，用bin/cp_verify加相应参数执行验证。
• 判读结果：退出码0且末行YES为接受，1为拒绝，5表示未出结论可重试一次，其余代码说明调用或文件存在错误。

FlashProve的适用人群

• AI API使用者：付费调用指定高性能模型的开发者和企业，可借此验证服务商没有暗中换成便宜模型。
• 独立模型评测机构：评估方可确认被测服务确实部署了待评模型，避免"评测的是A、上线的是B"的情况。
• 企业安全与运维团队：要求推理服务器对响应附带证明，防范服务器被攻击或越权模型伪造输出。
• 监管机构：可要求服务商定期提交推理证明，核实硬件确实用于已批准模型的推理。
• 高价值业务背书方：需要证明代码审计、商业分析等成果确实由指定前沿模型完成的开发者或企业。

FlashProve的常见问题

Q1：FlashProve能证明模型回答的内容是正确的吗？

A1:不能，它只证明输出确实由指定模型生成，即验证来源，不保证内容正确。

Q2：验证一次需要多久、什么硬件？

A2：验证者只需普通CPU，处理约19MB证明大约十几秒到几十秒，无需GPU或重跑模型。

Q3：证明会不会泄露模型权重？

A3：不会，零知识证明不泄露权重、中间激活值或专家选择，只确认计算按承诺模型执行。

Q4：为什么选在Llama 4 Maverick上做实测？

A4：因为它是400B参数的MoE模型，证明成本只随实际激活的约17B参数增长，能体现系统的规模化能力。

Q5：它是生产可用的产品吗？

A5：不是，FlashProve目前仍是研究原型，生成证明的GPU时间约为普通推理的70—95倍。