[论文解读] 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比特），且在达到容量的线性码中表现最优。该构造利用了查询与应答结构中的非对称性，通过阿贝尔群上可分解码的对 converse 分析证明其最优性，并通过对称性分解建立了与对称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 能否构造一种容量达到型PIR码，使其消息大小恰好为服务器数量减一（即N−1比特）？
• RQ2 在所有容量达到型线性码中，是否可能实现最小上传开销（N(K−1)log₂N比特）？
• RQ3 容量达到型码必须满足哪些结构特性，才能在消息大小与上传开销上实现最优？
• RQ4 代码设计中的非对称性如何相较于对称构造，带来消息大小与上传开销的改进？
• RQ5 在服务器索引、文件索引与应答函数的对称性方面，非对称PIR码与对称PIR码之间存在何种关系？

主要发现

• 所提出的PIR码在信息论容量下实现了N−1比特的消息大小，该结果在所考虑类别的所有容量达到型码中为最优。
• 所提码的上传开销为N(K−1)log₂N比特，已证明其为所有容量达到型线性码中可能的最小值。
• 反证分析识别出关键特性——如应答函数中确定性依赖与独立性结构——这些特性必须在阿贝尔群上所有容量达到型可分解码中成立。
• 反证证明中的等式条件表明，所提码满足消息大小与上传开销最优性的必要与充分条件。
• 提出了一种对称性分解框架，可将任意非对称PIR码转化为其对称对应形式，揭示了非对称与对称PIR构造之间深层的结构联系。
• 该码适用于任意有限阿贝尔群，包括二元域，从而生成具有实际部署优势的二元线性码。