Odaily星球日報によると、Anthropicはゼロ知識証明（zkSNARK）に基づくオープンソースのAI推論検証システム「FlashProve」をリリースし、StarkWareの共同設立者であるAlessandro Chiesaが研究に参加した。このシステムは、ブロックチェーンのZK技術と同源の暗号学的手法を活用し、ユーザーがモデルの重みを取得したりモデルを再実行したりすることなく、AI出力が指定されたモデルによって生成されたことを検証可能にする。
Anthropicは、Claudeがシステム最適化に参加し、関連するコードとLean形式化証明をオープンソース化したことを発表しました。このシステムはまだ研究プロトタイプ段階にあり、証明生成にかかるGPU時間は通常の推論の70～95倍程度です。
テスト結果によると、FlashProveは1枚のH100 GPU上で、Metaの4000億パラメータモデルLlama 4 Maverickに対して、約110トークン/秒の速度で約19MBの証明を生成できます。