[논문 리뷰] Information Flow in Secret Sharing Protocols

Elham Kashefi, Damian Markham외 2명|HAL (Le Centre pour la Communication Scientifique Directe)|2009. 09. 24.

Cryptography and Data Security인용 수 6

한 줄 요약

이 논문은 그래프 상태와 플로우를 기반으로 한 그래픽 프레임워크를 제안하여 양자 비밀 공유 프로토콜 내의 정보 흐름을 특성화한다. 이는 새로운 프로토콜의 체계적 구축과 '무의미한 측정'—계산 결과에 영향을 주지 않는 큐비트—를 추가할 수 있는 조건을 규명하는 데 기여한다. 주요 기여는 이러한 무의미한 측정을 위한 必要하고 충분한 조건을 제시한 것으로, 측정 기반 양자 계산 패턴을 비밀 공유 체계로 확장하고, 고장 내성 설계를 지원한다.

ABSTRACT

The entangled graph states have emerged as an elegant and powerful quantum resource, indeed almost all multiparty protocols can be written in terms of graph states including measurement based quantum computation (MBQC), error correction and secret sharing amongst others. In addition they are at the forefront in terms of implementations. As such they represent an excellent opportunity to move towards integrated protocols involving many of these elements. In this paper we look at expressing and extending graph state secret sharing and MBQC in a common framework and graphical language related to flow. We do so with two main contributions. First we express in entirely graphical terms which set of players can access which information in graph state secret sharing protocols. These succinct graphical descriptions of access allow us to take known results from graph theory to make statements on the generalisation of the previous schemes to present new secret sharing protocols. Second, we give a set of necessary conditions as to when a graph with flow, i.e. capable of performing a class of unitary operations, can be extended to include vertices which can be ignored, pointless measurements, and hence considered as unauthorised players in terms of secret sharing, or error qubits in terms of fault tolerance. This offers a way to extend existing MBQC patterns to secret sharing protocols. Our characterisation of pointless measurements is believed also to be a useful tool for further integrated measurement based schemes, for example in constructing fault tolerant MBQC schemes.

연구 동기 및 목표

• 그래프 상태를 기반으로 한 비밀 공유 프로토콜과 측정 기반 양자 계산(MBQC)을 동일한 그래픽 프레임워크로 통합한다.
• 그래프 상태 기반 비밀 공유에서 어떤 플레이어 집합이 비밀에 접근할 수 있는지 또는 접근을 거부당하는지를 그래픽적으로 특성화한다.
• MBQC 패턴에 플로우가 존재할 때 '무의미한 측정'—계산 결과에 영향을 주지 않는 큐비트—를 추가할 수 있는 필요 및 충분한 조건을 도출한다.
• 기존의 MBQC 패턴을 비밀 공유 및 고장 내성 설계에 통합할 수 있도록, 비승인된 플레이어 또는 오차 큐비트를 포함하도록 확장한다.
• 이 프레임워크를 활용해 대칭적이고 확장 가능한 비밀 공유 프로토콜 및 고장 내성 MBQC를 설계할 잠재력을 탐색한다.

제안 방법

• 논문은 그래프 상태에서 '플로우' 개념을 활용하여 MBQC의 실현 가능성을 특성화하며, 엄격한 부분 순서와 홀수 이웃 조건을 활용한다.
• 그래프의 구조와 측정 집합의 홀수 이웃 조건에 기반해, 어떤 플레이어 집합이 비밀에 접근하거나 접근을 거부당하는지를 판단하는 그래픽 규칙을 도입한다.
• 측정이 전체 계산 결과에 영향을 주지 않는 큐비트—무의미한 측정—에 대한 형식적 특성화를 Z 및 X 오차 전파 조건을 통해 개발한다.
• 목표 큐비트 p의 이웃에 포함된 홀수 이웃 Odd(S) ⊆ N(p)를 만족하는 큐비트 집합 S를 구성함으로써 오차 상쇄를 보장한다.
• 측정 각도의 단위 변환을 보장하기 위해, 무의미한 큐비트를 추가하기 전과 후의 단계를 연결하는 단계 맵 분해를 적용한다.
• 일반화된 플로우로 프레임워크를 확장하지만, 대칭 프로토콜에 대한 완전한 특성화는 아직 열려 있는 문제로 남아 있다.

실험 결과

연구 질문

• RQ1 그래프 상태 기반 비밀 공유 프로토콜에서 어떤 플레이어 집합이 비밀에 접근할 수 있고, 어떤 집합은 접근을 거부당하는가?
• RQ2 플로우가 있는 그래프 상태의 그래픽 구조를 어떻게 활용하여 새로운 유효한 비밀 공유 프로토콜을 체계적으로 생성할 수 있는가?
• RQ3 MBQC 패턴에 플로우가 존재할 때 어떤 조건에서 큐비트를 추가하여 그 측정이 '무의미한'—즉, 계산 결과에 영향을 주지 않는—상태로 만들 수 있는가?
• RQ4 무의미한 측정의 추가를 통해 기존 MBQC 패턴에 비밀 공유 기능을 통합할 수 있는가?
• RQ5 이 프레임워크는 비밀 공유 프로토콜에서 어떤 부분집합의 큐비트도 비승인된 것으로 지정할 수 있도록 어떻게 변형할 수 있는가?

주요 결과

• 플로우가 있는 MBQC 패턴에서 큐비트가 무의미한 측정이 되기 위한 必요하고 충분한 조건이 확립되었으며, 이는 대칭적 오차 전파를 통한 Z 및 X 오차 상쇄에 기반한다.
• Odd(S) ⊆ N(p) 조건을 만족하는 집합 S의 존재는 p에서 유래하는 Z 오차를 상쇄시키며, X 오차 조건은 측정 각도의 단위 변환 등가성에 의해 보장된다.
• 플레이어 집합의 구조에 따라 액세스가 제한되거나 허용되는 그래픽 구성의 식별을 통해 새로운 비밀 공유 프로토콜의 구축이 가능해진다.
• 기존 MBQC 패턴을 비승인된 플레이어 또는 오차 큐비트를 포함하도록 확장할 수 있어, 비밀 공유 및 고장 내성 기능을 하나의 MBQC 프레임워크에 통합할 수 있다.
• 이 방법은 대칭 비밀 공유 프로토콜을 구축하는 길을 제공하지만, 논문은 전체 대칭성을 달성하는 것은 아직 열려 있는 과제로 지적한다.
• 결과는 비밀 공유를 넘어서, 특히 고장 내성 측정 기반 양자 계산 설계에 유용할 것으로 기대된다.