[論文レビュー] Capacity-Achieving Private Information Retrieval Codes with Optimal Message Size and Upload Cost

Chao Tian, Hua Sun+1 more|arXiv (Cornell University)|Aug 22, 2018

Cryptography and Data Security参考文献 44被引用数 13

ひとこと要約

本稿では、情報理論的容量を達成する新しい非対称プライベート情報抽出（PIR）符号を提案する。この符号は、容量を達成する線形符号の中で最適なメッセージサイズ（N−1ビット）と最小のアップロードコスト（N(K−1)log₂Nビット）を実現する。構成はクエリと応答構造における非対称性を活用しており、アーベル群上の分解可能符号の逆問題解析を通じて最適性が証明され、対称PIR符号との間の橋渡しも確立される。

ABSTRACT

We propose a new capacity-achieving code for the private information retrieval (PIR) problem, and show that it has the minimum message size (being one less than the number of servers) and the minimum upload cost (being roughly linear in the number of messages) among a general class of capacity-achieving codes, and in particular, among all capacity-achieving linear codes. Different from existing code constructions, the proposed code is asymmetric, and this asymmetry appears to be the key factor leading to the optimal message size and the optimal upload cost. The converse results on the message size and the upload cost are obtained by a strategic analysis of the information theoretic proof of the PIR capacity, from which a set of critical properties of any capacity-achieving code in the code class of interest is extracted. The symmetry structure of the PIR problem is then analyzed, which allows us to construct symmetric codes from asymmetric ones, yielding a meaningful bridge between the proposed code and existing ones in the literature.

研究の動機と目的

• 実用的導入を想定した、最小のメッセージサイズとアップロードコストを有する容量達成PIR符号の設計。
• PIR容量の逆問題証明を用いた、容量達成符号の根本的構造的性質の同定。
• 対称性分解を用いて、非対称および対称PIR符号構成の間の理論的橋渡しの確立。
• アーベル群上での分解可能で容量を達成する符号のクラス内において、メッセージサイズとアップロードコストの最適性の特定。

提案手法

• クエリと応答関数を最適化することで、メッセージサイズとアップロードコストを最小化する新しい非対称PIR符号構成を提案。
• PIR容量の情報理論的逆問題証明を分析し、アーベル群上での分解可能符号の重要な性質を抽出。
• クエリ-応答プロセスにおけるマークフ・チェーンと容量証明の構造を活用して、メッセージサイズとアップロードコストに対する新しい逆問題境界を導出。
• 対称性分解を用いて非対称符号と対称符号を関連付け、非対称符号から対称PIR符号を構成可能にする。
• 群代数と行列ベースの応答関数を用いて決定的応答をモデル化し、プライバシーと正しさを保証。
• 提案符号のメッセージサイズとアップロードコストが導出された逆問題境界と一致することを示し、最適性を検証。

実験結果

リサーチクエスチョン

• RQ1 N台のサーバーに対して、メッセージサイズがサーバー数より1少ない（N−1ビット）容量達成PIR符号を構築可能か？
• RQ2 すべての容量達成線形符号の中で、最小のアップロードコスト（N(K−1)log₂Nビット）を達成可能か？
• RQ3 メッセージサイズとアップロードコストにおいて最適となるためには、容量達成符号が満たすべき構造的性質は何か？
• RQ4 符号設計における非対称性は、対称構成と比較して、メッセージサイズとアップロードコストの改善をもたらすか？
• RQ5 サーバーインデックス、ファイルインデックス、および応答関数における対称性の観点から、非対称PIR符号と対称PIR符号の関係は何か？

主な発見

• 提案されたPIR符号は、検討されたクラス内のすべての容量達成符号において最適であるとされる、正確にN−1ビットのメッセージサイズで情報理論的容量を達成する。
• 提案符号のアップロードコストはN(K−1)log₂Nビットであり、すべての容量達成線形符号の中で最小であることが示された。
• 逆問題解析により、アーベル群上での分解可能符号の容量達成に必要な、応答関数における決定的依存性および独立性構造といった重要な性質が同定された。
• 逆問題証明における等号条件から、提案符号がメッセージサイズとアップロードコストにおける最適性の必要十分条件を満たしていることが明らかになった。
• 非対称PIR符号が対称対応を生成可能である対称性分解フレームワークが開発され、非対称および対称PIR構成の間の深い構造的関係が明らかになった。
• 符号は任意の有限アーベル群上で適用可能であり、特に二進体上では実装上の利点を持つ二進線形符号が得られる。