An End-to-End Encrypted Control Pipeline for Multi-Agent Coordination via CKKS Homomorphic Encryption

技術要約：マルチエージェント協調のためのエンドツーエンド暗号化制御パイプライン

問題提起
クラウドベースのマルチエージェントシステムの協調は、中央集権的なセンサ融合やグローバルな最適化といった、大きな計算上の利点を提供します。しかし、このアーキテクチャは、エージェントが生の状態データ（位置、速度、センサ値）を平文で中央サーバに送信することを必要とします。これは、敵対的な環境、連合軍による軍事作戦、あるいは競合する組織が関与する設定において、協調の効率性とプライバシーの間の根本的な対立を生じさせます。完全準同型暗号（FHE）は、暗号文に対して復号なしで計算を行うことを可能にすることで、理論的にはこの問題を解決しますが、その深刻な算術的制約（具体的には、除算、比較、および複雑な行列演算のネイティブサポートの欠如）により、完全な制御ループの実装を歴史的に阻んできました。既存の研究は、個別のコンポーネント（コントローラ、推定器、または最適化）を個別に扱ってきましたが、マルチエージェントのフォーメーション制御のための統一されたエンドツーエンドの暗号化フレームワークは、これまで存在しませんでした。

手法
著者らは、CKKSスキームの暗号化データ上で完全に動作する、線形時不変（LTI）マルチエージェントシステムのためのエンドツーエンド暗号化制御パイプラインを提案しています。この設計は、CKKSスキームに固有の3つの基本演算、すなわち、要素ごとの加算、要素ごとの（アダマール）乗算、および巡回回転に厳密に従っています。

主な手法的な適応策は以下の通りです：

1. ゲインの事前計算： 非CKKS演算（行列の逆行列計算やオンラインでのリカッチ方程式の求解など）を避けるため、本システムは事前計算された定常状態カルマンゲイン（$K_{ss}$）およびフィードバックゲイン（$K, K_r$）を採用しています。これらは暗号文に対する平文オペランドとして適用されます。これは、暗号文同士の演算よりも、暗号文と平文の演算の方がコストが大幅に低く、ノイズも少ないというコストの非対称性を活用したものです。
2. ラプラシアンのための対角法： コンセンサス制御則は、グラフラプラシアン（$L \otimes I_n$）を暗号化された状態ベクトルに適用する必要があります。著者らは、ラプラシアンを巡回対角成分の和に分解する「対角法」を利用しています。各対角成分は、単一のCKKS回転とそれに続く平文マスクを介して適用されます。これにより、コンセンサス段階のコストは、行列の次元ではなく、非ゼロの巡回対角成分の数に応じてスケールします。これにより、リング、トーラス、完全グラフのトポロジーを統一されたフレームワーク内で扱うことが可能になります。
3. パイプライン・アーキテクチャ： 制御ループは5つのステージで実現されます：
   • センシング： エージェントが計測値を暗号化し、コーディネータに送信する。
   • 状態推定： コーディネータは、定常状態カルマンフィルタ（対角法を用いた行列・ベクトル積）を用いて、暗号化された状態推定値を更新する。
   • 状態伝播： システム行列 $A$ が暗号化された状態に適用される。
   • コンセンサス制御： グラフラプラシアンが適用され、コンセンサス結合項が計算される。
   • アクチュエーション： コーディネータは暗号化された制御入力を返し、エージェントはそれを復号して実行する。
4. ブートストラップ管理： CKKSの有限な乗算深度を管理するため、システムは周期的なブートストラップ（暗号文の更新）を実行します。著者らは、この周期的なリフレッシュを、誤差ダイナミクスにおけるインパルス状の擾乱としてモデル化しています。

主な貢献
本論文には、主に2つの貢献があります。

1. 統一された暗号化パイプライン： センシング、推定、伝播、およびコンセンサスを単一のCKKS適合パイプラインに統合した、マルチエージェントのフォーメーション制御のための初の完全な制御チェーンを提示しています。対角法が、単なる巡回グラフ（リングなど）だけでなく、非巡回トポロジー（トーラスグラフなど）を効率的に扱えることを示しています。
2. エンドツーエンドの誤差解析： 著者らは、形式的な安定性解析と閉形式の定常状態誤差界を導出しています。コントローラとオブザーバのダイナミクスを分離するために分離原理を適用し、周期的なブートストラップを離散時間インパルス擾乱としてモデル化しています。彼らは、定常状態誤差球 $\varepsilon_{ss} = \bar{\delta}_{eff} / (1 - \rho_{cl}^{T_{boot}})$ を導出し、ここで $\rho_{cl}$ は閉ループ・スペクトル半径、$T_{boot}$ はブートストラップ周期です。これにより、CKKSパラメータ、通信トポロジー、および追従精度を直接結びつける設計式を提供しています。

結果
本フレームワークは、OpenFHE.jlを用い、リング、$3 \times 3$ トーラス、および完全グラフの3つのトポロジーにおける $M=9$ の二重積分器エージェントのフォーメーション制御シナリオで検証されました。

• 安定性： システムは、すべてのトポロジーにおいて、暗号化下での安定した閉ループ動作を維持しました。
• 精度： 暗号化された軌跡は、平文の軌跡と視覚的に区別がつかないものでした。追従誤差は有界であり、暗号化に起因するギャップは約$10^{-6}$で安定しており、これは算術の累積ではなくブートストラップ・ノイズによって支配されていました。
• 計算コスト： コンセンサス段階のコストは、非ゼロの巡回対角成分の数（リングで3、トーラスで7、完全グラフで9）に対して線形にスケールしました。パイプラインの総ステップ時間は約5.5秒であり、更新レートは約0.18 Hzでした。著者らは、このレートは遅いものの、秒単位のダイナミクスを持つ監督協調アプリケーションには実行可能であると述べています。
• ノイズ挙動： 閉ループフィードバックは、CKKSノイズの蓄積を効果的に抑制し、誤差の発散を防ぎました。一方で、開ループのコンセンサスでは、補正的な計測がないために誤差が増大しました。

意義
本論文は、制御サイクルのすべてのステージを単一のパイプラインに接続することで、エンドツーエンドの誤差保証を備えた、制御のループを閉じたと主張しています。これは、制御設計がCKKSの特定の算術的制約とノイズ特性を考慮する限り、FHEがマルチエージェントの協調に実用的に適用可能であることを確立しています。導出された誤差界は、実務者に対し、プライバシーと精度のトレードオフを定量化するためのツールを提供し、特定の性能要件を満たすためにCKKSパラメータ（リング次元）と制御ゲイン（スペクトル半径）を調整することを可能にします。本研究は、現在のFHEの制限により、本フレームワークが低速ダイナミクスのアプリケーションに限定されているものの、継続的な加速化の取り組みによって、将来的に高速な暗号化制御が実用的になる可能性を示唆しています。