技術的概要：無線チャネルを介した xMK-CKKS によるプライバシー強化ゼロ次連合学習

1. 問題定義

連合学習（FL）は、エッジデバイスが生データを共有することなく協調的にモデルを訓練することを可能にするが、送信されるモデル更新は推論攻撃に対して脆弱なままである。準同型暗号（HE）は、暗号化されたデータ上でサーバーが計算を可能にすることでプライバシーを保護した集約を可能にするが、既存の「空中伝送（over-the-air）HE」手法は 2 つの決定的な限界に直面している：

1. セキュリティ脆弱性: ほとんどの手法は、すべてのクライアントが秘密鍵を共有する単一鍵 HEに依存している。これは、他のユーザーの更新を復号できる「正直だが好奇（Honest-but-Curious: HBC）」なクライアントに対してシステムを脆弱にし、単一のクライアントの侵害がネットワーク全体を危険にさらす。
2. チャネル推定依存性: 既存の多鍵 HE 実装（特に xMK-CKKS）は、大きな暗号化パラメータ（例えば、法 $q \approx 2^{109}$ から $2^{218}$）を必要とする。空中伝送（OTA）集約と組み合わせると、標準的なチャネル推定および事前等化手法は機能しない。いかなる残留チャネル推定誤差も、復号中に大きな法 $q$ によって乗算され、メッセージ信号（$\Lambda \approx 2^{40}$ でスケーリング）を巨大なノイズフロアに埋没させ、復号失敗を引き起こす。

扱われている中心的な問いは、無線チャネルを推定または補償することなく、多鍵 HE を空中伝送集約と組み合わせることは可能かというものである。

2. 手法

著者らは、ゆっくり変化する、見通し（Line-of-Sight: LoS）優勢な無線チャネル（例：短距離屋内 THz）において、xMK-CKKS（多鍵 HE 方式）とゼロ次（ZO）FLを統合する4 フェーズのプロトコルを提案する。

コアメカニズム：チャネル再送による代数的相殺

このプロトコルは、部分公開鍵と暗号文が単一の通信ラウンド内で同一のチャネル実現を経験することを保証することで、チャネル推定を回避する。これにより、支配的な大規模法暗号化項が復号中に代数的に相殺される。

4 つのフェーズ:

1. 新規鍵集約（アップリンク）: 各デバイス $i$ がその部分公開鍵 $b_i$ を同時に送信する。サーバーは重畳 $\tilde{b}_k = \sum h_{i,k} b_i + \text{noise}$ を受信する。重要なのは、サーバーが $h_{i,k}$ を推定せず、単に $\tilde{b}_k$ をブロードキャストすることである。
2. 暗号化（アップリンク）: デバイスは受信した $\tilde{b}_k$ を公開鍵として使用し、その ZO 勾配推定値（$m_{i,k}$）をエンコードして暗号文 $(c_{0}, c_{1})$ を送信する。サーバーはこれらを空中で集約する。
3. 復号シェア（アップリンク）: サーバーは集約された $c_1$ をブロードキャストする。デバイスは秘密鍵を用いて部分復号シェア $D_j$ を計算し、送信する。
4. 回復（ダウンリンク）: サーバーは集約された暗号文と復号シェアを組み合わせる。公開鍵 $\tilde{b}_k$ と復号シェアが同一のチャネル係数 $h_{i,k}$ を用いて生成されたため、大きな法 $q$ を含む項が代数的に相殺される：
   $$\tilde{b}_k + \tilde{S}_k a = \text{small noise terms}$$
   ここで $\tilde{S}_k$ は秘密鍵のチャネル重み付き和である。結果として、$q$ に依存しない有界ノイズ項が得られ、サーバーは集約されたメッセージを回復できる。

ゼロ次統合

このプロトコルはゼロ次勾配推定を利用し、各デバイスはラウンドあたり単一の暗号化スカラーのみを送信する。これにより、通信および暗号化のオーバーヘッドがモデル次元 $d$ に依存せず、方式のスケーラビリティが保証される。チャネル擾乱は、除去すべき誤差ではなく、学習アルゴリズム内の有界摂動として扱われる。

3. 主要な貢献

• チャネル無視型多鍵 HE: 本論文は、チャネル状態情報（CSI）の取得や事前等化なしに、共有無線チャネル上で xMK-CKKS 集約を可能にする最初のプロトコルを提案する。
• 代数的相殺: 部分公開鍵と暗号文を同一のチャネル実現を通じて再送することで、$q$ スケールの暗号化項が代数的に相殺されることを実証する。これにより、チャネル不確実性が、さもなければ復号を破壊する $q$ 増幅誤差として現れることを防ぐ。
• 収束解析: 著者らは、本プロトコルが無視可能なノイズフロアまで標準的な ZO-FL 収束率 $O(1/\sqrt{K})$ を維持することを証明する。残留チャネルおよび暗号化ノイズは、有界摂動として勾配推定器に入る。
• 強化されたセキュリティ: この方式は、最大 $N-1$ 人のクライアントと共謀する HBC サーバーに対して安全であり、単一の侵害されたクライアントがシステムを破綻させる単一鍵 HE 方式よりも大幅に改善されている。
• 実現可能性の検証: MNIST に関する数値結果は、標準的な RLWE パラメータ（$n=4096, 8192$）を用いてプロトコルが機能し、復号されたノイズがチャネルノイズと比較して無視できることを検証する。

4. 結果

• 収束: 理論的解析（定理 2）は、アルゴリズムがノイズフロア $\rho$ を伴う最適解の近傍に収束することを示す。テストされたパラメータ（$n=4096/8192$, $\Lambda=2^{40}$）において、ノイズフロアは約 $10^{-16}$ であり、典型的なチャネルノイズと比較して無視できる。
• 性能: MNIST 上での実験（0 対 1 分類）は、暗号化されたプロトコルが、暗号化されていないベースラインのテスト精度の1% 以内を達成することを示す。
• 代替手法の失敗: 本論文は、標準的な CSI ベースの事前等化（ゼロフォースまたは MMSE）が多鍵設定では完全に失敗することを示す。小さなチャネル推定誤差（$\sigma_{pilot}=0.1$）であっても、残留誤差は $q$ によって乗算され、訓練損失が直ちに発散する（$10^{14}$ 付近で飽和）。
• オーバーヘッド: デバイスあたりの通信オーバーヘッドはモデル次元に依存しない。1 THz の帯域幅を使用すると、送信時間は 8ms 未満となり、静的屋内 THz チャネルのコヒーレンス時間内に収まる。

5. 意義と主張

本論文は、単一鍵 CKKSはビームフォーミングを用いて空中で大きな法にスケール可能であると主張するが、多鍵設定は根本的に異なる。多鍵 HE において、大きな鍵項の相殺は、集約された公開鍵と復号シェアとの間の代数的同一性に依存する。これらの項が異なるチャネル係数を経験する場合（推定誤差または時間変化するチャネルによる）、相殺は失敗し、$q$ スケールの残留がメッセージを破壊する。

この研究の意義は、チャネル推定を犠牲にしてチャネルの一貫性を確保することにより、この対立を解決する点にある。鍵とデータを同一のフェージング実現を通じて再送することで、プロトコルはチャネルを知る必要なく代数的相殺が成立することを保証する。これにより以下が可能となる：

1. より強力なセキュリティ: 共謀に対する多鍵保護。
2. 堅牢性: 複雑な CSI 取得やビームフォーミングなしでの動作。
3. スケーラビリティ: モデルサイズに伴って増加しないゼロ次通信オーバーヘッド。

著者らは、プロトコルは現在、ゆっくり変化する LoS 優勢リンク（固定屋内 THz など）に適しているが、強力な暗号的プライバシーと空中計算の効率性を組み合わせるための基礎的な手法を確立したと結論づける。将来の研究として、鍵再送オーバーヘッドの削減と、プロトコルと差分プライバシーの組み合わせが提案されている。