[论文解读] 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.

研究动机与目标

• 確定線性容量達成型編碼PIR方案在MDS編碼資料庫中可能的最小子分塊化等級。
• 彙整非平凡編碼PIR情境下子分塊化已知上界與理論下界之間的差距。
• 提供一種可構造的方案，以達成已證明的子分塊化下界。
• 確立 $ Kn^{M-1} $ 為所有 $ N > K \to 1 $ 和 $ M > 1 $ 情境下的最優子分塊化等級。
• 推廣對線性編碼PIR構造中子分塊化權衡的理解。

提出的方法

• 使用代數與組合論證，推導線性容量達成型編碼PIR方案的子分塊化理論下界。
• 提出一種基於結構化編碼與對稱存取模式的新構造，以達成下界。
• 定義 $ n = N / \text{gcd}(N,K) $ 為關鍵參數，以調整方案中的子分塊化規模。
• 構造出子分塊化為 $ Kn^{M-1} $ 的線性編碼PIR方案，與已證明的下界完全匹配。
• 利用MDS碼性質與伺服器存取模式的對稱性，確保私密性與容量最優性。
• 運用線性代數與碼結構，確保所有查詢均為儲存符號的線性組合，以維持線性性。

实验结果

研究问题

• RQ1 在非平凡情境下，線性容量達成型編碼PIR方案的最小可能子分塊化等級為何？
• RQ2 能否構造出子分塊化等級與理論下界完全匹配的線性編碼PIR方案？
• RQ3 N 與 K 的最大公因數如何影響編碼PIR中的最小子分塊化等級？
• RQ4 對於所有 $ N > K \to 1 $ 和 $ M > 1 $，$ Kn^{M-1} $（其中 $ n = N / \text{gcd}(N,K) $）是否為最優子分塊化等級？
• 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} $ 為最優值。