[논문 리뷰] Non-Interactive Statistically-Hiding Quantum Bit Commitment from Any Quantum One-Way Function

Takeshi Koshiba, Takanori Odaira|arXiv (Cornell University)|2011. 02. 16.

Cryptography and Data Security참고 문헌 26인용 수 6

한 줄 요약

이 논문은 임의의 양자 일방함수를 기반으로 하여, 계산적 유사기밀성과 통계적 기밀성을 확보한 비상호작용적, 통계적으로 은폐되는 양자 비트 기록 기법을 제안한다. 이는 상호작용 해싱 정리의 새로운 양자 유사체를 통해 실현되며, 약한 유한성 기록의 병렬 구성과 짝짓기 독립 해싱을 활용하여 최소한의 라운드 복잡도로 효율적인 비상호작용 보안을 달성한다.

ABSTRACT

We provide a non-interactive quantum bit commitment scheme which has statistically-hiding and computationally-binding properties from any quantum one-way function. Our protocol is basically a parallel composition of the previous non-interactive quantum bit commitment schemes (based on quantum one-way permutations, due to Dumais, Mayers and Salvail (EUROCRYPT 2000)) with pairwise independent hash functions. To construct our non-interactive quantum bit commitment scheme from any quantum one-way function, we follow the procedure below: (i) from Dumais-Mayers-Salvail scheme to a weakly-hiding and 1-out-of-2 binding commitment (of a parallel variant); (ii) from the weakly-hiding and 1-out-of-2 binding commitment to a strongly-hiding and 1-out-of-2 binding commitment; (iii) from the strongly-hiding and 1-out-of-2 binding commitment to a normal statistically-hiding commitment. In the classical case, statistically-hiding bit commitment scheme (by Haitner, Nguyen, Ong, Reingold and Vadhan (SIAM J. Comput., Vol.39, 2009)) is also constructible from any one-way function. While the classical statistically-hiding bit commitment has large round complexity, our quantum scheme is non-interactive, which is advantageous over the classical schemes. A main technical contribution is to provide a quantum analogue of the new interactive hashing theorem, due to Haitner and Reingold (CCC 2007). Moreover, the parallel composition enables us to simplify the security analysis drastically.

연구 동기 및 목표

• 임의의 양자 일방함수를 기반으로 하여 통계적 기밀성과 계산적 유사기밀성을 갖춘 비상호작용적 양자 비트 기록 기법을 구축하는 것.
• 이전 기법들이 양자 일방순환함수에 의존하여 쇼어의 알고리즘에 의해 불안정해지는 문제를 해결하는 것.
• 기존의 양자 기록 프로토콜을 일반적인 양자 일방함수라는 최소한의 가정 하에 일반화하는 것.
• 병렬 구성과 새로운 양자 상호작용 해싱 정리의 활용을 통해 보안 분석을 단순화하는 것.
• 고도의 라운드 복잡도를 가지는 고전적 기법들과는 달리, 비상호작용성을 유지하면서도 강력한 기밀성과 유사기밀성을 확보하는 것.

제안 방법

• 두 기록 기법을 병렬 실행하여 1-중 2-기록 유사기밀성을 구현하는 프로토콜을 구성한다. 이 중 하나는 유사기밀성이고, 다른 하나는 반드시 유사기밀성이 아니어도 된다.
• 양자 환경에서 기밀성 강화를 가능하게 하기 위해 새로운 상호작용 해싱 정리의 양자 유사체를 개발한다.
• 병렬 기록의 출력에 짝짓기 독립 해싱 함수를 적용하여 통계적 기밀성을 달성한다.
• 두 단계 구조를 사용한다: 기록 단계에서는 병렬 기록을 수행하고, 공개 단계에서는 복호화 결과의 동일성 검사를 통해 위조 탐지.
• 최종 프로토콜은 서로 다른 매개변수를 가진 여러 인스턴스를 조합하여, 최적의 t 값이 알려지지 않은 상황에서도 통계적 기밀성을 보장한다.
• 보안은 기반 함수 집합의 양자 일방성에 대한 감소를 통해 증명되며, 매개변수를 조정하여 원하는 기밀성 및 유사기밀성 보장을 달성한다.

실험 결과

연구 질문

• RQ1 임의의 양자 일방함수로부터 비상호작용적이고 통계적으로 은폐되는 양자 비트 기록을 구성할 수 있는가? 특히, 양자 일방순환함수에 의존하지 않고서도 가능한가?
• RQ2 적대자가 병렬 기록을 모두 관찰할 수 있는 상황에서, 양자 환경에서 기밀성을 어떻게 강화할 수 있는가?
• RQ3 비상호작용 환경에서 통계적 기밀성을 달성하기 위해 필요한 고전적 상호작용 해싱 정리의 양자 유사체는 무엇인가?
• RQ4 분석을 단순화하면서도 병렬 구성에 기반한 보안을 유지할 수 있는가?
• RQ5 일반적인 양자 일방함수에서 유사기밀성과 통계적 기밀성을 동시에 확보할 수 있는 비상호작용 프로토콜을 설계할 수 있는가?

주요 결과

• 제안된 프로토콜은 보안 매개변수 s(n) = n^ω(1)를 가진 임의의 양자 일방함수 집합에 대해 통계적 기밀성과 계산적 유사기밀성을 달성한다.
• 기존의 상호작용 해싱 정리의 새로운 고전적 유사체를 기반으로 한 비상호작용 양자 해싱 정리가 구성되어 기밀성 강화를 가능하게 한다.
• 이 기법은 비상호작용적이며, 발신자로부터 단 한 번의 메시지만으로도 기능하므로, 고도의 라운드 복잡도를 가지는 고전적 통계적 기밀성 기법들과 비교해 큰 이점이 있다.
• Δ₁ = Δ₂ = 1/4 log s(n)로 설정함으로써 적절한 t 값에 대해 계산적 유사기밀성과 통계적 기밀성을 동시에 확보할 수 있다.
• 최종 프로토콜(Protocol 4)은 서로 다른 매개변수를 가진 여러 인스턴스를 조합하여, 알려지지 않은 최적의 t 값에 관계없이 통계적 기밀성을 보장한다.
• 병렬 구성 덕분에 보안 분석이 단순화되어, 기반 함수 집합의 양자 일방성에 대한 깔끔한 감소가 가능해졌다.