[논문 리뷰] On private information retrieval array codes

Yiwei Zhang, Xin Wang외 2명|arXiv (Cornell University)|2016. 09. 29.

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.

연구 동기 및 목표

• 주어진 $t$에 대해 $1 < s ≤ 2$일 때 최적 속도를 갖는 PIR 어레이 코드를 허용하는 최소 서버 수를 결정하는 것, 특히 $t > d^2 - d$인 경우.
• $s > 2$에 대해 PIR 어레이 코드의 속도에 대한 새로운 이론적 상한선을 도출하여 기존 이론적 한계를 향상시키는 것.
• Blackburn–Etzion 구성과 이전 구성 간의 분석 및 비교를 통해 그 속도 우월성을 입증하는 것.
• Blackburn–Etzion 구성이 $s > 2$일 때 최적 속도를 달성할 것이라는 추측을 뒷받침하는 직관적이고 구조적인 증거를 제공하는 것.

제안 방법

• $1 < s ≤ 2$인 경우, 저자는 매개변수 제약 조건과 코드 구조를 분석하여 최적 속도를 갖는 PIR 어레이 코드를 허용하는 최소 서버 수를 결정한다.
• $s > 2$인 경우, 어레이 코드의 구조에 대한 조합론적 및 선형 대수 기법을 사용하여 PIR 속도에 대한 새로운 이론적 상한선을 도출한다.
• Blackburn–Etzion 구성은 각 서버가 $t - i$개의 싱글턴 셀을 갖는 경우에 해당하는 가중치 $\alpha_i$를 가진 항 $\frac{t + p - i}{2p}$의 가중 평균으로 표현됨을 분석한다.
• 직접 비교 및 속도 표현 분석을 통해 점점 증가하는 점근적 및 정확한 평가를 통해 Blackburn–Etzion 구성의 속도가 이전 모든 구성보다 뛰어남을 보여준다.
• 대칭성과 순열적 추론을 사용하여 서버 유형의 균일 분포를 가정할 수 있음을 정당화하며, 이는 구조적 최적성 추론을 뒷받침한다.
• 특정 부등식, 예를 들어 $(4t+2)\binom{2t-1}{t-1} > 2^{2t}$의 귀납적 검증을 수행하여 $s = 3$인 경우의 속도 우월성을 검증한다.

실험 결과

연구 질문

• RQ1 $1 < s ≤ 2$일 때 주어진 $t$에 대해 최적 속도를 달성하기 위해 필요한 최소 서버 수는 무엇인가요?
• 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}$의 부등식에 대한 귀납적 증명을 통해 이를 검증한다.
• 직접 비교 및 속도 표현 분석을 통해 $s > 2$인 경우 Blackburn–Etzion 구성의 속도가 모든 다른 알려진 구성보다 뛰어남을 보여준다.
• 이 구성의 속도는 항 $\frac{t + p - i}{2p}$의 가중 평균이며, $t-1$개 미만의 싱글턴 셀을 갖는 서버의 포함이 전체 속도를 낮출 가능성이 있음을 입증한다.
• 논문은 최적의 파트너 선택과 서버 유형 분포 기반으로 Conjecture 18: Blackburn–Etzion 구성은 $s > 2$일 때 최적 속도를 달성한다에 대한 강력한 직관적 증거를 제공한다.