[논문 리뷰] Fault-tolerant Operations for Universal Blind Quantum Computation

Chia-Hung Chien, Rodney Van Meter외 1명|arXiv (Cornell University)|2013. 06. 16.

Quantum Information and Cryptography참고 문헌 9인용 수 6

한 줄 요약

이 논문은 신뢰성 향상을 위해 블라인드 양자 계산 레이어 아래에 양자 오류 수정을 적용하는 두 가지 고장 내성 블라인드 양자 계산 프로토콜을 제안한다. 첫 번째 프로토콜은 [[7,1,3]] 코드를 사용해 클라이언트 측에서 논리 큐비트를 고장 내성적으로 준비하여 클라이언트 큐비트 수를 줄이지만, 소규모 양자 컴퓨터가 필요하다. 두 번째 프로토콜은 큐비트 준비를 서버로 이관하여 클라이언트의 양자 계산이 필요 없어지고 사이드 채널 공격을 방지하지만, 서버의 작업 부담과 대역폭 사용이 증가한다.

ABSTRACT

Blind quantum computation is an appealing use of quantum information technology because it can conceal both the client's data and the algorithm itself from the server. However, problems need to be solved in the practical use of blind quantum computation and fault-tolerance is a major challenge. On an example circuit, the computational cost measured in T gates executed by the client is 97 times more than performing the original computation directly, without using the server, even before applying error correction. (The client still benefits due to drastically reduced memory requirements.) Broadbent et al. proposed running error correction over blind computation, but our first protocol applies one layer of Steane's [[7,1,3]] code underneath instead. This protocol has better fault tolerance, but still results in a substantial overhead. We propose another protocol to reduce the client's computational load by transferring the qubit preparation to the server. For each logical qubit used in the computation, the client is only required to receive eight logical qubits via teleportation then buffer two logical qubits before returning one. This protocol also protects the client's fault-tolerant preparation of logical qubits from a side-channel attack.

연구 동기 및 목표

• 큐비트 준비, 전송 또는 계산 중 발생하는 오류가 보안성과 정확성에 영향을 줄 수 있는 블라인드 양자 계산의 고장 내성 문제를 해결한다.
• 이전 방법에서 실시간 오류 수정이 비현실적이므로, 오류 보정을 클라이언트 측에 직접 적용하여 데이터가 서버에 도달하기 전에 보호함을 보장한다.
• 고장 내성과 사이드 채널 공격 방지를 유지하면서도 클라이언트의 양자 계산 부담을 줄인다.
• 클라이언트가 활성 양자 계산이 필요 없도록, 오직 고전적 통신과 버퍼링만 수행하도록 프로토콜을 설계한다.
• 클라이언트 자원 사용, 서버 작업 부담, 통신 대역폭 간의 트레이드오프를 균형 잡아 고장 내성 블라인드 양자 계산의 실용적 구현 가능성을 확보한다.

제안 방법

• 블라인드 양자 계산 프로토콜 아래에 스테인의 [[7,1,3]] 양자 오류 수정 코드를 적용하여 클라이언트 준비 중 논리 큐비트를 보호한다.
• [[7,1,3]] 코드를 사용해 상태 준비 및 클리포드 연산을 위한 고장 내성 양자 회로를 구현하여 클라이언트 측 계산 중 오류에 대한 내성을 확보한다.
• 양자 텔레포테이션을 사용해 인코딩된 논리 큐비트를 전송함으로써 큐비트 준비 책임을 클라이언트에서 서버로 이관하여, 클라이언트의 큐비트 준비 작업을 수신, 버퍼링, 전송으로만 제한한다.
• 클라이언트 측에서 최대 56개의 논리 큐비트 버퍼를 사용해 도착하는 인코딩된 큐비트를 관리하고, 활성 양자 처리 없이도 계산 흐름을 유지한다.
• 클라이언트가 고장 내성 논리 상태 준비를 수행할 필요가 없어지므로, 시간 또는 전력 소비 측면에서 정보 유출이 가능한 사이드 채널 공격을 방지한다.
• 오류 보정을 클라이언트 및 서버 운영에 모두 통합하여, 노이지 채널이나 양자 리피터 네트워크에서도 오류가 발생하기 전 및 동안에 바로 수정함을 보장한다.

실험 결과

연구 질문

• RQ1 클라이언트 측에서 금지적인 양자 계산 오버헤드를 유발하지 않으면서도 고장 내성은 어떻게 효과적으로 블라인드 양자 계산에 통합할 수 있는가?
• RQ2 고장 내성 블라인드 양자 계산 프레임워크에서 논리 큐비트 준비 책임을 클라이언트에서 서버로 이관할 경우 발생하는 트레이드오프는 무엇인가?
• RQ3 클라이언트 측에서의 논리 상태 준비를 위한 양자 연산이 필요 없어지면, 클라이언트 측에서의 사이드 채널 공격를 방지할 수 있는가?
• RQ4 고장 내성 블라인드 양자 계산의 자원 오버헤드는 비고장 내성 및 표준 고장 내성 양자 회로에 비해 어떻게 비교되는가?
• RQ5 클라이언트 측 버퍼링과 증가한 서버 측 계산 부담은 블라인드 양자 계산의 전체 실현 가능성과 확장성에 어떤 영향을 미치는가?

주요 결과

• 첫 번째 고장 내성 프로토콜은 클라이언트 큐비트 준비를 85,715개에서 22개의 물리 큐비트로 줄였지만, 클라이언트가 900,000개 이상의 T 게이트와 상당한 양자 연산을 수행해야 한다.
• BSA 프로토콜은 클라이언트 측 양자 계산을 완전히 제거하여 56큐비트 버퍼링만 필요로 하며, 상태 준비 과정에서의 사이드 채널 유출 위험을 줄였다.
• BFK 기본 블라인드 양자 계산과 비교할 때, BSA 프로토콜은 서버의 T 게이트 수를 18.9배, 2 큐비트 게이트 수를 1,685배, 측정 수를 313배 증가시켰지만, 고장 내성 목표 회로에 대해 일정 요인의 오버헤드를 유지한다.
• BSA 프로토콜은 첫 번째 고장 내성 프로토콜 대비 클라이언트의 양자 게이트 오버헤드를 97배 감소시켰지만, 고장 내성 목표 회로 대비 서버의 T 게이트 수를 최대 875배 증가시켰다.
• 클라이언트 및 서버 수준에서 오류 보정을 적용함으로써 전면적인 고장 내성을 달성하여, 노이지 채널이나 양자 리피터 네트워크에서도 안전한 계산을 가능하게 한다.
• 자원 분석 결과, BSA 프로토콜은 서버 측 자원 소비를 증가시키지만, 최소한의 양자 하드웨어를 갖춘 클라이언트가 블라인드 양자 계산을 실현 가능하게 하여 클라우드 기반 양자 서비스에서의 실용적 구현 가능성을 제공한다.