[논문 리뷰] Entanglement-Resistant Two-Prover Interactive Proof Systems and Non-Adaptive Private Information Retrieval Systems

Richard Cleve, Dmitry Gavinsky외 1명|ArXiv.org|2007. 07. 12.

Cryptography and Data Security참고 문헌 15인용 수 21

한 줄 요약

이 논문은 비밀 정보 검색(PIR) 시스템과의 새로운 연결을 통해 양자 얽힘에 의한 사기 행위를 저지하는 데 성공하는 NP에 대한 이중 검증자 상호작용 증명 체계를 제안한다. 주요 기여는 일정한 완전성-오류 간격을 가지며 양자 얽힘에 저항하는 프로토콜을 설계하여, 일정한 비트 수를 사용하는 다중 검증자 양자 내성 증명 체계 중 가장 높은 표현 능력을 달성한 것이다.

ABSTRACT

We show that, for any language in NP, there is an entanglement-resistant constant-bit two-prover interactive proof system with a constant completeness vs. soundness gap. The previously proposed classical two-prover constant-bit interactive proof systems are known not to be entanglement-resistant. This is currently the strongest expressive power of any known constant-bit answer multi-prover interactive proof system that achieves a constant gap. Our result is based on an "oracularizing" property of certain private information retrieval systems, which may be of independent interest.

연구 동기 및 목표

• 검증자 간에 양자 얽힘을 공유하더라도 여전히 타당성을 유지하는 NP에 대한 이중 검증자 상호작용 증명 체계를 구축하는 것.
• 양자 얽힘 존재 시 기존의 오라클화 기법이 실패하여 완전한 오류 보장을 가진 사기 행위가 가능해지는 문제를 해결하는 것.
• 일부 비밀 정보 검색(PIR) 시스템이 비적응형 성질을 지니며, 양자 얽힘에 의해도 상호작용을 악용하는 것을 방지할 수 있음을 보여주는 것.
• 일정한 비트 수, 이중 검증자 양자 내성 증명 체계의 표현 능력이 최소한 NP에 이르는 것을 입증하는 것.
• 기존 기법이 얽힘 상황에서 실패하는 것과는 다릅니다. PIR 성질을 활용한 새로운 기법을 통해 검증자를 오라클화하는 것.

제안 방법

• 프로토콜은 증명자에 대한 랜덤 색인 i, j, k와 비트 δ를 생성하기 위해 고전적 PCP 검증자를 서브루틴으로 사용한다. 이는 증명자 w에 대한 3비트 질의를 정의한다.
• 검증자는 균일하게 랜덤 문자열 s를 샘플링하고 t = s ⊕ e_i ⊕ e_j ⊕ e_k를 계산하여 s를 앨리스에게, t를 보브에게 전송한다.
• 앨리스와 보브는 각각 a = w·s 및 b = w·t를 고전 전략에 따라 단일 비트로 응답한다.
• 검증자는 a ⊕ b = f_x(i, j, k, δ)일 때에만 수락한다. 여기서 f_x는 입력 x에 대한 PCP로부터 유도된 조건자이다.
• 프로토콜의 보안은 전이성 XOR 게임 프레임워크에 기반하며, 얽힌 검증자들이 최적 전략으로 고전적이고 비적응형 전략을 사용함을 보여준다.
• 핵심 기술적 구성 요소는 비적응형 성질을 지닌 PIR 시스템의 사용이다. 이는 검증자들이 질의의 구조에 따라 응답을 조정할 수 없음을 보장하며, 얽힘 상태에서도 마찬가지다.

실험 결과

연구 질문

• RQ1 검증자 간에 임의의 양자 얽힘을 가진 상태에서, 여전히 타당성이 유지되는 NP에 대한 이중 검증자 상호작용 증명 체계를 구성할 수 있는가?
• RQ2 일부 비밀 정보 검색(PIR) 시스템은 얽힌 검증자가 상관관계를 악용하여 사기 행위를 할 수 없도록 하는 비적응형 성질을 지니는가?
• RQ3 양자 얽힘 상황에서 고전적 오라클화 기법이 실패하더라도, 일정한 비트 수의 응답을 가지며 다중 검증자 양자 내성 증명 체계에서 일정한 완전성-오류 간격을 달성할 수 있는가?
• RQ4 일정한 비트 수, 이중 검증자 양자 내성 상호작용 증명 체계의 최대 표현 능력은 무엇이며, 이는 NP에 도달할 수 있는가?
• RQ5 양자 측면 채널 공격에 저항하는 PIR 기반 프로토콜을 통해 검증자를 오라클화하는 것이 가능한가?

주요 결과

• 제안된 프로토콜은 NP에 대해 일정한 완전성-오류 간격을 달성한다. 완전성 값은 1−ε 이상, 오류 값은 1/2+ε 이하이며, 임의의 ε>0에 대해 성립한다.
• 프로토콜은 얽힘에 저항한다. 공유된 양자 얽힘 상태가 존재하더라도, 검증자들의 최적 전략은 고전적이고 비적응형이며, 고전 전략에 비해 이득을 얻지 못한다.
• 오류 값 1/2+ε는 기반 PCP 절차의 오류 보장에서 유도되며, 이는 비트리스 위증자가 반 이상의 제약 조건에 더해 작은 오차를 초과하여 만족시킬 수 없음을 보장한다.
• PIR 기반 프로토콜의 비적응형 성질은 검증자들이 질의의 구조에 따라 응답을 조정할 수 없음을 보장하여 오라클화의 원칙을 위반하지 않는다.
• 이 결과는 일정한 비트 수, 이중 검증자 양자 내성 증명 체계의 표현 능력이 최소한 NP에 이르며, 이 분야에서 지금까지 알려진 가장 강력한 결과임을 입증한다.
• 전이성 XOR 게임 프레임워크가 일반화되어, 양자 측면 채널이 존재하더라도 얽힘이 수락 확률을 극대화하는 데 도움이 되지 않음을 보여준다.