양자 상태에 대한 비파괴 영지식 증명 및 인증된 숨은 GHZ 상태의 다자 생성

초록

본 논문은 양자 언어에 대한 비대화식 영지식 증명(NIZKoQS)을 최초로 정의하고, 단일 고전 메시지로 수신된 양자 상태의 비파괴 검증을 가능하게 하는 프로토콜을 제시한다. 또한 기존 원격 상태 준비(RSP) 방식의 비용을 크게 낮추어 하나의 양자 중첩만으로 다중 큐비트 상태를 생성하는 방법을 개발하고, 이를 다자간으로 확장해 비밀 자격 증명을 가진 참여자들만이 공유할 수 있는 숨은 GHZ 상태를 익명하게 배포하는 프로토콜을 설계한다. 보안은 학습 오류(LWE) 기반의 난이도 가정에 기반한다.

상세 분석

이 논문은 세 가지 주요 기여를 통합한다. 첫 번째는 “Non‑Interactive Zero‑Knowledge proofs on Quantum States”(NIZKoQS)라는 새로운 개념을 도입한 것이다. 기존 영지식 증명은 고전 언어(NP) 혹은 QMA와 같은 복합 언어에만 적용되었으며, 양자 상태 자체를 증명 대상으로 삼는 경우는 인터랙티브 프로토콜에 의존했다. 저자들은 고전적인 NIZK(공통 참조 문자열 혹은 랜덤 오라클 모델)와 최신 원격 상태 준비(RSP) 기법을 결합해, prover가 전송한 고전 메시지 하나만으로 verifier가 양자 상태가 특정 “양자 언어”(예: BB84 집합, 숨은 GHZ 형태 등)에 속함을 비파괴적으로 확인하도록 설계하였다. 여기서 비파괴성은 검증 과정에서 원래 상태가 변하지 않으며, 이후의 양자 연산에 그대로 활용될 수 있음을 의미한다.

두 번째 기여는 기존 RSP 프로토콜의 효율성을 획기적으로 개선한 점이다. 기존 RSP는 한 번에 한 큐비트만 전송할 수 있었고, 다중 큐비트 상태를 만들기 위해서는 동일 프로토콜을 n번 반복해야 했다. 저자들은 “single‑superposition” 기법을 도입해, 하나의 양자 중첩을 이용해 n개의 큐비트를 동시에 준비하도록 설계하였다. 구체적으로, 서버는 클라이언트가 제공한 고전적인 LWE 기반 암호화된 지시를 받아, 숨은 GHZ 형태(0과 1 사이에 superposition된 다중 큐비트)를 생성한다. 이 과정에서 필요한 양자 연산의 복잡도는 O(n·N)으로, 기존 O(n·M·N) (M≫N)보다 근본적으로 낮아진다.

세 번째는 이 두 기술을 다자간 시나리오에 적용한 “Authorized Hidden GHZ Distribution” 프로토콜이다. 시스템은 (i) 양자 서버 Bob, (ii) 신뢰할 수 있는 클래식 제어자 Cupid, (iii) n명의 양자 신청자 a_i 로 구성된다. Cupid은 사전에 정의된 비밀 자격 증명(패스워드, 서명 등)을 기반으로 지원자 집합 S를 선택하고, 각 지원자는 BLIND 프로토콜을 통해 자신에게 할당된 GHZ 조각을 받는다. 이후 AUTH‑BLIND dist can 프로토콜을 통해 서버는 S에 속한 신청자들만이 얽힌 GHZ 상태를 공유하도록 조정한다. 중요한 점은 (1) 서버와 일부 신청자가 악의적이라 하더라도 지원자 집합 S를 외부에 누설하지 못한다는 “블라인드” 특성, (2) 지원자 외부의 신청자는 GHZ 상태에 전혀 얽히지 않아 서비스 거부 공격을 방어한다는 점이다.

보안 분석은 LWE 문제의 난이도에 기반한다. 저자들은 LWE 기반 암호화 스킴을 사용해 Pauli 키를 암호화하고, 이를 통해 prover가 전송한 양자 상태에 대한 검증 정보를 은폐한다. 또한, NIZKoQS의 정의에 따라 검증자는 증명 자체가 진실임을 알 수 있지만, 증명에 포함된 구체적인 양자 상태나 지원자 정보는 알 수 없게 설계되었다. 논문은 또한 “impossible” 프로토콜을 제시해, 완전한 영지식과 동시에 완전한 블라인드성을 동시에 만족시키는 것이 정보이론적으로 불가능함을 증명한다.

전반적으로 이 연구는 양자 암호학에서 “양자 상태 자체를 증명 대상으로 삼는” 첫 번째 비대화식 영지식 체계를 제공함과 동시에, 실용적인 다자간 GHZ 배포 메커니즘을 제시한다는 점에서 학문적·실용적 의의를 모두 갖는다. 특히 양자 네트워크에서 익명 라우팅, 비밀 공유, 양자 온리온 라우팅 등 다양한 응용 가능성을 열어준다.