#可驗證推理

Anthropic 開源 FlashProve：以 zkSNARK 零知識證明 LLM 輸出來自指定權重

Anthropic 於 11 月初開源發布研究原型 FlashProve，運用 zkSNARK 技術在完全隱藏模型權重的前提下，證明某個回應確實出自一組已承諾（committed）的權重；在單張 H100 上以約每秒 110 token 為 400B MoE 模型生成可驗證證明，為模型替換攻擊與權重外洩風險提供可審計的防禦技術路徑。