[论文解读] On private information retrieval array codes

Yiwei Zhang, Xin Wang+2 more|arXiv (Cornell University)|Sep 29, 2016

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

一句话总结

本文研究了分布式存储系统中最优私有信息检索（PIR）阵列码，提出了当每个服务器存储数据库的 $1/s$ 时，PIR速率的新构造与界限。对于 $s > 2$，推导出PIR速率的新上界，并表明Blackburn–Etzion构造的速率高于所有先前构造，支持其最优性猜想。

ABSTRACT

Given a database, the private information retrieval (PIR) protocol allows a user to make queries to several servers and retrieve a certain item of the database via the feedbacks, without revealing the privacy of the specific item to any single server. Classical models of PIR protocols require that each server stores a whole copy of the database. Recently new PIR models are proposed with coding techniques arising from distributed storage system. In these new models each server only stores a fraction $1/s$ of the whole database, where $s>1$ is a given rational number. PIR array codes are recently proposed by Fazeli, Vardy and Yaakobi to characterize the new models. Consider a PIR array code with $m$ servers and the $k$-PIR property (which indicates that these $m$ servers may emulate any efficient $k$-PIR protocol). The central problem is to design PIR array codes with optimal rate $k/m$. Our contribution to this problem is three-fold. First, for the case $12$, we derive a new upper bound on the rate of a PIR array code. Finally, for the case $s>2$, we analyze a new construction by Blackburn and Etzion and show that its rate is better than all the other existing constructions.

研究动机与目标

• 确定在 $1 < s ≤ 2$ 时，实现最优速率PIR阵列码所需的最少服务器数量，特别是当 $t > d^2 - d$ 时。
• 为 $s > 2$ 的PIR阵列码推导出新的速率上界，改进现有理论极限。
• 分析并比较Blackburn–Etzion构造与先前构造，证明其速率优越性。
• 提供直观且结构化的证据，支持Blackburn–Etzion构造在 $s > 2$ 时达到最优速率的猜想。

提出的方法

• 对于 $1 < s ≤ 2$，作者通过分析参数约束与码结构，确定了实现最优速率PIR阵列码的最少服务器数量。
• 对于 $s > 2$，他们利用组合与线性代数技术，对阵列码结构进行分析，推导出PIR速率的新理论上界。
• 通过将构造的速率表示为各项 $\frac{t + p - i}{2p}$ 的加权平均，其中权重 $\alpha_i$ 对应该类具有 $t - i$ 个单体单元的服务器，分析了Blackburn–Etzion构造。
• 通过渐近与精确评估，比较Blackburn–Etzion构造与现有构造的速率，表明其超过所有先前构造的速率。
• 利用对称性与置换论证，支持假设服务器类型分布均匀，以支持结构最优性的推理。
• 通过归纳法验证关键不等式，如 $(4t+2)\binom{2t-1}{t-1} > 2^{2t}$，以验证 $s = 3$ 时的速率优越性。

实验结果

研究问题

• RQ1 当 $1 < s ≤ 2$ 时，对于给定的 $t$，实现PIR阵列码最优速率所需的最少服务器数量是多少？
• RQ2 能否为 $s > 2$ 推导出比已知更紧的PIR速率上界？
• RQ3 Blackburn–Etzion构造在 $s > 2$ 时是否实现了高于所有其他已知构造的速率？
• RQ4 Blackburn–Etzion构造在 $s > 2$ 时是否为速率最优？其支持该猜想的结构特性是什么？
• RQ5 不同服务器类型（以单体单元与和分量计数）的相对比例如何影响整体PIR速率？

主要发现

• 对于 $1 < s ≤ 2$，本文确定了在参数范围 $t > d^2 - d$ 内，能够实现最优速率PIR阵列码的最少服务器数量。
• 对于 $s > 2$，作者推导出PIR阵列码速率的新上界，改进了先前的理论极限。
• Blackburn–Etzion构造在 $s = 3$ 时的速率严格大于 $\frac{4t+1}{6t+3}$，并通过不等式 $(4t+2)\binom{2t-1}{t-1} > 2^{2t}$ 的归纳证明得到验证。
• 通过直接比较与速率表达式分析，表明Blackburn–Etzion构造的速率超过所有其他已知构造，适用于 $s > 2$。
• 该构造的速率是各项 $\frac{t + p - i}{2p}$ 的加权平均，且包含少于 $t-1$ 个单体单元的服务器被证明可能降低整体速率。
• 本文提供了强有力的直观证据，支持猜想18：Blackburn–Etzion构造在 $s > 2$ 时达到最优速率，依据是最优伙伴选择与服务器类型分布。