[논문 리뷰] Zero-knowledge against quantum attacks

John Watrous|ArXiv.org|2005. 11. 03.

Cryptography and Data Security참고 문헌 19인용 수 4

한 줄 요약

이 논문은 양자 다항시간 대상에 대해 안전한 제로지식 상호작용 증명 체계를 위한 첫 번째 일반적 프레임워크를 수립한다. 양자 계산적으로 은폐되는 기초 기반 기반의 암호화 기반을 가정할 때, 고전적 제로지식 프로토콜과 양자 통계적 제로지식 증명(QSZK_HV)이 검증자가 양자 계산을 사용하더라도 여전히 제로지식임을 증명한다.

ABSTRACT

This paper proves that several interactive proof systems are zero-knowledge against quantum attacks. This includes a few well-known classical zero-knowledge proof systems as well as quantum interactive proof systems for the complexity class HVQSZK, which comprises all problems having "honest verifier" quantum statistical zero-knowledge proofs. It is also proved that zero-knowledge proofs for every language in NP exist that are secure against quantum attacks, assuming the existence of quantum computationally concealing commitment schemes. Previously no non-trivial proof systems were known to be zero-knowledge against quantum attacks, except in restricted settings such as the honest-verifier and common reference string models. This paper therefore establishes for the first time that true zero-knowledge is indeed possible in the presence of quantum information and computation.

연구 동기 및 목표

• 양자 대상이 존재하는 상황에서 제로지식의 형식적 정의와 보안 모델을 수립하기 위해.
• 검증자가 양자 컴퓨터인 경우에도 알려진 고전적 제로지식 프로토콜이 여전히 안전함을 보여주기 위해.
• 특히 QSZK_HV 클래스에 대해 제로지식의 개념을 양자 상호작용 증명 체계로 확장하기 위해.
• 양자 계산적으로 은폐되는 기반 기반의 암호화 기반을 가정할 경우, NP가 양자 보안 제로지식 증명을 가질 수 있음을 보여주기 위해.
• 양자 세계에서 진정의 제로지식이 가능한가라는 오랫동안 미해결된 열린 문제를 해결하기 위해.

제안 방법

• 특히 리워핑 전략을 활용하여 고전적 제로지식 시뮬레이션 기법을 양자 환경에 적응시킴.
• 검증자를 블랙박스로 간주하고 양자 측정 및 상태 준비를 활용하는 양자 시뮬레이터를 사용함.
• 하이브리드 추론을 적용하여 양자 기반 기반에 의한 성공 확률의 편차를 제한하고, 이 편차가 고전적 값에서 무시할 수 없을 정도로 작다는 것을 보임.
• 비균일한 양자 회로 모델을 사용하여, 시뮬레이터의 출력이 실제 상호작용과 계산적으로 구별 불가능함을 입증함.
• 핵심 연산자 Q의 고유값 구조를 분석하여, 이상적인 행동에서의 변동이 무시할 수 있을 정도로 작다는 것을 보임.
• 양자 계산적으로 은폐되는 기반 기반의 암호화 기반의 존재에 의존하며, 이는 양자 일방향 순열에서 유도됨.

실험 결과

연구 질문

• RQ1 검증자가 양자 컴퓨터인 경우 고전적 제로지식 프로토콜이 여전히 안전할 수 있는가?
• RQ2 실제 상호작용과 구별 불가능한 출력을 생성할 수 있는 양자 검증자를 위한 시뮬레이터를 구성할 수 있는가?
• RQ3 양자 계산적 기반 기반은 양자 환경에서 안전한 제로지식 증명을 가능하게 하는가?
• RQ4 골드레히크, 사하이, 바드한의 통계적 제로지식 프로토콜이 양자 공격에 대해 안전하다고 증명할 수 있는가?
• RQ5 양자 제로지식은 동시적 및 리셋 가능한 제로지식 프로토콜에 어떤 영향을 미치는가?

주요 결과

• 논문은 그래프 이somorphism 및 제곱 잔여물성과 같은 잘 알려진 고전적 제로지식 증명 체계가 양자 다항시간 검증자에 대해 여전히 제로지식임을 증명한다.
• 표준 양자 정의에 따라 QSZK_HV 클래스에 대한 양자 상호작용 증명 체계가 제로지식임을 수립한다.
• 양자 계산적으로 은폐되는 기반 기반의 암호화 기반의 존재를 가정할 경우, NP에 속하는 모든 언어가 양자 공격에 대해 안전한 제로지식 상호작용 증명 체계를 가진다는 것을 보여준다.
• 기반 기반 연산자 Q의 고유값 구조로 인해, 양자 시뮬레이터의 성공 확률은 이상적인 고전적 경우와 최대 무시할 수 없는 함수 정도로만 편차를 보인다.
• 동일한 가정 하에, 임의의 보조 양자 입력이 존재하더라도 시뮬레이터의 출력은 실제 상호작용과 계산적으로 구별 불가능하다.
• 결과적으로, 양자 세계에서 진정의 제로지식이 가능한가라는 열린 문제를 해결하였으며, 이것이 가능하다고 확인한다.