アンソロピック、LLMの検証可能推論で進捗を発表
Anthropic は2026年11月1日(現地時間)、大規模言語モデル (LLM) の推論の正当性を暗号技術で検証可能にするシステム「FlashProve」の進捗を発表した。ユーザーがモデルからの応答が、開発者が主張する特定のモデルによって生成されたものであるかを検証可能にすることを目指す。このシステムは、ゼロ知識簡潔非対話型知識証明 (zkSNARK) という強力な暗号証明技術を応用し、モデルの重みを隠蔽しつつ検証を可能にする。同社は、FlashProveがH100 GPU上で400Bパラメータモデルに対して約110トークン/秒の速度で証明を生成できると報告している。