[논문 리뷰] The Asymptotic Capacity of Private Search

Zhe Chen, Zhiying Wang외 1명|arXiv (Cornell University)|2018. 01. 12.

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

한 줄 요약

이 논문은 $N$ 개의 공모하지 않는 서버에 대해 비밀 검색의 渐近적 용량이 $1 - 1/N$ 임을 입증한다. 이는 메시지가 임의로 의존적일 때조차도, 그리고 점점 커지는 집합에 대해 근사적(OR) 쿼리로 일반화된 검색일지라도 성립한다. 이 결과는 종속적 개인 정보 검색(DPIR)에 대한 새로운 역방향 경계를 통해 도출되었으며, 이 경계는 알파벳 크기 $K$ 가 큰 조건에서 비밀 검색에 대해 날카롭게 맞는다. 메시지 간 의존성에도 불구하고 용량은 여전히 $1 - 1/N$ 이며, 이는 메시지 간 의존성에 대한 강건성을 보여준다.

ABSTRACT

The private search problem is introduced, where a dataset comprised of $L$ i.i.d. records is replicated across $N$ non-colluding servers, each record takes values uniformly from an alphabet of size $K$, and a user wishes to search for all records that match a privately chosen value, without revealing any information about the chosen value to any individual server. The capacity of private search is the maximum number of bits of desired information that can be retrieved per bit of download. The asymptotic (large $K$) capacity of private search is shown to be $1-1/N$, even as the scope of private search is further generalized to allow approximate (OR) search over a number of realizations that grows with $K$. The results are based on the asymptotic behavior of a new converse bound for private information retrieval with arbitrarily dependent messages.

연구 동기 및 목표

• 비밀 검색의 渐진적 용량을 특성화하는 것: 사용자가 $N$ 개의 공모하지 않는 서버에 복제된 데이터셋에서 비밀 쿼리와 일치하는 레코드를 검색하는 것.
• 독립된 메시지에 한정된 기존의 개인 정보 검색(PIR) 이론을 임의로 의존적인 메시지를 다룰 수 있도록 확장하여 종속적 PIR(DPIR) 프레임워크를 도입하는 것.
• 이전에 독립된 메시지에서만 알려진 $1 - 1/N$ 의 渐진적 용량이 비밀 검색에서 일반적으로 발생하는 강한 메시지 의존성 하에서도 유지되는지 확인하는 것.
• 사용자가 $M$ 개의 쿼리 값 중 하나 이상과 일치하는 레코드를 검색하는 근사적 검색 조건에서도 이 용량이 유지되는지 조사하는 것. 이때 $M$ 이 $K$ 와 함께 증가할 수 있음.
• 제안된 역방향 경계가 날카로운 조건을 특정하고, $1 - 1/N$ 과 다를 수 있는 반례를 탐색하는 것.

제안 방법

• DPIR에 대한 일반적인 비점근적 역방향 경계를 유도하여 다운로드 비용의 하한과 용량의 상한을 제공한다.
• 기존의 일반적인 실현 가능성 기법을 DPIR에 적용하여, 특정 조건 하에서 이 역방향 경계가 날카로운지 확인한다.
• 정리 3에 제시된 충분조건을 도입하여, 조건부 엔트로피의 점근적 행동에 기반해 DPIR의 점근적 용량이 $1 - 1/N$ 으로 수렴함을 보인다.
• 메시지 알파벳의 재귀적 이진 분할을 구성하여 조건부 엔트로피 $H(W_l | W_1, \dots, W_{l-1})$ 를 bound하고, 이 값이 점근적으로 $L H_2(\gamma)$ 와 일치함을 보인다.
• 조건부 엔트로피와 마진 엔트로피의 점근적 동치성을 이용해, 비밀 검색에서 $1 - 1/N$ 용량을 위한 충분조건를 검증한다.
• 원형 알파벳 위의 연속된 반원형 검색 패tern을 가진 반례를 분석하여, 역방향 경계가 날카롭지 않거나 용량이 $1 - 1/N$ 과 다를 수 있음을 보여, 이 경우는 여전히 열려있다.

실험 결과

연구 질문

• RQ1 메시지가 임의로 의존적일 때, 즉 하나의 쿼리 값과 일치하는 $L$ 개의 i.i.d. 레코드가 있을 때, 비밀 검색의 점근적 용량이 여전히 $1 - 1/N$ 인가?
• RQ2 사용자가 $M$ 개의 값 중 하나 이상과 일치하는 레코드를 검색하는 근사적 비밀 검색으로 $1 - 1/N$ 용량이 확장될 수 있는가? 이때 $M$ 이 $K$ 와 함께 증가하더라도 성립하는가?
• RQ3 제안된 DPIR에 대한 역방향 경계가 모든 메시지 의존성 구조에서 날카로운가, 아니면 일부 경우에서 진정한 용량을 포착하지 못하는가?
• RQ4 어떤 메시지 의존성의 구조적 제약 조건이 $1 - 1/N$ 으로의 점근적 용량 도달를 방해하는가? 이러한 경우를 특성화할 수 있는가?
• RQ5 메시지의 조건부 엔트로피가 마진 엔트로피로 수렴하는 조건은 무엇이며, 이는 $1 - 1/N$ 용량 결과를 가능하게 하는가?

주요 결과

• 비밀 검색의 점근적 용량은 $N \geq 2$ 인 모든 수의 공모하지 않는 서버에 대해 $1 - 1/N$ 이며, 알파벳 크기 $K$ 에 비해 레코드 수 $L$ 이 훨씬 클 경우에도 성립한다.
• 메시지 의존성이 정리 3의 충분조건를 만족할 경우, $M$-근사적 비밀 검색에서도 이 결과가 성립한다. 여기서 사용자는 $M$ 개의 쿼리 값 중 하나 이상과 일치하는 레코드를 검색하며, $M$ 이 $K$ 와 함께 증가하더라도 성립한다.
• DPIR에 대한 일반적인 역방향 경계가 비밀 검색에서 날카롭다는 것이 입증되었으며, 유도된 다운로드 비용 하한이 점근적 영역에서 실현 가능성 기법의 성능과 정확히 일치한다.
• 정리 3의 충분조건—각 메시지의 이전 메시지에 대한 조건부 엔트로피가 마진 엔트로피와 같아지는 것—이 비밀 검색에서 성립하여 $1 - 1/N$ 용량이 가능하다.
• 원형 알파벳 위의 연속된 반원형 검색 패턴을 가진 반례를 통해, 역방향 경계가 날카롭지 않거나 점근적 용량이 $1 - 1/N$ 과 다를 수 있음을 보여, 이 경우는 여전히 미해결 상태이다.
• 논문은 $1 - 1/N$ 용량이 비선형 메시지 의존성에 대해 강건함을 보여주며, 이는 이전 연구에서 요구한 독립된 메시지 또는 선형 의존성 외의 경우를 확장한다.