Anthropic、LLM推論のzk証明「FlashProve」を公開 H100で約110tok/s

AnthropicのTeam Frontier Red Teamは2026年11月2日、LLMの推論結果を暗号学的に検証するzkSNARKベースのシステム「FlashProve」を公開しました。Llama 4 Maverick(400BパラメータのMoE)で、単一のH100 GPUが約110 tokens/秒で証明を生成します。

AnthropicはClaudeを開発する企業です。今回の著者にはAnthropicのRoy Rinbergらのほか、StarkWare、RESI、Succinct、EPFL、MITの所属者が名を連ねています。

何が新しいか

FlashProveは、モデル提供者がモデルにコミットし、各レスポンスがそのモデルから生成されたことを証明する「provable inference」の実装です。ユーザーは重みを知らず、モデルを自分で動かす計算資源がなくても検証できます。証明は重みを隠しますが、アーキテクチャを隠すことは目的としていません。原文によると、ClaudeがzkSNARKの改良を担い、既存のオープンソース実装より桁違いに高速なシステムを構築しました。Claudeの設計判断は評価が難しいことがあるため、チームはセキュリティ保証のトップレベルの主張をLeanで監査可能な形にしています。

性能

項目	値
対象モデル	Llama 4 Maverick(400B、MoE)
条件	4-bit quantized weights、prefillでinteger arithmetic
ハードウェア	単一のH100 GPU
証明生成速度	約110 tokens/秒
証明サイズ	約19 MB(1,024-token requestあたり)
GPU時間	vLLMで同じ長さのプロンプトを処理する場合の約70〜95倍

公開物と利用条件

Anthropicは次の5つの成果物を公開しました。

• ブログ記事
• 技術レポート
• Claudeが書いたプロトコル仕様書
• 実行可能コード(prover、C++の高速verifier、Leanのprovably correct verifier)
• トップレベルの数学的主張のLean証明と、Lean定理を監査するためのinteractive visualizer

コード、Lean proofs、documentationのライセンスはApache 2.0です。チームは今回の公開を完成した研究計画ではなく中間的な進展と位置づけ、他者が利用・改善することを目的としています。

想定される用途

原文は次の用途を挙げています。

• ペーシング・規制: 規制当局が一定期間の推論リクエストの証明を求め、ハードウェアが主張通りのモデルの推論に使われていることを、独自情報を知ることなく確認する。ただし、裏で学習していないことまでは示せません。
• 改ざん検出: プロバイダーがレスポンスごとに、期待される重みへのコミットメントに結び付いた有効なzkSNARKをサーバーに要求し、侵害されたサーバーや別モデルへのすり替えを検出する。
• ルーティングサービス: 第三者ルーティング経由の利用者が、支払ったモデルからトークンが来たことを確認する。
• テキストの出所証明: 特定のモデルで脆弱性スキャンなどを行ったという主張を検証する。

AnthropicはFrontier Safety Roadmapで2026年9月30日までにprovable inferenceのプロトタイプを開発する目標を掲げ、推論トラフィックへの署名と信頼済みサーバーでの再計算を行う別プロジェクトでこれを達成しています。FlashProveは同じ目的を別の手法で追う取り組みです。