[论文解读] Multiround Private Information Retrieval: Capacity and Storage Overhead

Hua Sun, Syed A. Jafar|arXiv (Cornell University)|Nov 7, 2016

Cryptography and Data Security参考文献 24被引用 20

一句话总结

本文研究多轮私有信息检索（MPIR），表明其容量与单轮PIR相同，意味着多轮、非线性或$\epsilon$-误差方案在容量上并无增益。然而，本文提出一种新型多轮、非线性、$\epsilon$-误差PIR方案，其存储开销显著低于最优单轮、线性、零误差方案，尽管容量未提升，但展示了实际优势。

ABSTRACT

The capacity has recently been characterized for the private information retrieval (PIR) problem as well as several of its variants. In every case it is assumed that all the queries are generated by the user simultaneously. Here we consider multiround PIR, where the queries in each round are allowed to depend on the answers received in previous rounds. We show that the capacity of multiround PIR is the same as the capacity of single-round PIR (the result is generalized to also include $T$-privacy constraints). Combined with previous results, this shows that there is no capacity advantage from multiround over single-round schemes, non-linear over linear schemes or from $ε$-error over zero-error schemes. However, we show through an example that there is an advantage in terms of storage overhead. We provide an example of a multiround, non-linear, $ε$-error PIR scheme that requires a strictly smaller storage overhead than the best possible with single-round, linear, zero-error PIR schemes.

研究动机与目标

• 研究多轮查询交互在私有信息检索（PIR）中是否相比单轮方案具有容量优势。
• 考察在容量方面，非线性、$\epsilon$-误差或$T$-私密PIR方案是否优于线性、零误差方案。
• 探讨PIR中容量与存储开销之间的权衡，特别是在多轮设置下。
• 构建一个具体实例，展示多轮、非线性、$\epsilon$-误差PIR在存储开销上低于最优单轮、线性、零误差方案。

提出的方法

• 作者通过信息论论证，分析在$T$-隐私约束下多轮PIR（MPIR）的容量，证明其与已知单轮PIR容量一致。
• 他们利用PIR方案两个独立副本的对称性与独立性，推导出熵等式，从而确立容量等价性。
• 关键技术包括证明马尔可夫链与条件独立性，以表明查询与响应之间的依赖关系不影响容量的极限。
• 作者构建了一个具体的$N=2$，$K=2$多轮、非线性、$\epsilon$-误差PIR方案，通过编码存储与自适应查询降低存储开销。
• 他们将该方案的存储开销与单轮、线性、零误差PIR的理论最小值进行比较，证明了严格改进。

实验结果

研究问题

• RQ1 允许多轮用户与数据库之间的交互是否能提升私有信息检索的容量？
• RQ2 在多轮设置下，非线性PIR方案相比线性方案，或$\epsilon$-误差方案相比零误差方案，是否存在容量优势？
• RQ3 多轮PIR能否实现低于最优单轮、线性、零误差PIR方案的存储开销？
• RQ4 编码存储在实现更低存储开销与增强隐私方面起到什么作用？

主要发现

• 多轮PIR的容量与单轮PIR完全相同，容量由$ C = \left(1 + \frac{1}{N} + \cdots + \frac{1}{N^{K-1}}\right)^{-1} $给出，即使在$T$-隐私约束下亦成立。
• 多轮方案相比单轮方案，非线性方案相比线性方案，或$\epsilon$-误差方案相比零误差方案，在容量上均无优势。
• 针对$N=2$，$K=2$的特定多轮、非线性、$\epsilon$-误差PIR方案，其存储开销严格低于任何单轮、线性、零误差PIR方案。
• 该方案表明，通过编码实现的存储开销降低可增强隐私，因为并非所有数据都在每个数据库中复制。
• 该结果揭示了一个根本性权衡：尽管容量保持不变，但通过多轮、非线性、$\epsilon$-误差设计，可显著提升存储效率。