Anthropic开源FlashProve实现AI推理可验证

Anthropic前沿红队发布开源原型FlashProve，将零知识证明（zkSNARK）应用于大型语言模型推理验证。该系统允许供应商对模型权重做承诺，并证明每次响应均由该特定模型产出，从而防止路由替换或篡改。 在Llama 4 Maverick（400B MoE、4-bit）上，单颗H100约110 tokens/秒，每1,024 token请求证明约19 MB。任何人只要有commitment、提示词与回复，就能在普通CPU上验证——24核约17秒/证明，单执行绪约21秒，无需GPU、无需权重。 官方定位仍是中途进度。快执行码没有形式保证；证明的是整数模型加贪婪解码，浮点或抽样解码可能对齐不齐。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。