[论文解读] Single-Server Multi-Message Private Information Retrieval with Side Information

Li Su, Michael Gastpar|arXiv (Cornell University)|Aug 17, 2018

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

一句话总结

本文研究单服务器多消息私有信息检索（PIR）中的辅助信息问题，提出一种最优线性编码方案，以最小化传输量并保护用户所请求消息索引的隐私。关键结果表明，当 $N > M$ 或 $N^2 + N \geq K - M$ 时，采用 $K-M$ 次传输的平凡MDS方案为最优，这意味着当需要私密检索超过 $\text{O}(\text{sqrt}(K))$ 条消息时，用户必须几乎下载整个数据库（除去辅助信息）。

ABSTRACT

We study the problem of single-server multi-message private information retrieval with side information. One user wants to recover $N$ out of $K$ independent messages which are stored at a single server. The user initially possesses a subset of $M$ messages as side information. The goal of the user is to download the $N$ demand messages while not leaking any information about the indices of these messages to the server. In this paper, we characterize the minimum number of required transmissions. We also present the optimal linear coding scheme which enables the user to download the demand messages and preserves the privacy of their indices. Moreover, we show that the trivial MDS coding scheme with $K-M$ transmissions is optimal if $N>M$ or $N^2+N \ge K-M$. This means if one wishes to privately download more than the square-root of the number of files in the database, then one must effectively download the full database (minus the side information), irrespective of the amount of side information one has available.

研究动机与目标

• 刻画用户在持有 $M$ 条辅助信息消息的前提下，从单个服务器私密检索 $N$ 条消息所需传输次数的最小值。
• 设计一种最优线性编码方案，确保用户仅通过其辅助信息和服务器回复即可解码出所请求的消息。
• 确立在何种条件下，采用 $K-M$ 次传输的平凡MDS编码方案在信息论上达到最优。
• 分析隐私约束条件，即服务器不得获取关于 $N$ 条所请求消息索引的任何信息。

提出的方法

• 提出一种新颖的编码策略——分块-MDS编码（Partition-and-MDS-Coding），用于生成满足正确性与隐私性的最优线性传输。
• 利用条件熵分析与消息依赖图，推导出所需传输次数的下界，充分利用辅助信息与请求消息集合的结构特性。
• 应用组合论证表明，若 $N > M$ 或 $N^2 + N \geq K - M$，则唯一能保持隐私的方式是传输 $K - M$ 条消息，即等价于下载整个数据库（除去辅助信息）。
• 当 $K > N^2 + N + M$ 时，通过渐近分析（$L \to \infty$ 时）推导出最小传输次数的闭式表达式为 $\left\lceil \frac{K - M - N^2}{N + \lfloor M/N \rfloor} \right\rceil + \text{调整项}$。
• 证明：从不同传输组解码出的消息集合必须互不相交（$\mathbf{Y}_i \cap \mathbf{Y}_j = \emptyset$），以避免冗余并保持最优性。
• 证明：若某条消息可从多个传输组中解码，则可将其从某一组中移除而不增加传输成本，从而导出一种规范的最优形式。

实验结果

研究问题

• RQ1 用户在持有 $M$ 条辅助信息消息的前提下，从单个服务器私密检索 $N$ 条消息，所需最小传输次数是多少？
• RQ2 在何种条件下，采用 $K - M$ 次传输的平凡MDS编码方案对私密检索而言是最优的？
• RQ3 能否构造一种线性编码方案，以确保既能正确解码所请求消息，又能实现其索引的完全隐私保护？
• RQ4 参数 $N$、$M$ 与 $K$ 之间的关系如何影响单服务器多消息PIR中传输成本与隐私之间的权衡？
• RQ5 在存在辅助信息的情况下，传输组必须满足何种结构约束，才能确保方案的最优性与隐私性？

主要发现

• 当 $N > M$ 或 $N^2 + N \geq K - M$ 时，所需最小传输次数为 $K - M$，这意味着私密检索超过 $\text{O}(\sqrt{K})$ 条消息将迫使用户下载几乎整个数据库（除去辅助信息）。
• 在这些条件下，平凡MDS编码方案在信息论上达到最优，无论可用的辅助信息量如何。
• 当 $K > N^2 + N + M$ 时，最小传输成本的闭式表达式为 $\left\lceil \frac{K - M - N^2}{N + \lfloor M/N \rfloor} \right\rceil$，并针对剩余消息进行额外调整。
• 所提出的分块-MDS编码方案通过确保解码集合互不相交并最小化冗余传输，实现了最优性。
• 仅当任意消息无法从重叠的传输组中被解码时，隐私才能得到保障；否则，可简化方案而不增加传输成本。
• 当 $K \leq N^2 + N + M$ 时，系统达到一个临界点：除初始辅助信息外，所有条件熵均为零，导致传输次数强制为 $K - M$。