Anthropic 開源 FlashProve：用零知識證明防服務商「偷換模型」
Anthropic 開源大模型推理驗證系統 FlashProve，利用零知識證明，讓開發者無需獲取模型權重或 GPU，用普通 CPU 就能驗證 API 輸出是否來自承諾的模型。最關鍵的是打破了黑盒信任，不過目前生成證明仍需額外消耗 72 至 94 倍的 GPU 時間。
FlashProve
Anthropic 開源 FlashProve：用零知識證明防模型掉包，單卡每秒 110 token
Anthropic 開源可驗證推理系統 FlashProve，利用 zkSNARK 零知識證明技術，在不暴露模型權重的前提下，驗證回答是否確由指定模型生成。在單張 H100 上跑 400B 規模的 Llama 4 Maverick，證明速度達每秒 110 token。雖然生成證明比原生推理慢 70 至 95 倍，但普通 CPU 幾秒內即可完成驗證，為防範輸出篡改和合規監管提供了新工具。