[논문 리뷰] Secure Multi-party Quantum Computing

Claude Crépeau, Daniel Gottesman외 1명|ArXiv.org|2002. 06. 20.

Cryptography and Data Security참고 문헌 15인용 수 14

한 줄 요약

이 논문은 다자 간 양자 계산(MPQC)을 위한 정보이론적 안전성 보장을 처음으로 제안한다. 이는 n명의 당사자가 자신의 비밀 양자 입력을 가지고 양자 회로를 계산할 수 있도록 하며, 최대 t < n/6의 당사자가 악성일 경우에도 기밀성과 정확성을 보장한다. 이는 최대 t < n/4의 기만자에 견디는 새로운 검증 가능한 양자 비밀 분배(vQSS) 프로토콜을 통해 달성되며, 이는 최적임을 증명하고, 고장 내성 양자 오류 수정 기법을 활용하여 악성 환경에서도 오류 확률이 지수적으로 작은 수준으로 보장된다.

ABSTRACT

Secure multi-party computing, also called "secure function evaluation", has been extensively studied in classical cryptography. We consider the extension of this task to computation with quantum inputs and circuits. Our protocols are information-theoretically secure, i.e. no assumptions are made on the computational power of the adversary. For the weaker task of verifiable quantum secret sharing, we give a protocol which tolerates any t &lt; n/4 cheating parties (out of n). This is shown to be optimal. We use this new tool to show how to perform any multi-party quantum computation as long as the number of dishonest players is less than n/6.

연구 동기 및 목표

• 당사자가 양자 입력을 보유하고 양자 회로를 계산할 때 기밀성과 정확성을 보장하는, 양자 도메인으로의 안전한 다자 간 계산 확장.
• 딜러가 양자 상태를 n명의 플레이어 간에 분배할 수 있도록 하는 검증 가능한 양자 비밀 분배(vQSS) 프로토콜 설계. 이는 t < n/4의 기만자들이 상태를 손상시키거나 입력을 초과로 탐지할 수 없도록 보장.
• vQSS와 고장 내성 양자 계산을 사용하여 최대 t < n/6명의 플레이어가 부정확할 경우에도 정확성과 기밀성을 유지하는 안전한 MPQC 프로토콜 구축.
• 기본적인 다자 간 양자 프로토콜의 보안을 이상세계 시뮬레이션 프레임워크를 사용해 체계화하며, 고전적 다자 간 계산과 유사한 방식으로 접근.

제안 방법

• CSS 코드를 특별히 사용하여 양자 오류 수정 코드를 활용한 검증 가능한 양자 비밀 분배(vQSS) 프로토콜을 제안하여, 타당성, 완전성, 기밀성을 보장.
• 이중 단계 프로토콜을 적용: (1) 기록 단계에서 딜러는 인코딩된 공유를 통해 양자 상태를 분배하고, (2) 복구 단계에서 지정된 복구자가 고전적 복호화를 통해 상태를 복원.
• 전이적 게이트 구현과 고전적 심플로우 복호화를 통한 오류 탐지 측정을 포함한 고장 내성 양자 계산 기법을 사용하여 안전하게 양자 회로를 평가.
• 이deal-world 모델에서 시뮬레이션 기반 보안 증명을 적용하며, 시뮬레이터가 악성 당사자에 대해 프로토콜을 모의함으로써 이상적인 신뢰당사자 계산과 구분 불가능하게 보장.
• 딜러가 랜덤 선택의 초위상(superposition)을 사용하여 고전적 난수를 기억할 필요 없이 양자 호환 비밀 분배를 가능하게 하는 새로운 기법 도입.
• 확장된 리드-소로몬 코드와 CSS 코드 구조를 활용하여, 악성 조건 하에서도 오류 탐지 및 수정을 지원하는 양자 상태의 이웃 영역 정의.

실험 결과

연구 질문

• RQ1 제한된 수의 부정확한 당사자 존재 하에, 계산적 가정 없이 정보이론적 안전성을 확보한 다자 간 양자 계산이 가능할 수 있는가?
• RQ2 검증 가능한 양자 비밀 분배(vQSS) 프로토콜에서 기각할 수 있는 최대 기만자 수 t는 얼마이며, 이 한계가 최적인가?
• RQ3 고장 내성 양자 오류 수정 기법을 어떻게 변형하여 악성 손상 조건 하에서도 안전한 분산 양자 계산을 가능하게 할 수 있는가?
• RQ4 비밀 분배 시 사용한 난수를 기억할 필요 없이 양자 호환 프로토콜을 가능하게 하는 vQSS 프로토콜을 구성할 수 있는가?
• RQ5 안전한 다자 간 양자 계산의 최대 임계값 t는 얼마이며, 이는 vQSS의 임계값과 어떻게 관련되어 있는가?

주요 결과

• 논문은 최대 t < n/4의 부정확한 당사자에 견디는 검증 가능한 양자 비밀 분배(vQSS) 프로토콜을 구성하고, 이 한계가 최적임을 증명한다: t ≥ n/4일 경우 vQSS는 불가능하다.
• vQSS 프로토콜은 타당성(정확한 복구 상태가 유일하게 복원됨), 완전성(딜러와 복구자가 정직할 경우 정확한 복구), 기밀성(복구 이전에 정보 泄露 없음)을 보장한다.
• 최대 t < n/6의 부정확한 당사자에 견디는 안전한 다자 간 양자 계산(MPQC) 프로토콜을 구성하였으며, 이는 vQSS 프로토콜을 기본 원천으로 사용한다.
• MPQC 프로토콜은 n과 보안 매개수 k에 대해 다항 시간 내에 실행되며, 오류 확률은 k에 대해 지수적으로 감소한다.
• MPQC 프로토콜의 보안은 이상세계 모델에서의 시뮬레이션을 통해 증명되었으며, 신뢰당사자 계산과 구분 불가능함을 보였다.
• 이 프로토콜은 계산적 가정 없이 정보이론적 안전성을 확보하며, CSS 코드와 고전적 심플로우 복호화를 통한 고장 내성 양자 오류 수정 기법에 의존한다.