[論文レビュー] On the Capacity of Secure Distributed Batch Matrix Multiplication

Zhuqing Jia, Syed A. Jafar|arXiv (Cornell University)|Aug 19, 2019

Stochastic Gradient Optimization Techniques参考文献 33被引用数 17

ひとこと要約

本稿は、X-セキュアコーディング制約下で、安全分散バッチ行列乗算（SDBMM）の容量を確立し、新たな符号化方式を導入することで、通信効率が最適化された。容量は $(1 - 2X/N)^+$ と $(1 - X/N)^+$ の間で有界であり、外積の場合は正確に $(1 - X/N)^+$、内積の場合はベクトル長が増加するにつれて $(1 - 2X/N)^+$ に近づく。クロス部分空間整合とスカラー加法変換を用いることで、効率的な安全計算が可能となる。

ABSTRACT

The problem of secure distributed batch matrix multiplication (SDBMM) studies the communication efficiency of retrieving a sequence of desired matrix products ${\bf AB}$ $=$ $({\bf A}_1{\bf B}_1,$ ${\bf A}_2{\bf B}_2,$ $\cdots,$ ${\bf A}_S{\bf B}_S)$ from $N$ distributed servers where the constituent matrices ${\bf A}=({\bf A}_1, {\bf A}_2, \cdots, {\bf A}_S)$ and ${\bf B}=({\bf B}_1, {\bf B}_2,\cdots,{\bf B}_S)$ are stored in $X$-secure coded form, i.e., any group of up to $X$ colluding servers learn nothing about ${\bf A, B}$. It is assumed that ${\bf A}_s\in\mathbb{F}_q^{L imes K}, {\bf B}_s\in\mathbb{F}_q^{K imes M}, s\in\{1,2,\cdots, S\}$ are uniformly and independently distributed and $\mathbb{F}_q$ is a large finite field. The rate of an SDBMM scheme is defined as the ratio of the number of bits of desired information that is retrieved, to the total number of bits downloaded on average. The supremum of achievable rates is called the capacity of SDBMM. In this work we explore the capacity of SDBMM, as well as several of its variants, e.g., where the user may already have either ${\bf A}$ or ${\bf B}$ available as side-information, and/or where the security constraint for either ${\bf A}$ or ${\bf B}$ may be relaxed. We obtain converse bounds, as well as achievable schemes for various cases of SDBMM, depending on the $L, K, M, N, X$ parameters, and identify parameter regimes where these bounds match. A remarkable aspect of our upper bounds is a connection between SDBMM and a form of private information retrieval (PIR) problem, known as multi-message $X$-secure $T$-private information retrieval (MM-XSTPIR). Notable features of our achievable schemes include the use of cross-subspace alignment and a transformation argument that converts a scalar multiplication problem into a scalar addition problem, allowing a surprisingly efficient solution.

研究の動機と目的

• X-セキュアコーディング制約下で、任意のX台の協調するサーバーが入力行列について何も学習できない条件下で、安全分散バッチ行列乗算（SDBMM）の容量を特定すること。
• ユーザーが側面情報（例えば行列AやBへのアクセス）を持つ場合や、一方の行列に対してセキュリティ制約が緩和される場合を含む、SDBMMの変種を分析すること。
• 特にKが大きい場合のL, K, M, N, Xのさまざまなパrameter領域における、タイトな逆問題境界と実現可能方式を確立すること。
• SDBMMと多メッセージX-セキュアTプライベート情報検索（MM-XSTPIR）との深い関係を明らかにし、新たな上界を導出すること。
• 特にクロス部分空間整合とスカラー乗算からスカラー加法への変換という、安全分散計算における高い通信効率を実現する新規符号化技術を開発すること。

提案手法

• スカラー乗算問題をスカラー加法問題に変換する変換を提案し、構造的符号化により効率的な安全計算を可能にする。
• 干渉を複数のサーバーにまたがって整合させつつ、プライバシーを保持し、ダウンロードコストを最小化するため、クロス部分空間整合を採用する。
• SDBMMを多メッセージX-セキュアTプライベート情報検索（MM-XSTPIR）の変種としてモデル化し、既知のPIR容量結果を活用することで、逆問題境界を導出する。
• 独立性および一様性の仮定の下で、大きな有限体 $\mathbb{F}_q$ におけるランダム行列理論と漸近的解析を用いて、行列積のエントロピー境界を確立する。
• MDS符号および多項式符号に基づく実現可能方式を構築し、Xセキュリティ制約を満たす安全バッチ行列乗算設定に適応する。
• 行列ブロック（A₁, A₂, B₁, B₂）間のエントロピー関係を分析し、特に $K \leq \min(L,M)$、$M \leq \min(L,K)$、または $L \leq \min(K,M)$ の場合に、行列積 $\mathbf{A}\mathbf{B}$ のエントロピーのタイトな境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 行列がN台のサーバーにX-セキュア符号化形式で格納されている場合、安全分散バッチ行列乗算の最大実現可能レート（容量）は何か？
• RQ2 SDBMMの容量は、サーバー数Nと協調するサーバー数Xにどのように依存するか？
• RQ3 ユーザーが既に行列AやBを所有するといった側面情報が、SDBMMの実現可能レートに与える影響は何か？
• RQ4 行列の一方（AまたはB）に対してセキュリティ制約を緩和すると、SDBMMの容量にどのような影響があるか？
• RQ5 SDBMMとプライベート情報検索（PIR）、特に多メッセージX-セキュアTプライベート情報検索（MM-XSTPIR）との根本的関係は何か？

主な発見

• 十分に大きな $K$（例：$K > 2\min(L,M)$）に対して、SDBMMの容量は $(1 - 2X/N)^+ \leq C < (1 - X/N)^+$ で有界であり、特定の領域では上界がタイトである。
• 2つのベクトルのバッチ外積に対しては、容量が正確に $(1 - X/N)^+$ に達し、最適な符号化と整合が達成される。
• 長さの長い2つのベクトルのバッチ内積に対しては、ベクトル長が無限大に近づくにつれて、容量は $(1 - 2X/N)^+$ に近づく。
• 逆問題境界は、MM-XSTPIRへの新しい接続を通じて導出され、SDBMM容量がプライベートリクエスト制約によって根本的に制限されることを示している。
• 提案された符号化方式は、クロス部分空間整合とスカラー乗算からスカラー加法への変換を用いることで、外積の場合に容量に到達する。
• $K \leq \min(L,M)$ の場合、$q$-進単位で行列積 $\mathbf{A}\mathbf{B}$ のエントロピーは正確に $LK + KM - K^2$ であり、情報理論的下限と上限と一致するため、タイトであることが確認される。