[논문 리뷰] Breaking and making quantum money: toward a new quantum cryptographic protocol

Andrew Lutomirski, Scott Aaronson외 5명|arXiv (Cornell University)|2009. 12. 21.

Quantum Computing Algorithms and Architecture참고 문헌 10인용 수 34

한 줄 요약

이 논문은 충돌 없는 양자 화폐를 소개한다. 이는 은행조차도 동일한 양자 화폐 상태를 위조할 수 없는 공개키 양자 암호 프로토콜이다. 무작위 행렬과 마르코프 체인을 기반으로 한 방법을 제안하며, 심방 클리크 그래프의 인접 행렬의 최대 고유값이 높은 확률로 유계임을 증명함으로써 기존의 프로토콜에 대한 양자 공격를 가능하게 하고, 잠재적으로 안전한 양자 화폐 프로토콜의 길을 열었다.

ABSTRACT

Public-key quantum money is a cryptographic protocol in which a bank can create quantum states which anyone can verify but no one except possibly the bank can clone or forge. There are no secure public-key quantum money schemes in the literature; as we show in this paper, the only previously published scheme [1] is insecure. We introduce a category of quantum money protocols which we call collision-free. For these protocols, even the bank cannot prepare multiple identical-looking pieces of quantum money. We present a blueprint for how such a protocol might work as well as a concrete example which we believe may be insecure.

연구 동기 및 목표

• 안전한 공개키 양자 화폐 프로토콜을 설계하는 데 오랫동안 미해결된 문제를 해결하기 위해.
• 은행조차도 동일한 복사본을 생성할 수 없는 새로운 유형의 양자 화폐 프로토콜—충돌 없는 양자 화폐—를 제안하기 위해.
• 기존의 양자 화폐 프로토콜의 보안을 분석하여, 이전에 제안된 aaronson-quantum-money 프로토콜이 비안전함을 입증하기 위해.
• 무작위 행렬 이론과 스펙트럼 그래프 성질을 기반으로 한 새로운 양자 화폐 프로토콜의 이론적 청사진을 개발하기 위해.
• 충돌 없는 양자 화폐의 구현 가능성을 탐색하고, 안전한 디지털 거래 분야에서의 잠재적 응용 가능성을 탐색하기 위해.

제안 방법

• 각 화폐 상태가 무작위 각도를 가진 큐비트의 무작위 프로덕트 상태를 사용하여 생성되고, 정규직교 프로젝터를 통해 검증되는 양자 화폐 프로토콜을 제안한다.
• 무작위 행렬을 사용하여 그래프의 인접 구조를 모델링하며, 요소들이 {−1, 0, 1}에서 균일하게 추출된다. 이를 통해 검증 과정을 시뮬레이션한다.
• 스펙트럼 그래프 이론을 적용하여 인접 행렬의 최대 고유값을 유계로 제한함으로써, m 크기의 그래프에서 이 값이 10√m를 초과할 가능성이 적다는 것을 보여준다.
• 마르코프 체인과 행렬 기대치 기법을 사용하여 무작위 교란 하에서 행렬 거듭제곱과 고유값 분포의 행동을 분석한다.
• 집중 경계와 대칭성 추론을 사용하여, 행렬 거듭제곱의 기대 추적값이 지수적으로 감소함을 보여주며, 이는 프로토콜의 보안을 뒷받침한다.
• 반복적으로 그래프를 단순화하고 스펙트럼 방법을 재적용하여, 임의의 c > 0에 대해 크기 c√m의 클리크를 찾는 알고리즘을 확장한다.

실험 결과

연구 질문

• RQ1 기존의 프로토콜이 비안전함이 드러난 바, 계산적 가정 하에 안전한 공개키 양자 화폐 프로토콜을 설계할 수 있는가?
• RQ2 은행조차도 두 개의 동일한 보기에 보이는 화폐 상태를 생성할 수 없는 양자 화폐 프로토콜을 설계할 수 있는가—즉, 충돌 없는 양자 화폐인가?
• RQ3 심방 클리크가 있는 무작위 그래프의 어떤 스펙트럼 성질이 기존의 양자 화폐 프로토콜을 해체하는 데 이용될 수 있는가?
• RQ4 무작위 행렬 이론과 고유값 집중을 어떻게 활용하여 양자 화폐 검증 프로토콜을 설계하거나 분석할 수 있는가?
• RQ5 무작위 그래프에서 클리크를 찾는 데 사용된 스펙트럼 방법을 양자 화폐 프로토콜을 해체하거나 구축하는 데 적응시킬 수 있는가?

주요 결과

• 이전에 제안된 aaronson-quantum-money 프로토콜은 양자 알고리즘이 높은 확률로 화폐 상태를 위조할 수 있음이 입증되어 비안전하다.
• 크기 100√m의 심방 클리크가 있는 무작위 그래프의 인접 행렬의 최대 고유값은 1/m⁴ 이하의 확률로 10√m를 초과하지 않으며, 이는 유계임을 의미한다.
• t < m^{1/3}일 때, 무작위 그래프의 인접 행렬의 t제곱의 기대 추적값은 m^{t/2+1}4^t와 유사하게 행동함을 보여주며, 그래프의 구조에 대한 스펙트럼 분석을 뒷받침한다.
• t = 10 log m일 때, 최대 고유값이 10√m를 초과할 확률은 1/m⁴ 이하이며, 이는 고유값의 강한 집중을 나타낸다.
• 스펙트럼 방법을 사용하여 두 번째로 큰 고유벡터에 기반해, 크기가 적어도 100√m인 심방 클리크를 4/5의 확률로 성공적으로 찾을 수 있었다.
• 반복적으로 그래프를 단순화하고 스펙트럼 알고리즘을 재적용함으로써, 임의의 c > 0에 대해 크기 c√m의 클리크를 찾는 데 성공적으로 확장할 수 있었다.