[論文レビュー] A Capacity-Achieving PIR Protocol for Distributed Storage Using an Arbitrary Linear Code.

Hsuan-Yin Lin, Siddhartha Kumar+2 more|arXiv (Cornell University)|Jan 13, 2018

Advanced Data Storage Technologies参考文献 13被引用数 4

ひとこと要約

本稿は、任意の線形符号を用いた分散ストレージシステムにおけるプライベート情報検索（PIR）プロトコルを提案し、PIR容量を達成する。PIRレートの式を導出し、容量を達成する符号の必要十分条件を確立した。符号の自己同型に基づく十分条件を示し、循環符号およびリード・マラー符号がこの十分条件を満たすことを示し、最適なPIRレートを達成することを示した。

ABSTRACT

We propose a private information retrieval (PIR) protocol for distributed storage systems (DSSs) with noncolluding nodes where data is stored using an arbitrary linear code. An expression for the PIR rate, i.e., the ratio of the amount of retrieved stored data per unit of downloaded data, is derived, and a necessary and a sufficient condition for codes to achieve the PIR capacity are given. The necessary condition is based on the generalized Hamming weights of the storage code, while the sufficient condition is based on code automorphisms. We show that cyclic codes and Reed-Muller codes satisfy the sufficient condition and are thus PIR capacity-achieving.

研究の動機と目的

• 非協力的なノードを有する分散ストレージシステムにおいて、任意の線形ストレージ符号と互換性を持つPIRプロトコルを設計すること。
• ストレージ符号の性質に基づいてPIRレートの一般式を導出すること。
• 符号がPIR容量を達成するための必要十分条件を特定すること。
• 循環符号やリード・マラー符号などの代表的な符号族が、容量を達成するための十分条件を満たすかどうかを同定すること。
• 一般化されたハミング重みや自己同型などの符号構造とPIR効率との間の理論的基盤を確立すること。

提案手法

• 分散システムで使用されるストレージ符号の構造に基づいて、PIRレートの一般式を導出する。
• ストレージ符号の一般化されたハミング重みに基づいて、PIR容量のための必要条件を導入する。
• 特定の符号自己同型の存在に基づいて、PIR容量のための十分条件を提案する。
• この十分条件を適用して、循環符号およびリード・マラー符号がPIR容量を達成することを示す。
• これらの符号の対称性と代数的構造を活用して、最適なダウンロード効率を達成するPIRプロトコルを構築する。
• 符号が自己同型に基づく十分条件を満たす場合にPIRレートが最大化されることを示す。

実験結果

リサーチクエスチョン

• RQ1 非協力的なサーバーを有する分散ストレージシステムにおいて、線形ストレージ符号がPIR容量を達成するために満たすべき条件は何か？
• RQ2 符号の一般化されたハミング重みは、PIR容量の達成可能性にどのように関係するか？
• RQ3 符号の自己同型群を活用して、容量を達成するPIRプロトコルを構築できるか？
• RQ4 循環符号やリード・マラー符号などの代表的な符号族は、PIR容量を達成するか？
• RQ5 任意の線形符号を用いた分散ストレージシステムにおけるPIRレートの一般式は何か？

主な発見

• PIRレートはストレージ符号の構造に基づいて表現され、任意の線形符号についてのレート解析が可能になる。
• ストレージ符号の一般化されたハミング重みに基づいて、PIR容量のための必要条件が導出された。
• 符号の自己同型に基づいて、PIR容量のための十分条件が確立され、容量を達成する符号を実用的に同定する手段が得られた。
• 循環符号は自己同型に基づく十分条件を満たし、したがってPIR容量を達成する。
• リード・マラー符号も同様に十分条件を満たし、PIR容量を達成することが証明された。
• 本研究の結果は、符号の対称性（自己同型）と分散ストレージシステムにおける最適PIR性能との間の直接的な関係を確立した。