[논문 리뷰] On the Power of Two-Party Quantum Cryptography

Louis Salvail, Christian Schaffner외 1명|arXiv (Cornell University)|2009. 02. 24.

Quantum Information and Cryptography참고 문헌 34인용 수 6

한 줄 요약

이 논문은 비트란 두 당사자 양자 암호 primitive가 정당성 조건만을 전제로 할지라도, 항상 속임수를 당하는 당사자에게 정보를 泄露한다는 것을 입증한다. 양자 정직하지만 호기심 많은 대상자들이 자신의 행동을 순수화하는 방식으로 모델링함으로써, 저자들은 泄露 측도를 정의하고, 비트란 양자 primitive에 대해 모든 프로토콜이 泄露를 야기해야 하며, 특히 무작위 전송과 같은 일반 primitive에 대해 명시적인 하한값을 도출한다.

ABSTRACT

We study quantum protocols among two distrustful parties. Under the sole assumption of correctness - guaranteeing that honest players obtain their correct outcomes - we show that every protocol implementing a non-trivial primitive necessarily leaks information to a dishonest player. This extends known impossibility results to all non-trivial primitives. We provide a framework for quantifying this leakage and argue that leakage is a good measure for the privacy provided to the players by a given protocol. Our framework also covers the case where the two players are helped by a trusted third party. We show that despite the help of a trusted third party, the players cannot amplify the cryptographic power of any primitive. All our results hold even against quantum honest-but-curious adversaries who honestly follow the protocol but purify their actions and apply a different measurement at the end of the protocol. As concrete examples, we establish lower bounds on the leakage of standard universal two-party primitives such as oblivious transfer.

연구 동기 및 목표

• 정당성 조건만을 전제로 하여 두 당사자 양자 프로토콜의 암호학적 능력을 조사하는 것.
• 특히 정직하지만 호기심 많은 양자 대상자들에 대해 정보 泄露를 형식화하고 정량화하는 것.
• 신뢰할 수 있는 제3자와 함께하더라도 비트란 두 당사자 primitive가 泄露 없이 구현될 수 없다는 것을 보여주는 것.
• 무작위 전송과 같은 표준 primitive에 대한 泄露 하한값을 설정하는 것.
• 기존의 개인정보 보호 개념이 아닌 泄露를 기반으로 하여 양자 프로토콜의 개인정보 보존 및 보안을 평가하는 프레임워크를 개발하는 것.

제안 방법

• 저자들은 공동 확률 분포 PX,Y 를 순수 상태 |ψ⟩∈HAA′⊗HBB′ 로 양자 임bedding하는 방식을 정의하며, 이는 A와 B가 계산 기저에서 측정할 때 PX,Y 를 재현한다.
• 측정 이후 정직한 당사자 측의 레지스터의 감소 밀도 행렬의 본드만 엔트로피를 기반으로 한 泄露 측도를 도입한다.
• 프로토콜 전반에 걸쳐 행동을 순수화하는 양자 정직하지만 호기심 많은(QHBC) 대상자를 가정하며, 공동 상태의 순수성을 유지한다.
• 스미스 분해와 양자 정보 이론 도구, 특히 엔트로피 부등식을 사용하여 泄露의 하한값을 유도한다.
• 표준 임베딩(예: |ψ0⟩=∑y|ϕy⟩|y⟩)과 최적 임베딩을 구분하며, 표준 임베딩이 항상 泄露를 최소화하지는 않음을 보여준다.
• 신뢰할 수 있는 제3자에 의해 지원되는 프로토콜로의 분석을 확장하여, 이러한 지원이 암호학적 능력을 증폭시킬 수 없다는 것을 입증한다.

실험 결과

연구 질문

• RQ1 정당성 조건만을 전제로 하여 비트란 두 당사자 양자 primitive가 정보 泄露 없이 구현될 수 있는가?
• RQ2 주어진 두 당사자 primitive에 대해 가능한 최소 泄露는 무엇이며, 이는 primitive의 구조와 어떻게 관련되는가?
• RQ3 primitive의 표준 양자 임베딩이 항상 泄露를 최소화하는가, 아니면 더 나은 임베딩이 존재할 수 있는가?
• RQ4 신뢰할 수 있는 제3자가 두 당사자 양자 프로토콜의 泄露를 제거하거나 감소시키는 데 도움이 될 수 있는가?
• RQ5 프로토콜의 泄露가 기초가 되는 primitive의 비트란성과 어떻게 관련되는가, 특히 비트란 primitive에서의 거리 측면에서 어떻게 나타나는가?

주요 결과

• 비트란 두 당사자 양자 primitive는 정당성 조건만을 전제로 하더라도, 항상 속임수를 당하는 당사자에게 정보를 泄露한다.
• 1-2-ot(1-2-무작위 전송)의 경우, 오차 확률 p < sin²(π/8) ≈ 0.15 일 때, 양의 하한값을 도출한다.
• 표준 임베딩이 항상 泄露를 최소화하지는 않으며, 더 구분 가능한 상태 쌍이 더 높은 엔트로피를 유도하고 따라서 더 적은 泄露를 초래함을 반례로 보여준다.
• primitive PX,Y 를 구현하는 프로토콜의 泄露는 임베딩에 포함된 상태의 구분 가능성에 의해 아래로 제한되며, 이 하한값은 스미스 계수에 따라 달라진다.
• 더 쉬운 primitive에 접근할 수 있는 신뢰할 수 있는 제3자 조차도, 더 어려운 primitive를 위한 어떤 양자 프로토콜도 여전히 정보를 泄露하며, 이는 제거될 수 없다.
• 이 프레임워크는 양자 두 당사자 프로토콜에서의 개인정보 유출이 측정 가능한 泄露로 근본적으로 드러남을 보여주며, 이로 인해 泄露가 기본적인 보안 지표가 된다.