🟡 🛡️ セキュリティ 公開日: · 3 分で読めます ·

Microsoft Research:Vega — デジタルアイデンティティ向けZKプルーフ、92ms生成と70%高速な再証明を実現

編集イラスト:Vega — デジタルアイデンティティのZKプルーフ、92ms生成と70%高速な再証明

Microsoft Researchは2026年5月21日、Vegaを発表した。政府文書(年齢・ステータス・資格)の事実を文書自体を開示せずに証明するゼロ知識証明システムだ。標準的なデバイスでの証明生成は92ms、証明サイズは108KB、検証は23msだ。fold-and-reuse provingにより同一クレデンシャルの各後続証明が最大70%高速になる点と、CBORドキュメント全体のパースを回避するルックアップ中心の回路設計が主要なイノベーションだ。Vegaはユーザーに代わって機密データを保存せずに身元を証明する必要があるAIエージェントにとって特に重要だ。

🤖

この記事はAIにより一次情報源から生成されました。

Microsoft Researchは2026年5月21日、Vega — AIエージェントの時代のデジタルアイデンティティのために設計されたゼロ知識証明システム — を発表した。Vegaは長年の具体的な問題を解決する。政府文書(運転免許証、パスポート、IDカード)の事実を、文書自体またはそこに含まれるすべてのデータを開示せずに証明する方法だ。

Vegaシステムの具体的なパフォーマンス数値は?

Vegaは標準的なコンシューマーデバイスで以下のメトリクスを達成する。

  • 92msの証明生成
  • 108KBの証明サイズ
  • 23msの証明検証
  • fold-and-reuse技術による最大70%高速な再証明

Rustで実装され、EU Digital Identity Wallet(EUDIW)標準と2KBのベースドキュメントサイズを使用するモバイル運転免許証(mDL)に対応している。これらのパフォーマンスは重要だ。以前のアイデンティティ向けZKプルーフシステムは秒単位のレイテンシを持っており、インタラクティブなウェブやモバイルのユースケースには遅すぎた。

Vegaはどのように技術的にこれらのパフォーマンスを達成するか?

Microsoft Researchは2つの重要なイノベーションを強調している。

Fold-and-reuse proving — 従来のZKシステムでは各証明をゼロから生成する。Vegaは最初の証明からの中間結果をキャッシュし、同一クレデンシャルの後続証明の高速化に使用する。具体的には、ユーザーが1ヶ月以内に複数回年齢を証明する場合、2回目と3回目の証明は1回目より70%高速になる。

ルックアップ中心の回路設計 — 文書向けの従来のZKプルーフシステムはZK回路内でCBOR(またはJSON)ドキュメント全体をパースする。これは計算コストが非常に高い。Vegaはルックアップテーブルのアプローチを使用し、特定の証明に必要な具体的なフィールドにのみアクセスし、全体のパースオーバーヘッドを回避する。

なぜVegaはAIエージェントに特に重要なのか?

MicrosoftはVegaをAIエージェントのユースケースと明示的に結びつけている。理由は具体的だ。AIエージェントが第三者にユーザーの身元を証明する必要がある場合 — 例えば購入時の年齢確認、特定のサービスへのアクセスのための資格確認、居住ステータスの確認など — 現在のアプローチではエージェントが政府文書の完全なコピーにアクセスできることを要求する。

これは複数の理由から危険だ。第一に、エージェントは侵害される可能性があり(プロンプトインジェクション攻撃)、文書が流出する可能性がある。第二に、エージェントは通常クラウド環境で動作しており、機密データの保存はコンプライアンス上の問題(GDPR、HIPAA)をもたらす。第三に、ユーザーはAIエージェントに元のID文書へのアクセスを与えることに気が進まない。

Vegaは異なる方法で問題を解決する — ユーザーは自分のデバイス(文書が保存されている場所)でZKプルーフを生成し、エージェントにプルーフのみを渡す。エージェントはプルーフを第三者に提出でき、第三者はそれを23msで検証する。文書は一切見ていない。

VegaはどのようにZKエコシステムに位置づけられるか?

Vegaはデジタルアイデンティティ標準をめぐる活動が増加する中で登場した。EU Digital Identity Wallet(EUDIW)はいくつかの加盟国でパイロット展開段階にある。ISO 18013-5 mDL標準は米国やその他の国でますます採用されている。Apple、Google、Microsoftはすべてデジタルアイデンティティを自社のモバイルプラットフォームに統合しつつある。

既存のZKツール(zk-SNARKs、zk-STARKs、Halo2)は強力だが汎用的だ。Vegaは具体的なパフォーマンス目標を持つアイデンティティのユースケースに特化している。これはMicrosoftがEUDIW参照実装や他の業界フォーラムを通じて自社のバリアントの標準化を目指している可能性がある。

企業ユーザーにとって、Vegaはユーザーのプライバシーを損なわずに規制データ(医療、金融、政府)を扱うエージェントワークフローを構築する可能性を開く。MicrosoftがVegaの実装をオープンソースにするか、Azureのマネージドサービスとして提供するかに注目だ。

よくある質問

VegaはZKプルーフ1件を生成するのにどれくらいかかるか?
標準的なデバイスで生成92ms、証明サイズ108KB、検証23ms。
Vegaにおけるfold-and-reuse provingとは何か?
fold-and-reuseはセットアップコストを償却することで、同じクレデンシャルの繰り返し証明を最初の証明より最大70%高速にする技術だ。
なぜVegaはAIエージェントに関連するのか?
ユーザーに代わって行動するAIエージェントは政府文書のコピーを保存せずに身元を証明する必要がある(例えば特定のサービスへの年齢確認)— Vegaはまさにその問題を解決する。