Anthropic 开源研究原型 FlashProve，用零知识证明验证大模型推理
内容摘要
PANews 11月3日消息，Anthropic 发布开源研究原型 FlashProve，利用零知识证明验证 AI 回复是否由指定模型权重生成，用户无需获取模型权重或重新运行模型，参与者包括 StarkWare 联合创始人 Alessandro Chiesa。在 4000 亿参数的 Llama 4 Maverick 测试中，单张 H100 生成证明的速度约为每秒 110 个 token，但所需 GPU 时间约为普通推理的 70 至 95 倍；原型目前支持最多 1024 个 token 的上下文，仍处于研究阶段。
来源：PANews · panewslab.com
打开原文所属事件
Anthropic开源FlashProve验证大模型推理
Anthropic 发布开源研究原型 FlashProve，用零知识证明验证 AI 回复是否由指定模型权重生成，用户无需获取权重或重新运行模型；研究参与者包括 StarkWare 联合创始人 Alessandro Chiesa，Anthropic 称 Claude 参与改进该系统。在 4000 亿参数的 Llama 4 Maverick 测试中，单张 H100 生成证明约每秒 110 个 token，但所需 GPU 时间约为普通推理的 70 至 95 倍；原型目前最多支持 1024 个 token 上下文，仍处于研究阶段。
最新变化：Anthropic 开源 FlashProve 原型，公布测试速度与算力开销数据。
读懂这条消息
来自 Learn 的概念与核对方法，帮助理解新闻中的机制和口径。
零知识证明是什么？证明、隐私与区块链ZK应用
零知识证明让证明者证明某个陈述成立，同时不向验证者额外泄露应保密的见证信息。它可以用于隐私凭证或状态计算验证，但证明正确不等于数据来源真实，ZK Rollup也不自动隐藏公开交易。
阅读完整说明 →Private Payments是什么？隐私支付的模型、可见信息与泄露边界
隐私支付不是一种统一产品。应分别判断付款人、收款人、金额、资产、时间与网络身份对谁可见，以及谁持有密钥或记录。公开地址换一个名字、交易不在某个界面显示，都不等于整个支付过程匿名。
阅读完整说明 →