[논문 리뷰] Quantum statistical zero-knowledge

John Watrous|ArXiv.org|2002. 02. 20.

Quantum Computing Algorithms and Architecture참고 문헌 37인용 수 14

한 줄 요약

이 논문은 정직한 검증자를 위한 양자 통계적 제로지식(QSZK) 상호작용 증명 체계에 대한 형식적 정의를 제안하고, 두 양자 상태가 트레이스 노름에서 가까운지 멀리 떨어져 있는지를 판단하는 양자 상태 구분(QSD) 문제—이 문제는 QSZK에 대해 완전함을 입증한다. 주요 기여는 QSZK ⊆ PSPACE임을 증명하고, 이러한 모든 체계가 단일 큐비트 메시지를 전송하는 단일 라운드 프로토콜로 평행화될 수 있음을 보여주며, 이는 고전적 SZK와 강력한 구조적 유사성을 드러낸다.

ABSTRACT

In this paper we propose a definition for (honest verifier) quantum statistical zero-knowledge interactive proof systems and study the resulting complexity class, which we denote QSZK. We prove several facts regarding this class that establish close connections between classical statistical zero-knowledge and our definition for quantum statistical zero-knowledge, and give some insight regarding the effect of this zero-knowledge restriction on quantum interactive proof systems.

연구 동기 및 목표

• 양자 환경에서의 공식 정의가 부족한 상황에서 정직한 검증자를 위한 의미 있는 양자 통계적 제로지식의 정의를 제시하기 위해.
• 특히 고전적 SZK 및 알려진 복잡도 클래스와의 관계를 포함한 양자 제로지식의 복잡도론적 성질을 조사하기 위해.
• 양자 제로지식이 계산 능력이나 프로토콜 효율성 측면에서 고전적 제로지식보다 우월한 점이 있는지 탐색하기 위해.
• 보편적인 보완성 및 PSPACE에 대한 포함성과 같은 기초 결과를 확립하기 위해.
• 더 일반적이고 암호학적으로 의미 있는 양자 제로지식의 정의를 이해하기 위한 기초를 마련하기 위해.

제안 방법

• 검증자의 시야를 근사할 수 있는 다항시간 양자 시뮬레이터의 존재를 바탕으로 정직한 검증자를 위한 양자 통계적 제로지식의 정의를 제안한다.
• 입력으로 두 개의 양자 회로가 혼합 상태를 준비하는 문제인 양자 상태 구분(QSD) 문제를 QSZK에 대해 완전한 문제로 식별한다.
• 밀도 행렬 간의 트레이스 노름 거리를 구분 기준으로 사용하며, 상태들이 또는 가까운(≤α) 또는 먼(≥β) 것으로 약속된다.
• 트레이스 노름 추정이 NC(2^n)에서 수행될 수 있음을 보여주기 위해 양자 회로 시뮬레이션 및 행렬 계산 기법을 활용한다. 이는 PSPACE 포함성을 암시한다.
• 기존의 고전적 상호작용 증명의 평행화 결과를 활용하고, 이를 양자 환경에 적응시켜 단일 라운드 동등성을 입증한다.
• 양자 상태 준비 및 트레이스 노름 계산이 공간 효율적인 양자 알고리즘을 통해 충분한 정밀도로 근사 가능하다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 고전적 SZK를 일반화하면서도 계산적으로 의미 있는 자연스러운 양자 통계적 제로지식의 형식적 정의가 존재하는가?
• RQ2 양자 제로지식 증명 체계는 단일 라운드 프로토콜로 평행화될 수 있으며, 그 최소 통신 요구량은 무엇인가?
• RQ3 QSZK 복잡도 클래스는 PSPACE 및 SZK와 같은 고전적 복잡도 클래스와 어떻게 관련되어 있는가?
• RQ4 고전적 SZK에 속하지 않는 QSZK에 속하는 문제들이 존재하는가? 이는 제로지식 계산에서의 양자적 우월성을 암시하는가?
• RQ5 QSD 문제는 양자 정보 및 복잡도 이론의 다른 자연스러운 문제들과 어떤 관계가 있는가?

주요 결과

• 양자 상태 구분(QSD) 문제는 QSZK에 대해 완전하며, 사하이와 바드한의 고전적 완전 문제에 대한 양자적 대응이 된다.
• QSZK는 보완에 대해 닫혀 있으며, 이는 고전적 SZK의 핵심 성질을 그대로 따르는 것이다.
• QSZK는 PSPACE에 포함되어 있으며, 일반적인 양자 상호작용 증명과 PSPACE 간의 관계가 알려져 있지 않음에도 불구하고 강력한 상계를 확립한다.
• 모든 정직한 검증자를 위한 양자 통계적 제로지식 증명 체계는 단일 라운드 프로토콜로 평행화될 수 있으며, 이 경우 증명자는 단 한 개의 큐비트만 전송함으로써 완전성 오차와 타당성 오차를 지수적으로 작게 유지할 수 있다.
• 양자 회로에 의해 준비된 두 양자 상태 간의 트레이스 노름 거리는 NC(2^n)에서 O(1) 비트의 정밀도로 근사 가능하며, 이는 QSD가 PSPACE에 속해 있음을 암시한다.
• 결과적으로, 양자 모델이 보안 정의에 있어 새로운 복잡성을 도입하더라도 고전적 제로지식과의 깊은 구조적 유사성이 드러나 있다.