Anthropicがゼロ知識証明システムFlashProveをオープンソース化

Odaily星球日报讯 Anthropicは、ゼロ知識証明（zkSNARK）に基づくオープンソースのAI推論検証システム「FlashProve」を公開した。StarkWareの共同創業者Alessandro Chiesa氏が研究に参加している。このシステムは、ブロックチェーンのZK技術と同源の暗号学的手法を利用し、ユーザーがモデルの重みを取得したりモデルを再実行したりすることなく、AIの出力が指定されたモデルによって生成されたかどうかを検証できるようにする。

Anthropicによると、Claudeがシステムの最適化に参加しており、現在関連するコードとLean形式の形式証明がオープンソース化されている。このシステムはまだ研究プロトタイプの段階にあり、証明生成に必要なGPU時間のオーバーヘッドは通常の推論の約70～95倍である。

テストによると、FlashProveは単一のH100 GPU上で、Meta傘下の4000億パラメータモデル「Llama 4 Maverick」に対して毎秒約110トークンの速度で証明を生成でき、単一の証明は約19 MBである。