[논문 리뷰] New Results on the Storage-Retrieval Tradeoff in Private Information Retrieval Systems

Tao Guo, Ruida Zhou외 1명|arXiv (Cornell University)|2020. 08. 03.

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

한 줄 요약

이 논문은 저장-검색 트레이드오프를 정보이론적 PIR 시스템에서 더 깊이 이해하기 위해, 제도별 2-근사 특성화, 코드 설계를 위한 순환치환 보조정리, 그리고 더 날카운 상한을 도출하기 위한 완화된 엔트로픽 선형계획법(LP)을 도입함으로써 기여한다. 저자들은 이전 연구에 비해 크게 향상된 새로운 상한 및 하한을 도출하였으며, 일반적으로 더 정밀한 근사 특성화를 달성하지는 못했지만 여전히 기존 연구에 비해 상당히 향상된 결과를 얻었다.

ABSTRACT

In a private information retrieval (PIR) system, the user needs to retrieve one of the possible messages from a set of storage servers, but wishes to keep the identity of requested message private from any given server. Existing efforts in this area have made it clear that the efficiency of the retrieval will be impacted significantly by the amount of the storage space allowed at the servers. In this work, we consider the tradeoff between the storage cost and the retrieval cost. We first present three fundamental results: 1) a regime-wise 2-approximate characterization of the optimal tradeoff, 2) a cyclic permutation lemma that can produce more sophisticated codes from simpler ones, and 3) a relaxed entropic linear program (LP) lower bound that has a polynomial complexity. Equipped with the cyclic permutation lemma, we then propose two novel code constructions, and by applying the lemma, obtain new storage-retrieval points. Furthermore, we derive more explicit lower bounds by utilizing only a subset of the constraints in the relaxed entropic LP in a systematic manner. Though the new upper bound and lower bound do not lead to a more precise approximate characterization in general, they are significantly tighter than the existing art.

연구 동기 및 목표

• 구조적 저장 제약 조건이 없는 정보이론적 PIR 시스템에서 저장 비용과 검색 비용 간의 기본적 트레이드오프를 규명하는 것.
• 더 단순한 코드로부터 더 복잡한 PIR 코드를 생성할 수 있는 일반적인 기법—순환치환 보조정리—를 개발하는 것.
• 다항식 복잡도를 갖는 완화된 엔트로픽 LP 프레임워크를 설계하여 검색 비용에 대한 더 날카운 하한을 계산하는 것.
• 새로운 저장-검색 트레이드오프 포인트를 제공하는 새로운 코드 구조를 제안하는 것.
• 완화된 LP에서 일부 제약 조건을 체계적으로 활용하여 명시적이고 닫힌 형태의 하한을 도출하는 것.

제안 방법

• 최적의 저장-검색 트레이드오프에 대해 제도별 2-근사 특성화를 제안하여 곡선을 두 개의 제도로 나누며, 각 제도에서 저장 비용 또는 검색 비용이 최대 2배 이내로 근사됨을 보장한다.
• 간단한 PIR 코드를 더 복잡한 것으로 변환할 수 있도록 허용하는 순환치환 보조정리를 도입하여, 비코드화된 저장 PIR 및 MDS-PIR 코드와 같은 기존 코드들을 특수 케이스로 복원한다.
• 완전한 엔트로픽 LP 프레임워크에서 일부 부등식을 선택하여 완화된 엔트로픽 LP를 개발함으로써, 복잡도를 지수적에서 다항식으로 감소시키면서도 타당한 날카운 하한을 유지한다.
• 두 가지 새로운 코드 구조에 대해 순환치환 보조정리를 적용하여, 이전에는 알려지지 않았던 새로운 저장-검색 트레이드오프 포인트를 생성한다.
• 완화된 LP의 일부 제약 조건을 체계적으로 적용하여 실수 값으로 매개변수화된 명시적 하한의 가족을 도출한다.
• 정보이론적 부등식에서의 하위모듈라리티와 프라이버시 제약 조건을 활용하여 PIR 시스템 내 조건부 엔트로피에 대한 하한을 유도한다.

실험 결과

연구 질문

• RQ1 저장 코드에 구조적 제약 조건이 없을 경우, PIR 시스템에서 저장 비용과 검색 비용 간의 기본적 트레이드오프는 무엇인가?
• RQ2 더 단순한 코드로부터 더 복잡한 PIR 코드를 생성할 수 있는 일반적인 변환 기법을 개발할 수 있는가?
• RQ3 완전한 엔트로픽 LP의 지수적 복잡도는 어떻게 줄일 수 있으며, 이 과정에서 PIR 문제에 대한 유용한 하한을 유지할 수 있는가?
• RQ4 기존에 알려진 바보다 더 날카운 상한 및 하한을 도출할 수 있는가?
• RQ5 완화된 엔트로픽 LP에서 일부 제약 조건을 선택적으로 적용하여 도출할 수 있는 명시적이고 닫힌 형태의 하한은 무엇인가?

주요 결과

• 논문은 최적의 저장-검색 트레이드오프에 대해 제도별 2-근사 특성화를 확립하여, 전체 곡선에 걸쳐 일반적이지만 거시적인 근사치를 제공한다.
• 순환치환 보조정리는 비코드화된 저장 PIR 및 MDS-PIR 코드와 같은 기존 PIR 코드를 더 단순한 기본 코드로부터 성공적으로 복원함으로써, 그 일반성과 유용성을 입증한다.
• 완화된 엔트로픽 LP는 다항식 복잡도를 확보하면서도 이전 방법보다 훨씬 날카운 하한을 제공함으로써, 전체 엔트로픽 LP가 아니더라도 유의미한 성능 향상을 이룬다.
• 순환치환 보조정리를 활용하여 개선된 새로운 코드 구조는 이전에 알려지지 않은 저장-검색 트레이드오프 포인트를 도출하여, 타당한 해의 영역을 확장한다.
• 완화된 LP에서 일부 제약 조건을 체계적으로 적용하여 명시적 하한을 도출함으로써, 더 높은 날카움을 확보한 매개변수화된 하한의 가족을 얻었다.
• 비록 새로운 상한 및 하한이 기존 연구보다 더 정밀한 근사 특성화를 제공하지는 않지만, 이전 연구에 비해 상당히 날카운 하한을 제공하여 트레이드오프에 대한 실용적 이해를 크게 향상시켰다.