bibibi.ccLoading…
Anthropic开源研究原型FlashProve，尝试用零知识证明验证大模型回复来源。
研究：Anthropic开源FlashProve，用零知识证明验证大模型推理
PANews 11月3日消息，Anthropic 发布开源研究原型 FlashProve，利用零知识证明验证大模型回复是否由指定模型权重生成，同时无需公开模型权重。Anthropic 称，Claude 参与改进该系统；在 4000 亿参数的 Llama 4 Maverick 模型测试中，单张 H100 显卡生成证明的速度约为每秒 110 个 token（文本单位），但所需 GPU 时间为普通推理的约 70 至 95 倍。该原型目前支持最多 1024 个 token 的上下文，仍处于研究阶段。
Source: https://www.panewslab.com/zh/articles/01a1a15d-ebc2-74dd-9bd7-0975f33789a8
PANews称，Anthropic发布了开源研究原型FlashProve。
FlashProve用于验证大模型回复是否由指定模型权重生成，同时无需公开模型权重。
Anthropic称Claude参与改进该系统。
在4000亿参数的Llama 4 Maverick测试中，单张H100生成证明的速度约为每秒110个token。
生成证明所需GPU时间约为普通推理的70至95倍。
该原型目前支持最多1024个token的上下文，仍处于研究阶段。
The following is analysis, separate from reported facts. Verify important claims independently.
FlashProve像一套不公开“模型配方”也能核验回复来源的证明机制：它试图证明某段回复确实由指定模型权重生成。不过，材料显示其证明过程需要远高于普通推理的GPU时间，且上下文长度有限。
如果这种验证方式可用，模型提供方可能在不公开权重的情况下，让外部核验回复是否来自指定模型；但当前材料明确称它仍是研究原型。
适合关注大模型可信验证、零知识证明和开源AI研究的新手；现阶段更应把它视为技术探索，而非成熟产品。
Loading event timeline…