[論文レビュー] Capacity-Achieving Private Information Retrieval Codes from MDS-Coded Databases with Minimum Message Size

Ruida Zhou, Chao Tian+2 more|arXiv (Cornell University)|Mar 19, 2019

Cryptography and Data Security参考文献 11被引用数 9

ひとこと要約

本稿は、最小のメッセージサイズを達成するMDS符号化データベース向けの容量を達成する線形プライベート情報検索（PIR）符号を提示する。$K > T/\gcd(N,T)$ のとき、メッセージサイズを $\operatorname{\text{lcm}}(N-T,T)$ にまで低減し、先行研究と比較してサブパケット化を顕著に削減する。著者は、多様性の対称性に依存しないリバースエンジニアリングアプローチに基づく二つの構成——構成Aと構成B——を導入し、より小さなメッセージサイズと向上したアップロード効率を実現しながら、最適なダウンロードコストを維持する。

ABSTRACT

We consider constructing capacity-achieving linear codes with minimum message size for private information retrieval (PIR) from $N$ non-colluding databases, where each message is coded using maximum distance separable (MDS) codes, such that it can be recovered from accessing the contents of any $T$ databases. It is shown that the minimum message size (sometimes also referred to as the sub-packetization factor) is significantly, in fact exponentially, lower than previously believed. More precisely, when $K>T/ extbf{gcd}(N,T)$ where $K$ is the total number of messages in the system and $ extbf{gcd}(\cdot,\cdot)$ means the greatest common divisor, we establish, by providing both novel code constructions and a matching converse, the minimum message size as $ extbf{lcm}(N-T,T)$, where $ extbf{lcm}(\cdot,\cdot)$ means the least common multiple. On the other hand, when $K$ is small, we show that it is in fact possible to design codes with a message size even smaller than $ extbf{lcm}(N-T,T)$.

研究の動機と目的

• MDS符号化データベースにおける容量を達成するPIR符号のメッセージサイズ（サブパケット化要因）を低減すること。これは実用的導入とシステム効率にとって極めて重要である。
• 容量を達成するPIR符号において、メッセージサイズがメッセージ数 $K$ と共に指数関数的に増大しなければならないという一般的な信念に挑戦すること。
• MDS符号化データベースに対して情報理論的PIR容量を達成する、最小のメッセージサイズを持つ明示的な線形符号を構築すること。
• 特定の $K$ の条件下で、$\operatorname{\text{lcm}}(N-T,T)$ が最小メッセージサイズであることを示す一致する逆証明を確立すること。
• 標準的な $\operatorname{\text{lcm}}(N-T,T)$ の境界を超えて、$K$ が小さい場合にさらに小さなメッセージサイズが達成可能かどうかを検討すること。

提案手法

• 最適なダウンロードコストとメッセージサイズ $\operatorname{\text{lcm}}(N-T,T)$ を達成する二つの新しい線形符号構成——構成Aと構成B——を提案。構成Bはより低いアップロードコストを提供する。
• 先行研究における正規PIRに基づくリバースエンジニアリングアプローチを採用したが、追加の整数制約と符号化要件を組み合わせてMDS符号化データベースに適応した。
• 従来、必要不可欠とされていた「多様性の対称性」に依存するのを減らし、より柔軟で効率的な符号設計を可能にした。
• エントロピーと情報理論的不等式を用いて逆証明を導出し、$K > T/\gcd(N,T)$ のとき $\operatorname{\text{lcm}}(N-T,T)$ が最小メッセージサイズであることを示した。
• クエリ分布と条件付きエントロピーを分析し、線形性により $H(A_n^{[k]} \mid W^k, \mathsf{F}=f)$ が整数値を取ることを示し、より鋭い境界を導出可能にした。
• クエリサポート集合 $\mathcal{Q}_n^*$ の概念を導入し、最大最小エントロピーの議論を用いて $H^k$ と $I_n^k$ の下界を導出し、重要な不等式 $H_{n^*}^{\breve{k}} \geq (K-1)I_{n^*}^{\breve{k}}$ を得た。

実験結果

リサーチクエスチョン

• RQ1 MDS符号化データベース向けに、以前の $TN^K$ よりも顕著に小さいメッセージサイズを有する容量を達成するPIR符号を構築可能か？
• RQ2 条件 $K > T/\gcd(N,T)$ の下で、$\operatorname{\text{lcm}}(N-T,T)$ は容量を達成するPIR符号の最小メッセージサイズであるか？
• RQ3 $K$ が小さい場合、$\operatorname{\text{lcm}}(N-T,T)$ よりも小さいメッセージサイズをさらに小さくできるか？
• RQ4 最適なPIR符号がメッセージサイズを最小化するために満たすべき構造的性質（例えば、対称性やクエリ分布）は何か？
• RQ5 均一な応答長さの要件を緩和する（すなわち、可変長応答を許容する）ことで、必要なメッセージサイズはどの程度低減できるか？

主な発見

• 条件 $K > T/\gcd(N,T)$ の下で、MDS符号化データベースからの容量を達成するPIR符号の最小メッセージサイズは $\operatorname{\text{lcm}}(N-T,T)$ であり、以前の $TN^K$ よりも指数関数的に小さい。
• 構成Aと構成Bは、この最小メッセージサイズを達成し、最適なダウンロードコストを維持しており、両方とも線形符号であり、構成Bはより低いアップロードコストを提供する。
• 逆証明により、$K > T/\gcd(N,T)$ の条件下で、$\operatorname{\text{lcm}}(N-T,T)$ よりも小さなメッセージサイズを持つ容量を達成する符号は存在しないことが示された。
• $K$ が小さい場合、$\operatorname{\text{lcm}}(N-T,T)$ よりも厳密に小さいメッセージサイズを持つ符号を設計可能であり、これは状態依存の最適メッセージサイズを示している。
• 提案された符号は多様性の対称性への依存を低減した。これはかつて容量を達成する設計に不可欠であると考えられていたが、より効率的で柔軟な構成を可能にした。
• 解析により、$H_{n^*}^{\breve{k}} \geq (K-1)I_{n^*}^{\breve{k}}$ および $I_{n^*}^{\breve{k}} \geq 1$（$N-T$ が $L$ を割り切らないとき）が得られ、$H^k \geq s = T/\gcd(N,T)$ の下界が得られ、逆証明において中心的な役割を果たした。