[논문 리뷰] Capacity-Achieving Private Information Retrieval Codes from MDS-Coded Databases with Minimum Message Size

Ruida Zhou, Chao Tian외 2명|arXiv (Cornell University)|2019. 03. 19.

Cryptography and Data Security참고 문헌 11인용 수 9

한 줄 요약

이 논문은 메시지 크기가 최소화된 MDS에 암호화된 데이터베이스를 위한 용량을 달성하는 선형 개인 정보 검색(PIR) 코드를 제안한다. $K > T/\gcd(N,T)$일 때 메시지 크기 $\operatorname{\text{lcm}}(N-T,T)$를 달성하며, 이는 이전 연구 대비 하위패킷화 수준을 크게 감소시킨다. 저자들은 유일한 대칭성에 의존하지 않는 역공학적 접근 방식을 기반으로 한 두 가지 구성—구성-A와 구성-B—를 제안하여 더 작은 메시지 크기와 향상된 업로드 효율성을 달성하면서도 최적의 다운로드 비용을 유지한다.

ABSTRACT

We consider constructing capacity-achieving linear codes with minimum message size for private information retrieval (PIR) from $N$ non-colluding databases, where each message is coded using maximum distance separable (MDS) codes, such that it can be recovered from accessing the contents of any $T$ databases. It is shown that the minimum message size (sometimes also referred to as the sub-packetization factor) is significantly, in fact exponentially, lower than previously believed. More precisely, when $K>T/ extbf{gcd}(N,T)$ where $K$ is the total number of messages in the system and $ extbf{gcd}(\cdot,\cdot)$ means the greatest common divisor, we establish, by providing both novel code constructions and a matching converse, the minimum message size as $ extbf{lcm}(N-T,T)$, where $ extbf{lcm}(\cdot,\cdot)$ means the least common multiple. On the other hand, when $K$ is small, we show that it is in fact possible to design codes with a message size even smaller than $ extbf{lcm}(N-T,T)$.

연구 동기 및 목표

• 용량을 달성하는 PIR 코드의 메시지 크기(하위패킷화 인자)를 줄여 실용적 구현과 시스템 효율성에 기여하고자 한다.
• 용량을 달성하는 PIR 코드에서 메시지 크기가 메시지 수 $K$에 대해 지수적으로 증가해야 한다는 일반적인 믿음을 도전하고자 한다.
• MDS에 암호화된 데이터베이스에서 정보이론적 PIR 용량을 달성하는 최소 메시지 크기를 가진 명시적 선형 코드를 구성하고자 한다.
• 특정 조건 하에서 $K$에 대해 $\operatorname{\text{lcm}}(N-T,T)$가 최소 메시지 크기임을 보여주는 대응 증명을 수립하고자 한다.
• 표준 $\operatorname{\text{lcm}}(N-T,T)$ 기준을 초월하여 $K$가 작을 경우 더 작은 메시지 크기의 가능성을 탐색하고자 한다.

제안 방법

• 최적의 다운로드 비용과 메시지 크기 $\operatorname{\text{lcm}}(N-T,T)$를 달성하는 두 가지 새로운 선형 코드 구성—구성-A와 구성-B—를 제안하며, 구성-B는 더 낮은 업로드 비용을 제공한다.
• 기존의 표준 PIR에 대한 연구를 영감으로 삼은 역공학적 접근 방식을 사용하지만, MDS에 암호화된 데이터베이스에 적합하게 추가적인 정수 제약 조건과 코딩 요구 사항을 통합하였다.
• '다양성 대칭성'—이전에 필수로 여겨졌던 구조적 대칭성—에 대한 의존도를 감소시켜 더 유연하고 효율적인 코드 설계를 가능하게 하였다.
• 엔트로피와 정보이론적 부등식을 사용하여 대응 증명을 유도하였으며, $K > T/\gcd(N,T)$일 때 $\operatorname{\text{lcm}}(N-T,T)$가 최소 메시지 크기임을 보였다.
• 질의 분포와 조건부 엔트로피를 분석하여 선형성에 기반해 $H(A_n^{[k]} \mid W^k, \mathsf{F}=f)$가 정수 값을 가져야 하므로 더 강력한 하한을 도출할 수 있음을 확인하였다.
• 질의 지원 집합 $\mathcal{Q}_n^*$의 개념을 도입하고 최대-최소 엔트로피 분석을 통해 $H^k$와 $I_n^k$의 하한을 유도하여 핵심 부등식 $H_{n^*}^{\breve{k}} \geq (K-1)I_{n^*}^{\breve{k}}$를 도출하였다.

실험 결과

연구 질문

• RQ1 MDS에 암호화된 데이터베이스를 위한 용량을 달성하는 PIR 코드는 이전에 알려진 $TN^K$보다 훨씬 작은 메시지 크기로 구성될 수 있는가?
• RQ2 만약 $K > T/\gcd(N,T)$일 경우, $\operatorname{\text{lcm}}(N-T,T)$는 용량을 달성하는 PIR 코드의 최소 메시지 크기인가?
• RQ3 메시지 수 $K$가 작을 경우, 표준 $\operatorname{\text{lcm}}(N-T,T)$ 기준을 초월하여 메시지 크기를 더 줄일 수 있는가?
• RQ4 최적의 PIR 코드에서 메시지 크기를 최소화하기 위해 반드시 갖춰야 할 구조적 특성—예를 들어 대칭성 또는 질의 분포—는 무엇인가?
• RQ5 등장 길이가 일정하지 않은 답변(즉, 가변 길이 답변 허용)을 허용함으로써 필요한 메시지 크기는 어느 정도 감소하는가?

주요 결과

• 용량을 달성하는 PIR 코드의 최소 메시지 크기는 $K > T/\gcd(N,T)$일 때 $\operatorname{\text{lcm}}(N-T,T)$이며, 이는 이전에 알려진 $TN^K$보다 지수적으로 작다.
• 구성-A와 구성-B는 이 최소 메시지 크기를 달성하며 최적의 다운로드 비용을 유지한다. 둘 다 선형 코드이며, 구성-B는 더 낮은 업로드 비용을 제공한다.
• 대응 증명을 통해 $K > T/\gcd(N,T)$ 조건 하에서 $\operatorname{\text{lcm}}(N-T,T)$보다 작은 메시지 크기를 가진 용량을 달성하는 코드는 존재할 수 없음을 입증하였다.
• $K$가 작을 경우, $\operatorname{\text{lcm}}(N-T,T)$보다 엄밀히 작은 메시지 크기를 가진 코드를 설계할 수 있으며, 이는 메시지 크기의 최적화가 제약 조건에 따라 달라질 수 있음을 시사한다.
• 제안된 코드는 이전에 용량을 달성하는 설계에 필수로 여겨졌던 다양성 대칭성에 대한 의존도를 감소시켰으며, 이는 더 효율적이고 민첩한 설계를 가능하게 하였다.
• 분석을 통해 $H_{n^*}^{\breve{k}} \geq (K-1)I_{n^*}^{\breve{k}}$ 및 $I_{n^*}^{\breve{k}} \geq 1$ (만약 $N-T$가 $L$을 나누지 못할 경우)를 도출하였으며, 이는 $H^k \geq s = T/\gcd(N,T)$의 하한을 제공하여 대응 증명에 핵심적인 역할을 하였다.