[논문 리뷰] Optimal quantum strong coin flipping

André Chailloux, Iordanis Kerenidis|ArXiv.org|2009. 04. 09.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 6

한 줄 요약

이 논문은 강한 동전 뒤집기 프로토콜을 신뢰할 수 있는 방법으로 구성하여, $1/\backslashsqrt{2}$ 이론적 하한에 임의로 가까운 도용 확률을 달성한다. 이는 새로운 조합 방법을 사용해 강한 동전 뒤집기를 약한 동전 뒤집기로 환원함으로써 이루어지며, Mochon의 최적 양자 약한 동전 뒤집기 프로토콜을 활용하여 도용 확률에 대한 추가 오차가 매우 작은 근사 최적 보안을 달성한다.

ABSTRACT

Coin flipping is a fundamental cryptographic primitive that enables two distrustful and far apart parties to create a uniformly random bit [Blu81]. Quantum information allows for protocols in the information theoretic setting where no dishonest party can perfectly cheat. The previously best-known quantum protocol by Ambainis achieved a cheating probability of at most 3/4 [Amb01]. On the other hand, Kitaev showed that no quantum protocol can have cheating probability less than $1/\sqrt{2}$ [Kit03]. Closing this gap has been one of the important open questions in quantum cryptography. In this paper, we resolve this question by presenting a quantum strong coin flipping protocol with cheating probability arbitrarily close to $1/\sqrt{2}$. More precisely, we show how to use any weak coin flipping protocol with cheating probability $1/2+ε$ in order to achieve a strong coin flipping protocol with cheating probability $1/\sqrt{2}+O(ε)$. The optimal quantum strong coin flipping protocol follows from our construction and the optimal quantum weak coin flipping protocol described by Mochon [Moc07].

연구 동기 및 목표

• 가장 잘 알려진 양자 강한 동전 뒤집기 도용 확률($3/4$)과 이론적 하한($1/\sqrt{2}$) 사이의 오랜 격차를 해소하기 위해.
• 임의의 편향 $\varepsilon$를 가진 약한 동전 뒤집기 프로토콜을, 도용 확률이 $1/\sqrt{2} + O(\varepsilon)$ 인 강한 동전 뒤집기 프로토콜로 변환하는 일반적인 방법을 수립하기 위해.
• 양자 강한 동전 뒤집기에서 $1/\sqrt{2}$ 가 최적의 도용 확률인지 여부를 해결하기 위해.
• 기존의 최적의 약한 동전 뒤집기 프로토콜을 사용하여 최적의 하한이 달성 가능한지 보여주기 위해.

제안 방법

• 강한 동전 뒤집기를 약한 동전 뒤집기로 환원하기 위해 $WCF(1/2, \varepsilon)$ 프로토콜을 서브루틴으로 사용한다.
• 핵심 구성 요소는 약한 동전 뒤집기 프로토콜의 편향을 $2 - \sqrt{2}$ 에 가까워지도록 증폭하는 재귀적 구성이다. 이는 목표로 하는 강한 동전 뒤집기 도용 확률과 일치한다.
• 약한 동전 뒤집기 프로토콜을 $k = 2\lceil \log(1/\varepsilon) \rceil$ 라운드 동안 사용하여, $x \approx 2 - \sqrt{2}$ 인 $WCF(x, \varepsilon')$ 프로토콜을 시뮬레이션한다.
• 강한 동전 뒤집기 프로토콜은 한 당사자가 비트를 암묵적으로 확정하고 다른 당사자가 비트를 발표하는 방식으로 구성되며, 결과는 XOR 연산으로 결정되며, 확률적 분석을 통해 도용 확률이 제한됨을 보장한다.
• 분석은 준정적 프로그래밍 기법과 약한 프로토콜의 구조 및 그 증폭에 기반한 도용 확률의 경계를 사용한다.
• 최종 프로토콜은 도용 확률 $\frac{1}{\sqrt{2}} + \sqrt{2}\varepsilon + o(\varepsilon)$ 를 달성하며, 총 라운드 복잡도는 $O(N \log(1/\varepsilon))$ 이다. 여기서 $N$ 은 약한 프로토콜의 라운드 수이다.

실험 결과

연구 질문

• RQ1 양자 강한 동전 뒤집기는 $1/\sqrt{2}$ 의 이론적 하한에 임의로 가까운 도용 확률을 달성할 수 있는가?
• RQ2 작은 편향을 가진 임의의 약한 동전 뒤집기 프로토콜을, 근사 최적의 도용 확률을 가진 강한 동전 뒤집기 프로토콜로 변환할 수 있는 일반적인 방법이 존재하는가?
• RQ3 양자 강한 동전 뒤집기에서 달성 가능한 최소 도용 확률은 무엇이며, 기존의 최적의 약한 동전 뒤집기 프로토콜을 사용하여 이를 달성할 수 있는가?
• RQ4 약한 동전 뒤집기 프로토콜을 조합하여 최적의 강한 동전 뒤집기를 달성할 때, 라운드 복잡도는 어떻게 변화하는가?

주요 결과

• 논문은 도용 확률이 $\frac{1}{\sqrt{2}} + \sqrt{2}\varepsilon + o(\varepsilon)$ 인 양자 강한 동전 뒤집기 프로토콜을 구성한다. 여기서 $\varepsilon$ 는 기반 약한 동전 뒤집기 프로토콜의 편향이다.
• 프로토콜은 $O(N \log(1/\varepsilon))$ 라운드를 사용하며, $N$ 은 약한 동전 뒤집기 프로토콜의 라운드 수이므로, 통신 측면에서 효율적이다.
• 제안된 구성과 Mochon의 최적 약한 동전 뒤집기 프로토콜을 조합함으로써, 도용 확률이 $1/\sqrt{2}$ 에 임의로 가까운 강한 동전 뒤집기 프로토콜을 달성한다.
• 도용 확률은 $P^*_A \leq \frac{1}{\sqrt{2} - 2\varepsilon - \varepsilon^2}$ 와 $P^*_B \leq \frac{\sqrt{2} + 2\varepsilon + \varepsilon^2}{2}$ 로 경계되며, $\varepsilon \to 0$ 일 때 둘 다 $1/\sqrt{2}$ 로 수렴한다.
• 구성은 대칭적이며, 양자 서브루틴을 사용하는 고전적 통신에 기반한다. 이는 핵심 양자 구성 요소가 약한 동전 뒤집기 프로토콜임을 보여준다.
• 이 작업은 오랫동안 남아 있던 양자 강한 동전 뒤집기의 가장 잘 알려진 상한($3/4$)과 이론적 하한($1/\sqrt{2}$) 사이의 격차를 해결한다.