[논문 리뷰] Quantum fully homomorphic encryption scheme based on quantum fault-tolerant construction

Min Liang, Li Yang|arXiv (Cornell University)|2015. 03. 13.

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

한 줄 요약

이 논문은 양자 CSS 코드를 사용한 양자 복원가능한 구성 기반으로 두 가지 양자 완전호환 암호화(QFHE) 체계를 제안한다. 대칭 체계는 암호화 및 복호화를 위한 비밀키로 양자 CSS 코드를 사용하며, 상호작용 없이 암호화된 데이터에 대한 복원가능한 양자 계산을 가능하게 한다. 비대칭 체계는 오류 누적이 관리되도록 주기적인 클라이언트-서버 상호작용을 도입하여, NP-완전 문제에 기반한 계산적 보안을 달성한다.

ABSTRACT

Fully homomorphic encryption is a kind of encryption scheme, which enables arbitrary computation on encrypted data without accessing the data. We present the quantum version of fully homomorphic encryption scheme, which is constructed based on quantum fault-tolerant construction. Two schemes are constructed. The first is a symmetric scheme, and the secret key is the quantum CSS code. In the scheme, when Server performs quantum computation on the encrypted plaintext, some ancillary quantum states should be provided by Client. The second is an asymmetric scheme, which contains the periodical interaction between Client and Server.

연구 동기 및 목표

• 암호화된 양자 데이터에 대해 복호화 없이도 임의의 양자 계산을 수행할 수 있는 양자 완전호환 암호화(QFHE) 체계를 설계하는 것.
• 특히 전이성 게이트와 양자 CSS 코드를 통한 오류 수정을 포함한 복원가능한 양자 계산 기법을 활용하여 암호화된 상태에서 신뢰할 수 있는 계산을 보장하는 것.
• 호환 평가 중 오류 전파 문제를 해결하기 위해 비대칭 체계에서 주기적인 상호작용을 도입하여 축적된 오류를 재설정하는 것.
• 비대칭 변형에서는 계산 난이도(NP-완전 문제)에 기반한 보안을 확립하고, 대칭 변형은 정보 이론적 보안을 제공하는 QFHE 프레임워크를 수립하는 것.
• 특히 보편 게이트 세트에서 비가환 게이트(예: T 게이트)를 구현하기 위해 클라이언트 측에서 보조 상태 준비 또는 상호작용이 필요한지 탐색하는 것.

제안 방법

• 대칭 QFHE 체계는 암호화 및 복호화를 위한 비밀키로 양자 CSS 코드를 사용하며, 평문 상태의 CSS 인코딩과 인코딩된 상태에 무작위 파울리 오차를 적용하여 암호화를 수행한다.
• 복원가능한 양자 게이트(H, CNOT, S)는 물리적 큐비트에 대한 전이성 연산을 통해 구현되어, 논리적 연산이 암호화된 상태를 드러내지 않도록 보장한다.
• CSS 인코더와 가환하지 않는 T 게이트의 경우, 보조 상태를 준비하고 이를 복원가능한 T 게이트 구현에 사용하며, 마법 상태 정제와 유사한 방식을 따른다.
• 비대칭 QFHE 체계는 CSS 코드에서 유도된 공개 키와 매개변수 $ct$를 사용하며, $c \in (0,1)$ 이고 암호화 중에 $ct$개의 무작위 파울리 오차를 적용한다.
• 밥은 암호화된 상태에서 복원가능한 H, T, CNOT 게이트의 버전을 사용하여 양자 계산을 수행하며 오차를 추적한다. 오차가 임계값 $t$에 도달하면 계산이 일시정지된다.
• 주기적인 상호작용이 도입되며, 밥은 상태를 애리스에게 전송하고, 애리스가 비밀키로 복호화하고 재암호화한 후 상태를 다시 밥에게 반환하여 계산을 재시작함으로써 오류 축적을 방지한다.

실험 결과

연구 질문

• RQ1 복원가능한 양자 계산 원리, 특히 양자 CSS 코드를 활용하여 양자 완전호환 암호화 체계를 구축할 수 있는가?
• RQ2 양자 회로의 호환 평가 중 오류 축적 문제를 보안성이나 정확성에 영향을 주지 않고 어떻게 관리할 수 있는가?
• RQ3 클라이언트 측 상호작용 또는 보조 상태 준비가 암호화된 양자 데이터에서 보편 양자 계산을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 정보 이론적 보안(대칭) 또는 계산적 보안(비대칭)을 달성한 QFHE는 가능하며, 오류 제어 및 상호작용 측면에서의 상호 교환 관계는 무엇인가?
• RQ5 T 게이트와 같은 비클리프포드 게이트의 복원가능한 평가를 위해 클라이언트가 보조 상태를 제공하거나 주기적인 오류 보정에 참여하는 것이 필수적인가?

주요 결과

• 대칭 QFHE 체계는 비밀키로 양자 CSS 코드를 사용하여 정보 이론적 보안을 달성하며, 상호작용 없이도 암호화된 양자 상태에서 복원가능한 계산을 수행할 수 있다.
• 비대칭 QFHE 체계는 클라이언트와 서버 간의 주기적 상호작용을 통해 축적된 파울리 오차를 재설정하여, 코드의 오류 임계값을 초월한 계산을 지속 가능하게 한다.
• CSS 코드 프레임워크 내에서 전이성 게이트(H, CNOT, S)를 사용함으로써 논리적 연산이 인코딩과 가환하여 평가 중 정확성이 유지됨을 보장한다.
• T 게이트는 CSS 인코더와 가환하지 않기 때문에 보조 상태 준비 단계가 필요하며, 이는 대칭 체계에서 복원가능한 방식으로 처리된다.
• 비대칭 체계는 NP-완전 문제에 기반한 계산적 보안을 달성하며, 보안은 공개 키 복원 난이도에 의존한다. 반면 대칭 체계의 보안은 정보 이론적이다.
• 논문은 클라이언트 측의 참여—보조 상태 준비 또는 주기적 재암호화—가 암호화된 데이터에서 보편 양자 회로를 안전하게 평가하기 위해 필수적임을 입증한다.