[논문 리뷰] Private Information Retrieval from MDS Coded Data with Colluding Servers: Settling a Conjecture by Freij-Hollanti et al.

Hua Sun, Syed A. Jafar|ArXiv.org|2017. 01. 26.

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

한 줄 요약

이 논문은 (K,N,T,Kc)=(2,4,2,2) 설정에서 FGHK 추측을 반증함으로써, 협력 서버가 있는 MDS-코딩된 개인 정보 검색(MDS-TPIR)의 용량에 대해 기존 추측을 부정한다. 이 경우 4/7로 추측된 용량을 초월하는 3/5의 비율을 달성한다. 저자들은 모든 (K,N,T,Kc)=(2,N,T,N−1) 설정에 대해 정확한 용량을 확립하며, 이는 기존 추측된 용량 표현식이 잘못되었음을 드러내고, 정보 이론적 분석 및 구축 기반 기법을 통해 더 엄밀한 특성화를 제시한다.

ABSTRACT

A $(K, N, T, K_c)$ instance of the MDS-TPIR problem is comprised of $K$ messages and $N$ distributed servers. Each message is separately encoded through a $(K_c, N)$ MDS storage code. A user wishes to retrieve one message, as efficiently as possible, while revealing no information about the desired message index to any colluding set of up to $T$ servers. The fundamental limit on the efficiency of retrieval, i.e., the capacity of MDS-TPIR is known only at the extremes where either $T$ or $K_c$ belongs to $\{1,N\}$. The focus of this work is a recent conjecture by Freij-Hollanti, Gnilke, Hollanti and Karpuk which offers a general capacity expression for MDS-TPIR. We prove that the conjecture is false by presenting as a counterexample a PIR scheme for the setting $(K, N, T, K_c) = (2,4,2,2)$, which achieves the rate $3/5$, exceeding the conjectured capacity, $4/7$. Insights from the counterexample lead us to capacity characterizations for various instances of MDS-TPIR including all cases with $(K, N, T, K_c) = (2,N,T,N-1)$, where $N$ and $T$ can be arbitrary.

연구 동기 및 목표

• T,Kc ∉ {1,N}인 비퇴화 설정에서 MDS-TPIR 용량에 대한 열린 문제를 해결하기 위해.
• FGHK 추측의 타당성을 평가하기 위해, 이는 T+Kc−1 기반으로 MDS-TPIR에 대한 통합 용량 표현식을 제안하였다.
• 임의의 N과 T에 대해 (K,N,T,Kc)=(2,N,T,N−1) 구성에 대해 MDS-TPIR의 정확한 용량을 특성화하기 위해.
• 구축 기반 PIR 스킴을 사용하여 FGHK 추측에 대한 반례를 제시하고, 이로써 추측된 비율을 초월하는 성능을 달성하기 위해.
• 주어진 조건 하에서 선형 PIR 스킴에 대한 엄밀한 정보 이론적 상한을 유도하기 위해.

제안 방법

• 메시지를 (x,y,x+y,x+2y)로 인코딩하는 (2,4) MDS 코드를 사용하여 (K,N,T,Kc)=(2,4,2,2) 설정에 대한 개인 정보 검색 스킴을 구성한다.
• 불필요한 기호들 간의 선형 종속성을 활용하여, 총 12개의 기호를 다운로드함으로써 3/5의 복구 비율을 달성함을 보여준다. 이 중 12개는 원하는 기호이고, 9개는 불필요한 기호이며, 이들은 선형 종속성을 가진다.
• 정보 이론적 부등식을 적용하여, T=2개의 협력 서버가 존재할 경우 어떤 선형 PIR 스킴이라도 달성 가능한 비율에 대해 3/5의 상한을 도출한다.
• 벡터 공간 분해와 독립성 추론을 사용하여, 불필요한 기호들이 오직 9차원을 차지함을 보이며, 이는 효율적인 복구를 가능하게 한다.
• 반례를 일반화하여, 모든 (K,N,T,Kc)=(2,N,T,N−1) 설정에 대해 C = (N²−N)/(2N²−3N+T)의 정확한 용량 표현식을 유도한다.
• 엔트로피 기반 상한을 통해 역으로 검증하여, 어떤 스킴도 유도된 비율을 초과할 수 없음을 보이며, 대칭성과 무작위 행렬의 독립성을 통해 상한의 엄밀함을 확인한다.

실험 결과

연구 질문

• RQ1 FGHK 추측은 MDS-TPIR에 대해 통합 용량 표현식을 제안하였지만, 이는 모든 비퇴화 매개변수 설정에 대해 타당한가?
• RQ2 특정 (K,N,T,Kc)=(2,4,2,2) 설정에서, 4/7로 추측된 용량을 초월하는 PIR 스킴이 존재하는가?
• RQ3 K=2, Kc=N−1, T가 임의일 경우 MDS-TPIR의 정확한 정보 이론적 용량은 무엇인가?
• RQ4 제한된 협력 서버 집합(예: {1,2}, {3,4})은 전체 협력 서버 집합과 비교해 MDS-TPIR의 용량에 어떤 영향을 미치는가?
• RQ5 T-협력 제약 조건 하에서 MDS-TPIR의 선형 PIR 스킴에 대해 엄밀한 상한을 도출할 수 있는가?

주요 결과

• FGHK 추측은 (2,4,2,2) MDS-TPIR 설정에서 반례를 통해 반증되었으며, 이 경우 3/5의 비율이 추측된 4/7를 초월한다.
• 구축 기반 PIR 스킴은 (2,4,2,2) 설정에서 12개의 기호를 다운로드함으로써 3/5의 비율을 달성한다. 이 중 12개는 원하는 기호이고, 9개는 선형 종속성을 가지는 불필요한 기호이다.
• 모든 선형 PIR 스킴에 대해 (2,4,2,2) 설정에서의 정보 이론적 상한은 3/5이며, 이는 해당 스킴이 최적임을 증명한다.
• 모든 (K,N,T,Kc)=(2,N,T,N−1) 설정에 대해 정확한 용량은 C = (N²−N)/(2N²−3N+T)로 도출되었으며, 이는 FGHK 추측보다 더 엄밀하다.
• 제한된 협력 서버 집합(예: {1,2}, {3,4})의 경우 (2,4,2) 설정에서 용량은 여전히 2/3이며, MDS-PIR 용량과 일치한다.
• {1,2},{2,3} 또는 {1,2},{3}과 같은 협력 집합이 존재하는 (2,3,2) 설정에서 용량은 4/7이며, 엔트로피 기반의 역추론을 통해 확인되었다.