zksnark

Anthropicの研究ブログが流れてきた：FlashProveをオープンソース化。zkSNARKを使って大規模モデルの推論に「検証可能な証明」を付け、この返信が確約された重みセットから実際に生成されたことを証明しつつ、重み自体は明かさない。

注目点：Llama 4 Maverick（約4000億パラメータのMoE、4-bit）では、H100 1基での証明速度は約110 tokens/秒。1024 tokenのリクエストあたりの証明サイズは約19 MB。一般的な24コアCPUで約17秒で検証可能。vLLMによる推論と比べて、GPUコストは約70〜95倍。コード、Leanによる形式証明、プロトコルの説明をまとめてApache 2.0で公開。

まだ研究プロトタイプで、現状は主にMoE、貪欲な整数デコード、コンテキストは約1024まで。アーキテクチャ自体は隠さない。それでもzkがオンチェーンからモデル出力のレイヤーに移ることで、監査やルーティング時のすり替え防止といった用途が、急に現実味を帯びてきた。

#zkSNARK #AI #可验证推理 #Anthropic