[논문 리뷰] On optimising quantum communication in verifiable quantum computing

Theodoros Kapourniotis, Vedran Dunjko외 1명|arXiv (Cornell University)|2015. 06. 23.

Quantum Computing Algorithms and Architecture참고 문헌 20인용 수 9

한 줄 요약

이 논문은 FK 프로토콜의 낮은 양자 자원 요구량과 ABE 프로토콜의 선형 통신 스케일링을 결합한 하이브리드 양자 검증 프로토콜을 제안한다. ABE 프로토콜을 위한 단일-큐비트 상태를 FK 프로토콜을 사용해 원격으로 준비함으로써, 하이브리드 접근법은 선형 양자 통신 복잡도를 달성하면서도 검증자가 단일 큐비트 상태 준비 기능만을 요구하여 자원 오버헤드를 크게 줄였으며, 보안성이나 검증 정밀도를 훼손하지 않는다.

ABSTRACT

In the absence of any efficient classical schemes for verifying a universal quantum computer, the importance of limiting the required quantum resources for this task has been highlighted recently. Currently, most of efficient quantum verification protocols are based on cryptographic techniques where an almost classical verifier executes her desired encrypted quantum computation remotely on an untrusted quantum prover. In this work we present a new protocol for quantum verification by incorporating existing techniques in a non-standard composition to reduce the required quantum communications between the verifier and the prover.

연구 동기 및 목표

• 보안성과 정확성을 유지하면서도, 검증 가능한 양자 계산에서의 양자 통신 및 자원 오버헤드를 줄이기.
• FK 프로토콜의 최소한의 양자 능력과 ABE 프로토콜의 선형 통신 스케일링을 조합하기.
• 단일 큐비트 상태 준비 능력만을 갖는 검증자가 신뢰할 수 없는 프로버에게 일반 양자 계산을 안전하게 위임할 수 있도록 하기.
• 출력 상태가 검증자에게 반환되지 않으며 트랩을 포함하지 않더라도 하이브리드 프로토콜이 여전히 보안성을 유지함을 증명하기.
• 프로토콜 중 고전적 통신이 눈먼성 또는 검증 보안성을 손상시키지 않도록 보장하기.

제안 방법

• 검증자는 FK 프로토콜을 사용해 프로버 측에 얽힌 인코딩된 상태를 원격으로 준비하지만, 이를 회수하지 않고, 프로토콜의 눈먼성 특성을 활용한다.
• 검증자는 공개적으로 출력 큐비트의 위치를 국소화하기 위해 수정된 눈먼 계산을 수행하며, 트랩 위치를 드러내지 않는다.
• 출력 상태는 트랩을 포함하지 않지만, ABE 프로토콜의 검출 메커니즘 하에서 검증 가능하도록 올바른 논리적 구조를 유지한다.
• 프로버의 어떤 이심 행위도 ABE 검증 단계에서 높은 확률로 탐지되며, 이는 이심 행위가 비밀 매개변수에 독립적이어야 한다는 조건 하에 성립한다.
• ABE 단계 동안의 고전적 통신이 정보 泄露를 일으키지 않아, 프로토콜의 눈먼성과 보안성을 유지함을 보여준다.
• 보안 분석을 통해 추적 및 대칭성에 의해 공격자 공격를 파울리 연산으로 환원함으로써, 양자 오류 수정 코드를 사용해 검출 오류에 대한 경계를 도출한다.

실험 결과

연구 질문

• RQ1 검증 가능한 양자 계산의 양자 통신 비용을 보안성과 최소한의 검증자 양자 능력 유지를 바탕으로 줄일 수 있는가?
• RQ2 FK 프로토콜의 눈먼성 특성을 활용해 ABE 프로토콜의 입력 상태를 검증자가 저장하거나 측정하지 않고도 원격으로 준비할 수 있는가?
• RQ3 FK 단계의 최종 출력 상태에서 트랩이 없으면 이후 ABE 검증 단계의 보안성이 손상되는가?
• RQ4 ABE 단계 동안의 고전적 통신이 전체 하이브리드 프로토콜의 눈먼성 특성을 위반하는 정보를 泄露할 수 있는가?
• RQ5 비균일한 공격 전략이 하이브리드 프로토콜의 검출 확률에 어떤 영향을 미치는가?

주요 결과

• 하이브리드 프로토콜은 입력 크기와 선형적인 양자 통신 복잡도를 달성하며, ABE 프로토콜의 효율성과 FK 프로토콜의 최소한의 양자 자원 요구 조건을 모두 유지한다.
• 검증자는 형태 $ T^{c_i}S^{b_i}Z^{a_i}|+_{0} angle $ 의 단일 큐비트 상태만 준비하면 되며, 여기서 $ a_i, b_i, c_i $ 는 $ extbf{F}_d $ 에서 임의로 선택되며, $ d = O(1/\log(\epsilon)) $ 이다.
• 프로토콜은 $ O(n\text{Polylog}(1/\epsilon)) $ 개의 분리된 단일 큐비트 상태와 고전적 통신 라운드를 요구하며, 둘 다 계산 크기 $ n $ 과 선형적이다.
• 공격자에 의한 이심 행위의 검출 오류는 $ \epsilon_1 = \sqrt{(1/c)^{d_1}} $ 과 $ \epsilon_2 = (1/2)^{d_2} $ 로 경계되며, 여기서 $ d_1 $ 과 $ d_2 $ 는 사용된 양자 오류 수정 코드의 매개변수이다.
• 출력 상태가 검증자에게 반환되지 않더라도, 상태 구조가 ABE 입력 요구 조건을 충족하면 프로토콜은 여전히 보안성을 유지한다.
• ABE 단계 동안의 고전적 통신은 눈먼성을 손상시키지 않으며, 파울리 보정과 교환 가능하며 비밀 매개변수를 드러내지 않는다.