技術要約：HTTP 402がブロックチェーンと出会う時：新興のx402決済におけるリスク

問題提起

x402は、Web APIおよび自律型AIエージェント向けに設計された新興の決済プロトコルであり、強制力のあるポリシー制約を備えた、ほぼ即時のマイクロペイメントを可能にする。従来のカード決済とは異なり、x402は支払いの検証とオンチェーン決済を分離し、後者を第三者のファシリテーター（例：Coinbase、Cloudflare、AWS）に委任する。x402は急速な普及を見せており、メインネット上で多大な活動（1億5,000万件以上のトランザクションと4,000万ドルのボリューム）が記録されているが、そのセキュリティ体制については十分に特性化されていない。

核心的な問題は、共有された信頼を担う仲介者としてのファシリテーターの役割にある。ファシリテーターは、数千の独立したマーチャントに対して、検証ロジックと決済実行を集中させる。この中央集権化は、大きな「ブラスト半径（影響範囲）」を生み出す。すなわち、ファシリテーターにおける単一の欠陥が、アクセスの誤認、支払いの誤送金、あるいは決済を攻撃者が制御可能なコスト・シンク（資金消費源）へと変貌させる可能性がある。既存の研究はクライアント側の脅威（例：Sybil攻撃、エージェント誘導）に焦点を当ててきたが、現実世界のデプロイメントにおけるファシリテーターを介した検証および決済のセキュリティについては、ほとんど未探索のままである。

著者らは、このシステムを分析する上で2つの主要な課題を特定している：

1. セマンティクスの乖離（Semantics Gaps）： ファシリテーターは、異なる信頼とタイミングの仮定を持つ異種システム（HTTPリクエストのセマンティクス、検証ロジック、およびブロックチェーン実行）を橋渡ししている。
2. 観測可能性の制限（Limited Observability）： 現実世界のファシリテーターは、多くの場合、ソースコードのないブラックボックスAPIであり、カスタマイズされた機能を持つため、コード中心の分析は不可能である。

手法

これらの課題に対処するため、著者らはルール導出、ブラックボックス・テスト、およびオンチェーン測定を組み合わせた体系的なアプローチを提案している。

1. セキュリティルールの導出

著者らはx402のワークフローと、サポートされている支払証明形式（EVM/Base上のERC-3009およびSolana上のSPL Token転送）を分析し、**8つのセキュリティルール（SR1–SR8）**を抽出した：

• 認可の正確性（SR1–SR4）： 証明がサーバーの要件と一致していること、署名が真正であること、鮮度に関する制約が強制されていること、およびオンチェーンでの決済が実際に発生した場合にのみ決済成功が報告されることを保証する。
• 実行の安全性（SR5–SR8）： 経済的に無意味な支払いが拒否されること、スポンサーが支払うコストが制限されていること、時間依存の条件が決済前に再検証されること、およびオンチェーン実行が曖昧でない許可されたセマンティクスに限定されていることを保証する。

2. X402SCOPE：ブラックボックス・テストツール

著者らは、ソースコードやプライベートキーなしで、異種混合のファシリテーターを評価するための半自動ブラックボックス・ツールであるX402SCOPEを開発した。

• 機能認識ワークフロー： ツールはまず、ファシリテーターが有効にしている機能（サポートされているネットワーク、証明タイプ）を検出し、その後、適用可能なテストのみを生成する。
• ルールに基づいたミューテーション： ツールは、セキュリティルール（例：署名の改ざん、金額の変更、有効期間のテスト）に基づいて、支払証明と要件を変化（ミューテーション）させる。
• オラクル： HTTPレスポンスとオンチェーンのトランザクション・レシートを使用して、ルールが違反されたかどうか（例：オンチェーンでトランザクションがリバートしたにもかかわらず、ファシリテーターが「成功」を報告した場合）を判断する。

3. 大規模なオンチェーン測定

制御されたテストを補完するため、著者らはBaseおよびSolana上の1億1,900万件のx402関連トランザクションを分析した。この測定により、採用状況、ファシリテーターの中央集権化、およびエコシステムレベルのリスク指標（例：決済失敗率、ガス代、ATA作成パターン）を特性化している。

主な貢献

1. x402ファシリテーターの初のセキュリティ分析： 本論文は、現実世界のx402デプロイメントにおける認可の正確性と実行の安全性に関する最初の体系的な研究を提示している。
2. 8つのセキュリティルールの定義： 多様なネットワークと証明形式にわたって、支払いの正確性と安全性に必要な不変量（インバリアント）を捉える統一されたルールセット（SR1–SR8）を定義した。
3. 4つの新しい攻撃ベクトルの発見： ルール違反に基づき、著者らは以下の攻撃ベクトルを特定した：
   • フリーショッピング（Free Shopping）： 検証と決済の不一致やリプレイ攻撃により、支払なしでリソースを取得する。
   • 資産窃盗（Asset Theft）： 欠陥のある決済セマンティクス（例：悪意のあるERC-6492コール）を介して、資金を攻撃者が制御するアカウントへ転送する。
   • サービス拒否（Service Denial）： 検証はされるがオンチェーンで失敗する証明を送信することで、ファシリテーターのリソース（ガス/手数料）を枯渇させる。
   • ガス濫用（Gas Abuse）： 攻撃者が制御する実行パス（例：コントラクトのデプロイ）のために、ファシリテーターに過剰なガス代を支払わせる。
4. X402SCOPEツール： 複数のネットワークにわたってブラックボックス・ファシリテーターを評価できるスケーラブルなテストフレームワーク。

結果

著者らは、15の主要なx402ファシリテーター（観測されたトランザクションの99%をカバーし、6万件以上のセラーを対象）を評価した。

• 広範な非コンプライアンス： 評価されたすべてのファシリテーターが少なくとも1つのセキュリティルールに違反しており、すべてのルールが少なくとも1つのプラットフォームによって違反されていた。合計49件のルール違反が検出され、これは31件の未知の脆弱性に相当する。
• 支配的なリスク：
  • サービス拒否とコスト増幅： 15件中14件のファシリテーターがSR5（ゼロ値または決済不能な支払いを許可すること）に違反しており、スポンサーによるガス消費を招いている。
  • フリーショッピング： ハイリスクに分類されたケースが10件あり、そのうち2件は、マーチャントが決済の確定前にリソースを解放してしまう完全なエクスプロイトとして検証された。
  • 資産窃盗とガス濫用： 頻度は低いものの、これらは最も高い影響を持っていた。ある主要なファシリテーターは、信頼できないERC-6492デプロイメタデータを許可しており、これにより攻撃者がファシリテーターが資金を出す任意のコール（例：トークンの承認）を実行できることが判明した。
• エコシステム測定：
  • 中央集権化： エコシステムは高度に集中している。Coinbaseが約7,700万件のトランザクション（ボリュームの77%）を占めており、93%以上のサーバーが単一のファシリテーターに紐付けられている。
  • 決済失敗： 低いリバート率（Baseで1.99%、Solanaで0.1%未満）にもかかわらず、決済失敗によってすでに20万2,000ドル以上のガス代と手数料が消費されている。
  • ATA濫用： Solanaにおいて、関連トークンアカウント（ATA）作成の不審なパターンが観察された。3つのファシリテーターがこれらのイベントの80%以上を占めており、約9,500ドルのレント預託金をロックしている。

重要性と主張

本論文は、x402の急速な普及が、現在、ファシリテーターに対する標準化されたセキュリティ・ベースラインの欠如によって損なわれていると主張している。著者らは以下のように論じている：

• システム的な脆弱性： ファシリテータへの信頼の中央集権化は、実装のバグや設定ミスがエコシステム全体に連鎖的な失敗を引き起こし、数千のマーチャントと数百万のユーザーに影響を与えることを意味する。
• セマンティクスの乖離： 検証と決済の分離は、「チェック時と使用時の間の（Time-of-Check to Time-of-Use: TOCTTOU）」脆弱性の表面を生み出しており、これは現在のSDK実装（例：決済確定前にリソースを解放する等）においてしばしば見落とされている。
• 実行可能なベースライン： 提案されたセキュリティルールとX402SCOPEツールは、x402デプロイメントを強化するための実用的なベースラインを提供する。著者らは、得られた知見を影響を受ける当事者（Coinbaseを含む）に責任を持って開示したことを記しており、彼らは問題を認め、緩和策の展開を開始している。

著者らは、本研究がすべての可能な失敗（例：悪意のあるファシリテーターやウォレットの侵害）をカバーすることを目的としているのではなく、現在のデプロイメント環境におけるプロトコルへの非準拠および**実装のドリフト（乖離）**を明確にターゲットとしていることを強調している。結論として、x402の強化には、ネットワーク、証明形式、および統合パターンを横断した、共通のルールベースのセキュリティアプローチが必要であるとしている。