[논문 리뷰] On the Storage Cost of Private Information Retrieval

Chao Tian|arXiv (Cornell University)|2019. 10. 26.

Cryptography and Data Security참고 문헌 36인용 수 5

한 줄 요약

이 논문은 저장 코드에 대한 구조적 제약 조건을 가정하지 않고, 개인 정보 검색(PIR) 시스템에서 저장 비용과 다운로드 비용 사이의 기본적인 상충 관계를 조사한다. 두 가지 새로운 정보이론적 외부 경계를 수립하여, 메시지가 부가 정보 없이 저장될 경우 최적의 PIR 전략은 모든 메시지를 다운로드해야 하며, 이는 다운로드 비용을 추가로 줄일 수 없음을 보여준다. 또한 PIR 용량을 달성하는 코드의 경우, 각 데이터베이스는 평균적으로 최대 한 개의 메시지 분량의 저장 비용을 줄일 수 있다. 두 메시지, 두 데이터베이스 케이스에 대한 더 강력한 경계는 비샤논 유형 부등식이 정확한 상충 관계 특성화에 필요할 수 있음을 시사한다.

ABSTRACT

We consider the fundamental tradeoff between the storage cost and the download cost in private information retrieval systems, without any explicit structural restrictions on the storage codes, such as maximum distance separable codes or uncoded storage. Two novel outer bounds are provided, which have the following implications. When the messages are stored without any redundancy across the databases, the optimal PIR strategy is to download all the messages; on the other hand, for PIR capacity-achieving codes, each database can reduce the storage cost, from storing all the messages, by no more than one message on average. We then focus on the two-message two-database case, and show that a stronger outer bound can be derived through a novel pseudo-message technique. This stronger outer bound suggests that a precise characterization of the storage-download tradeoff may require non-Shannon type inequalities, or at least more sophisticated bounding techniques.

연구 동기 및 목표

• 저장 코드에 대한 구조적 제약 조건을 가정하지 않고, PIR 시스템에서 저장 비용과 다운로드 비용 사이의 기본 상충 관계를 이해하는 것.
• 저장-다운로드 상충 관계 곡선의 두 극단점인 최소 저장 비용과 최소 다운로드 비용을 규명하는 것.
• PIR에서 저장 및 다운로드 효율의 한계를 특성화하는 정보이론적 외부 경계를 도출하는 것.
• 특히 두 메시지, 두 데이터베이스 설정에서 비샤논 유형 외부 경계가 상충 관계를 정확히 특성화하는 데 필요한지 조사하는 것.

제안 방법

• 엔트로피 부등식과 대칭성 원리를 사용하여 저장-다운로드 상충 관계를 제약하는 두 가지 새로운 정보이론적 외부 경계를 유도한다.
• 오자로의 마르코프 결합 방법을 영감으로 삼은 새로운 가짜 메시지 기법을 적용하여, 두 메시지, 두 데이터베이스 케이스에서 경계를 강화한다.
• 질문, 응답, 메시지 간의 종속성을 데이터베이스 간에 분석하기 위해 엔트로피 분해 및 조건부 엔트로피 경계 설정을 사용한다.
• 보조 랜덤 변수(예: $U_2$, $V_2$)의 대칭성과 동일한 분포를 활용하여 엔트로피 항을 단순화하고 비교한다.
• 부등식을 정규화하여 저장 비용 $\alpha$와 다운로드 비용 $\beta$의 비율에 대한 경계를 도출함으로써 효율성의 정량적 한계를 산출한다.
• 더 정교한 경계 설정 전략을 활용하여, 정밀한 특성화를 위해 비샤논 유형 외부 경계가 필수적일 수 있음을 드러낸다.

실험 결과

연구 질문

• RQ1 메시지가 데이터베이스에 부가 정보 없이 저장될 경우, 최소 다운로드 비용은 얼마인가?
• RQ2 PIR 용량을 달성하는 코드의 경우, 최소로 달성 가능한 저장 비용은 얼마인가?
• RQ3 단지 샤논 유형 부등식만으로도 저장-다운로드 상충 관계를 정확히 특성화할 수 있는가?
• RQ4 가짜 메시지 기법은 두 메시지, 두 데이터베이스 PIR 설정에서 외부 경계를 어떻게 향상시키는가?
• RQ5 비샤논 유형 외부 경계는 저장-다운로드 상충 관계의 정밀한 특성화에 어떤 역할을 하는가?

주요 결과

• 메시지가 부가 정보 없이 저장될 경우, 최적의 PIR 전략은 모든 메시지를 다운로드해야 하며, 이는 추가적인 다운로드 비용 절감이 불가능함을 의미한다.
• PIR 용량을 달성하는 코드의 경우, 각 데이터베이스는 모든 메시지를 저장하는 것과 비교해 평균적으로 최대 한 메시지 분량의 저장 비용을 줄일 수 있다.
• 두 메시지, 두 데이터베이스 케이스에서 새로운 가짜 메시지 기법을 사용하여 더 강력한 외부 경계를 도출하였으며, 이는 비샤논 유형 외부 경계가 정밀한 경계를 확보하기 위해 필수적일 수 있음을 시사한다.
• 유도된 경계는 특히 대칭 설정에서 표준 샤논 유형 외부 경계가 저장-다운로드 상충 관계를 완전히 특성화하는 데 부족함을 보여준다.
• 분석 결과, 보조 변수 $U_2$, $V_2$, $X_1$, $Y_2$를 포함한 엔트로피 항은 대칭성과 조건부 독립성을 활용해 정밀하게 경계되어야만 강력한 부등식을 확보할 수 있음을 드러냈다.
• 최종 정규화된 경계는 $6\alpha + 16\beta \geq 20$를 의미하며, 이는 두 데이터베이스 케이스에서 저장 및 다운로드의 효율성에 대한 기본적인 한계를 나타낸다.