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

FlashProve是什么

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

FlashProve的功能特色

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

FlashProve的核心优势

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

FlashProve官网是什么

프로젝트 웹사이트：https://www.anthropic.com/research/provable-inference
GitHub 리포지토리：https://github.com/anthropics/FlashProve
기술 문서：https://assets.claude.com/8e1d181a83015078581c92d896757041713f0160.pdf

FlashProve的使用步骤

코드 받기：从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表示未出结论可重试一次，其余代码说明调用或文件存在错误。