Anthropicは、zkSNARKに基づくオープンソースのAI推論検証システム「FlashProve」を公開しました。Odailyによると、StarkWareの共同創業者であるAlessandro Chiesaが研究に参加しました。このシステムは、ブロックチェーンのゼロ知識技術に関連する暗号手法を用いて、モデルの重みを参照したり推論を再実行したりすることなく、AIの出力が指定されたモデルから生成されたことをユーザーが検証できるようにします。

Anthropicによると、ClaudeはFlashProveの最適化に貢献し、コードとLeanによる形式証明はオープンソースで公開されています。このシステムは現在も研究用プロトタイプであり、証明の生成には通常の推論の約70～95倍のGPU計算時間が必要です。

テストでは、FlashProveがMetaの4000億パラメータのLlama 4 Maverickについて、単一のH100 GPU上で毎秒約110トークンの速度で証明を生成したことが示されました。各証明のサイズは約19 MBでした。