[論文レビュー] On Sub-Packetization of Capacity-Achieving PIR Schemes for MDS Coded Databases.

Jingke Xu, Zhifang Zhang|arXiv (Cornell University)|Dec 7, 2017

Cryptography and Data Security被引用数 3

ひとこと要約

この論文は、MDS符号化データベースにおける線形容量達成型プライベート情報検索（PIR）方式の最適なサブパケット化レベルを確立する。最小サブパケット化は $ Kn^{M-1} $ であると証明し、$ n = N / \text{gcd}(N,K) $ とし、この境界に達する方式を提示することで、非自明な符号化PIR設定におけるサブパケット化の最適性を解消する。

ABSTRACT

Consider the problem of private information retrieval (PIR) over a distributed storage system where $M$ records are stored across $N$ servers by using an $[N,K]$ MDS code. For simplicity, this problem is usually referred as the coded-PIR problem. The capacity of coded-PIR with privacy against any individual server was determined by Banawan and Ulukus in 2016, i.e., $\mathcal{C}_{ iny C-PIR}=(1+\frac{K}{N}+\dots+\frac{K^{M-1}}{N^{M-1}})^{-1}$. They also presented a linear capacity-achieving scheme with sub-packetization $KN^{M}$. In this paper we focus on minimizing the sub-packetization for linear capacity-achieving coded-PIR schemes. We prove that the sub-packetization for all linear capacity-achieving coded-PIR schemes in the nontrivial cases (i.e. $N>K\geq 1$ and $M>1$) must be no less than $Kn^{M-1}$, where $n=N/{ m gcd}(N,K)$. Moreover, we design a linear capacity-achieving coded-PIR scheme with sub-packetization $Kn^{M-1}$ for all $N>K\geq 1$ and $M>1$. Therefore, $Kn^{M-1}$ is the optimal sub-packetization for linear capacity-achieving coded-PIR schemes.

研究の動機と目的

• MDS符号化データベースにおける線形容量達成型符号化PIR方式の最小サブパケット化を特定すること。
• 非自明な符号化PIR状況における既知の上界と理論的下界の間のギャップを埋めること。
• 証明された下界に達する構成的手段を提供すること。
• すべての $ N > K \to 1 $ および $ M > 1 $ に対して $ Kn^{M-1} $ が最適なサブパケット化レベルであることを確立すること。
• 線形符号化PIR構成におけるサブパケット化のトレードオフの理解を一般化すること。

提案手法

• 代数的および組合せ的議論を用いて、線形容量達成型符号化PIR方式のサブパケット化に対する理論的下界を導出する。
• 構造化符号化と対称的アクセスパターンに基づく新しい構成を導入し、下界に到達する。
• サブパケット化のスケーリングに重要なパラメータとして $ n = N / \text{gcd}(N,K) $ を定義する。
• サブパケット化 $ Kn^{M-1} $ を持つ線形符号化PIR方式を構築し、証明された下界と一致させる。
• MDS符号の性質とサーバーへのアクセスパターンの対称性を用いて、プライバシーと容量最適性を保証する。
• 線形代数と符号構造を用いて、すべてのクエリが格納記号の線形結合であることを保証し、線形性を維持する。

実験結果

リサーチクエスチョン

• RQ1 非自明な設定（$ N > K \to 1 $、$ M > 1 $）における線形容量達成型符号化PIR方式の最小サブパケット化は何か？
• RQ2 サブパケット化が理論的下界に一致する線形符号化PIR方式を構築可能か？
• RQ3 $ N $ と $ K $ の最大公約数は、符号化PIRにおける最小サブパケット化にどのように影響するか？
• RQ4 $ n = N / \text{gcd}(N,K) $ とすると、$ Kn^{M-1} $ はすべての $ N > K \to 1 $ および $ M > 1 $ において最適なサブパケット化か？
• RQ5 サブパケット化の下界は、容量最適性とプライバシーを維持しながら、構成的に達成可能か？

主な発見

• 非自明な状況（$ N > K \to 1 $、$ M > 1 $）における線形容量達成型符号化PIR方式の最小サブパケット化は $ Kn^{M-1} $ であり、$ n = N / \text{gcd}(N,K) $ である。
• この下界はタイトであり、正確に $ Kn^{M-1} $ のサブパケット化を持つ線形容量達成方式が明示的に構築されたため、下界は達成可能である。
• 従来の $ KN^M $ よりも厳密に小さいサブパケット化境界であり、顕著な低減が達成された。
• 最適性はすべての $ N > K \to 1 $ および $ M > 1 $ に対して成り立ち、非自明なすべての符号化PIR構成をカバーする。
• 構成により、容量最適性とプライバシーを維持しながらサブパケット化を最小化し、理論的境界が達成可能であることを確認した。
• この結果により、線形符号化PIRにおけるサブパケット化最小化の未解決問題が解決され、$ Kn^{M-1} $ が最適値であると確立された。