[논문 리뷰] Further Limitations on Information-Theoretically Secure Quantum Homomorphic Encryption

Michael Newman|arXiv (Cornell University)|2018. 09. 24.

Cryptography and Data Security참고 문헌 26인용 수 3

한 줄 요약

이 논문은 나야크의 경계를 사용하여 정보이론적(이하 IT)으로 안정된 양자 완전호모모르픽 암호화(QFHE)의 한계를 확장하며, 어떤 IT-안정 QFHE 스킴이라도 초지수적 수의 n비트 부울 함수를 평가할 수 있다면 통신 복잡도가 최소 log|Fₙ| − o(1)여야 한다고 보여준다. 이 경계는 부정확한 IT-안정성 조건 하에서도 유지되며, IT-안정 QFHE에서 기능성과 효율성 사이의 근본적인 상충관계를 입증한다.

ABSTRACT

In this brief note, we review and extend existing limitations on information-theoretically (IT) secure quantum fully homomorphic encryption (QFHE). The essential ingredient remains Nayak's bound, which provides a tradeoff between the number of homomorphically implementable functions of an IT-secure QHE scheme and its efficiency. Importantly, the bound is robust to imperfect IT-security guarantees. We summarize these bounds in the context of existing QHE schemes, and discuss subtleties of the imposed restrictions.

연구 동기 및 목표

• 정보이론적 안정성 보장이 있는 양자 완전호모모르픽 암호화(QFHE)에 대한 기존 제약 조건을 확장하고 명확히 하기.
• IT-안정 QHE 스킴에서 허용 가능한 함수의 수와 통신 효율성 사이의 상충관계 분석하기.
• 이러한 경계가 부정확한 IT-안정성 보장 조건 하에서도 얼마나 견고한지 조사하기.
• 레벨링된 QFHE 스킴이 제한된 함수 클래스를 가진다 하더라도 이러한 제약 조건을 피할 수 있는지 탐색하기.
• 기능적 제약 또는 상호작용 제약 조건 하에서 의미 있는 정보이론적 안정성을 확보하는 효율적인 QFHE 스킴 구축 가능성 평가하기.

제안 방법

• 양자 무작위 액세스 코드에서 유도된 나야크의 경계를 적용하여 IT-안정 QHE에서의 통신 복잡도에 하한을 도출한다.
• QHE에서의 함수 평가 문제를 양자 정보 검색 작업으로 환원하며, 알려진 양자 질의 복잡도 경계를 활용한다.
• 완전한 정확성과 부분 정확성(작은 오차 확률 허용)을 모두 고려하여 경계를 일반화한다.
• 粗모양의 수세기(Counting argument)를 사용하여, 레벨링된 스킴에서 실현 가능한 회로의 수가 입력 크기와 함께 최대 지수적으로 증가함을 보여준다.
• 허용 가능한 함수 집합의 제약 조건이 평가 키 설계 및 정보 泄露와 관련하여 미치는 영향 분석하기.
• 유 등(2014)과 뉴먼 및 시(2018)의 이전 결과를 일반화하여, 하한이 단지 게이트 수가 아닌 함수 클래스 Fₙ의 크기에 의존하도록 확장한다.

실험 결과

연구 질문

• RQ1 정보이론적 안정성 보장이 있는 양자 완전호모모르픽 암호화 스킴은 초지수적 수의 n비트 부울 함수를 평가하면서도 금지된 통신 비용을 피할 수 있는가?
• RQ2 제한된 유출 또는 작은 오차율이 있는 경우와 같은 부정확한 보안 보장 조건 하에서 기존의 금기 결과가 얼마나 견고한가?
• RQ3 다항식 크기의 회로를 효율적으로 평가할 수 있도록 하면서도 의미 있는 정보이론적 안정성을 유지하는 레벨링된 QFHE 스킴을 구축하는 것이 가능한가?
• RQ4 평가 키가 평문에 대한 정보를 어떻게 泄露하는가? 이러한 유출 정보를 활용하여 IT-안정 스킴에서 효율적인 호모모르픽 평가를 가능하게 할 수 있는가?
• RQ5 단일 라운드, 오프라인 QFHE 프로토콜에 대해 복잡도 이론적 가정이 더 강력한 불가능성 결과를 도출할 수 있는가?

주요 결과

• 어느 IT-안정 QHE 스킴이라도 n비트 부울 함수의 집합 Fₙ을 평가할 수 있다면, 통신 복잡도는 최소 log|Fₙ| − o(1)여야 하며, 이는 ε(n) = O(2^−1.01n)인 부정확한 IT-안정성 조건 하에서도 성립한다.
• ε(n) = θ(2^−n)이면서 |Fₙ|가 초지수적으로 증가하는 한, 경계는 유지되며, 이는 상호구분 불가능성에 대한 작은 오차가 있을 경우에도 하한이 견고함을 시사한다.
• 함수의 수와 통신 비용 사이의 상충관계는 나야크의 경계로 형식화된 양자 정보이론적 한계에 의해 본질적으로 제약을 받는다.
• 레벨링된 QFHE 스킴는 이러한 경계에 의해 배제되지 않으며, 입력 크기와 함께 실현 가능한 회로의 수가 최대 지수적으로 증가하기 때문이며, 이는 초지수적 하한을 유도하기에는 부족하다.
• 유 등(2014)과 뉴먼 및 시(2018)의 이전 작업을 일반화하여, 하한이 단지 게이트 수가 아닌 함수 클래스의 크기에 의존하도록 확장하였다.
• 부정확한 정확성 또는 보안 조건은 일반화된 나야크의 경계를 통해 수용 가능하며, 핵심적인 기능성과 효율성 사이의 상충관계는 유지된다.