⚛️ quantum physics

Quantum Homomorphic Encryption: Towards Practical and Private Computation on Untrusted Quantum Hardware

이 논문은 양원 원회 (QOTP) 기반의 범용 양자 동형 암호화 (QOTPH) 프레임워크를 제안하여, 정보이론적 보안을 유지하면서 클리퍼드+T 게이트 및 변분 양자 알고리즘에 필요한 연산을 암호화된 양자 상태 위에서 비대화적으로 수행할 수 있게 하고, 시뮬레이션 및 실제 양자 프로세서 실험을 통해 그 정확성과 실용성을 입증했습니다.

원저자: Jon Hernández-Bueno, Oscar Lage, Marivi Higuero, Jasone Astorga

게시일 2026-04-22

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Jon Hernández-Bueno, Oscar Lage, Marivi Higuero, Jasone Astorga

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

1. 문제 상황: "내 데이터를 맡기는데, 누가 훔쳐볼까?"

우리가 클라우드 서비스 (예: IBM 양자 컴퓨터) 에 복잡한 계산을 맡길 때, 보통 두 가지 선택지가 있습니다.

데이터를 풀어서 맡기기: 계산은 빠르지만, 서버 운영자가 내 비밀 (개인정보, 특허 등) 을 다 볼 수 있습니다.
데이터를 잠그고 맡기기: 보안은 완벽하지만, 서버는 잠긴 상자를 열지 못하므로 계산을 할 수 없습니다.

이 논문은 **"상자를 열지 않고도, 그 안에서 계산을 마칠 수 있게 하는 방법"**을 찾아냈습니다.

2. 핵심 아이디어: "양자 원패드 (QOTP) 와 마법 같은 키"

저자들은 **'양자 원패드 (Quantum One-Time Pad, QOTP)'**라는 아주 강력한 암호 기술을 기반으로 새로운 시스템을 만들었습니다.

비유: "무작위하게 섞인 카드 덱"
imagine imagine 당신이 계산할 데이터가 카드 덱이라고 칩시다. 서버에게 이 덱을 맡기기 전에, 당신은 **완전히 무작위로 섞인 새로운 카드 (암호화)**를 덱 위에 덮어씌웁니다. 서버는 이 카드가 어떤 내용인지 전혀 알 수 없습니다.
핵심 기술: "계산할 때마다 키를 바꾼다"
여기서 가장 중요한 부분은 서버가 계산을 할 때입니다. 보통 암호화된 데이터는 계산하면 암호가 깨지거나 엉망이 됩니다. 하지만 이 논문은 **"서버가 계산 (게이트) 을 할 때마다, 당신이 미리 정해둔 규칙에 따라 암호 키를 자동으로 업데이트하는 방법"**을 찾아냈습니다.
- 비유: "변신하는 자물쇠"
  서버가 "A 카드와 B 카드를 더하라"고 계산하면, 자물쇠는 자동으로 변형되어 "A 와 B 를 더한 결과"를 여전히 잠근 상태로 유지합니다. 서버는 계산 과정만 수행하고, 결과가 어떤지, 원래 데이터가 무엇인지는 전혀 알 수 없습니다. 오직 당신만 가진 '비밀 키'로 마지막에 잠금을 풀면, 정확한 계산 결과가 나옵니다.

3. 어떻게 작동하나요? (3 단계 프로세스)

이 시스템은 크게 세 단계로 작동합니다.

잠금 (Encryption):
당신이 데이터를 양자 컴퓨터에 보내기 전, 무작위로 생성된 '비밀 키'로 데이터를 암호화합니다. 이때 데이터는 완전히 무작위처럼 변해버려서, 누구도 내용을 알 수 없습니다.
계산 (Homomorphic Evaluation):
서버 (양자 컴퓨터) 는 암호화된 데이터를 받아서 계산합니다. 이때 서버는 자신의 계산 규칙에 따라 암호 키를 자동으로 수정합니다. 서버는 "내가 지금 뭘 계산했는지"는 알 수 있지만, "무엇을 계산했는지 (데이터 내용)"는 모릅니다.
해금 (Decryption):
계산이 끝나면 서버는 암호화된 결과를 당신에게 돌려줍니다. 당신은 받은 결과에 당신의 '비밀 키'를 적용하여 잠금을 풉니다. 이제야 진짜 계산 결과가 나타납니다.

4. 실험 결과: "실제 양자 컴퓨터에서도 통했다!"

이론만으로는 부족했기에, 연구진은 실제 IBM 의 양자 컴퓨터 (IBM Basquecountry) 에서 이 기술을 테스트했습니다.

결과: 5 개부터 40 개까지의 양자 비트 (큐비트) 를 사용한 다양한 계산에서, 암호화 없이 계산한 결과와 93%~99% 이상의 정확도로 일치했습니다.
의미: 현재의 양자 컴퓨터는 잡음 (오류) 이 많지만, 이 암호화 방식이 그 잡음 때문에 계산이 망가뜨리는 것은 아니라는 것을 증명했습니다. 즉, 기술적으로 실현 가능한 수준에 도달했습니다.

5. 왜 이것이 중요한가요? (일상적인 예시)

의료 데이터: 병원이 환자의 유전 정보를 양자 AI 에 맡겨 질병을 분석하게 할 때, 환자나 병원은 서버 운영자가 유전 정보를 볼까 봐 걱정하지 않아도 됩니다.
금융 보안: 은행이 고객의 복잡한 자산 데이터를 양자 컴퓨터에 맡겨 최적의 투자 전략을 짜게 할 때, 서버는 계산만 하고 고객 정보는 절대 알 수 없습니다.
블록체인: 블록체인 같은 분산 시스템에서 데이터를 검증할 때, 데이터 내용을 공개하지 않고도 검증이 가능합니다.

6. 한계와 미래

물론 아직 완벽하지는 않습니다.

현재의 한계: 양자 컴퓨터가 아직 완벽하지 않아 (오류가 있어) 계산이 너무 길어지면 결과가 조금씩 틀어질 수 있습니다. 하지만 이는 양자 컴퓨터 기술이 발전하면 해결될 문제입니다.
보안 강화: 서버가 "어떤 계산을 했는지 (알고리즘)"는 알 수 있지만, "무엇을 계산했는지 (데이터)"는 모릅니다. 앞으로는 "어떤 계산을 했는지"까지 숨기는 기술 (블라인드 양자 컴퓨팅) 과 결합하면 더 완벽해질 것입니다.

요약

이 논문은 **"불신하는 상대방에게 내 비밀을 맡겨도, 그 사람이 내 비밀을 전혀 모른 채 계산하게 하는 양자 암호 기술"**을 실제로 만들어냈습니다. 이는 미래의 양자 클라우드 시대에 데이터 프라이버시를 지키는 핵심 열쇠가 될 것입니다.

논문 요약: 양자 동형 암호화 (QHE) 를 통한 신뢰할 수 없는 양자 하드웨어에서의 실용적이고 프라이버시 보호된 계산

1. 문제 제기 (Problem)

배경: 양자 컴퓨팅이 실용화됨에 따라, 신뢰할 수 없는 클라우드 환경 (예: IBM Quantum 등) 에서 데이터를 암호화된 상태로 처리해야 할 필요성이 급증하고 있습니다.
현재의 한계: 고전 컴퓨팅에서는 완전 동형 암호화 (FHE) 가 발전하여 암호화된 데이터에 대한 계산을 가능하게 했지만, 양자 컴퓨팅 분야에서는 실용적으로 구현 가능한 완전 동형 암호화 (QHE)方案이 부재합니다.
기술적 장벽: 기존 양자 암호화 방식 (예: 양원 원일회 패드, QOTP) 은 정보 이론적 보안성을 제공하지만, 암호화된 상태에 직접 계산을 수행할 수 없습니다. 이는 양자 게이트와 파울리 (Pauli) 연산자 간의 비가환성 (non-commutativity) 으로 인해 암호화 구조가 깨지기 때문입니다.
목표: 이론적 모델과 실제 양자 하드웨어 구현 사이의 간극을 해소하고, 신뢰할 수 없는 제 3 자에게 암호화된 양자 상태를 안전하게 위임하여 계산할 수 있는 프레임워크를 구축하는 것입니다.

2. 방법론 (Methodology)

저자들은 **양자 원일회 패드 (QOTP)**를 기반으로 한 범용 양자 동형 암호화 프레임워크 (QOTPH) 를 제안했습니다. 핵심 접근 방식은 다음과 같습니다.

QOTP 기반 암호화: 각 큐비트마다 무작위 고전 비트 $(j, k)$ 를 사용하여 $X^j Z^k$ 연산을 적용하여 상태를 암호화합니다. 이는 정보 이론적 보안성을 보장합니다.
게이트별 키 업데이트 규칙 (Key Update Rules):
- 암호화된 상태에 게이트를 적용할 때, 암호화 키가 어떻게 변형되는지 분석하여 키 업데이트 규칙을 유도했습니다.
- Clifford+T 게이트 세트를 포함한 범용 게이트 집합 (제어 게이트, 매개변수화 게이트 등) 에 대해 명시적인 변환 규칙을 정의했습니다.
- 예: $H$ 게이트 적용 시 키 $(j, k)$ 가 $(k, j)$ 로 교환되고, $CNOT$ 게이트 적용 시 제어 및 타겟 큐비트의 키가 상호작용하여 업데이트됩니다.
비상호적 (Non-interactive) 평가: 클라이언트와 평가자 (양자 하드웨어) 간의 추가 통신 없이, 게이트 시퀀스와 현재 키 상태만으로 암호화 키를 추적하며 계산을 수행합니다.
구현 프로토콜:
1. 상태 준비 및 암호화: 입력 데이터를 양자 상태로 준비하고 QOTP 로 암호화합니다.
2. 동형 게이트 평가: 회로를 구성하는 각 게이트에 대해 동형 버전의 게이트를 적용하고 키를 업데이트합니다.
3. 결과 추출:
  - 알고리즘 1 (회로 내 복호화): 양자 하드웨어 내에서 복호화 후 측정.
  - 알고리즘 2 (로컬 복호화): 암호화된 측정 결과를 하드웨어에서 반환받고, 클라이언트가 로컬에서 키를 이용해 복호화 (이 경우 하드웨어는 평문을 알 수 없음).
4. 보안 강화: 무작위 Swap 게이트를 도입하여 큐비트 위치를 섞어 데이터 추적을 어렵게 만들 수 있습니다.

3. 주요 기여 (Key Contributions)

범용 QOTP 기반 QHE 프레임워크 제안: Clifford 게이트뿐만 아니라 T 게이트 및 제어 게이트를 포함한 범용 양자 회로에 대해 동형 계산을 지원하는 최초의 체계적인 모델 중 하나입니다.
실제 하드웨어 검증: 이론적 모델을 넘어, IBM Quantum (Heron r2 프로세서, 156 큐비트) 및 시뮬레이터에서 실제 실험을 통해 프로토콜의 유효성을 입증했습니다.
명시적 키 추적 메커니즘: 암호화 키의 진화를 수학적으로 분석하여, 암호화된 상태에서도 논리적 계산이 정확히 유지되도록 하는 자동화된 키 업데이트 규칙을 제시했습니다.
프라이버시 보호 메커니즘: 암호화된 결과를 하드웨어에 반환하고 로컬에서 복호화하는 방식을 통해, 서비스 제공자가 절대 평문이나 비밀 키를 알 수 없음을 보장합니다.

4. 실험 결과 (Results)

정확도 (Fidelity):
- 시뮬레이터: 이상적인 환경에서 0.999 이상의 높은 충실도 (Fidelity) 를 보이며 프로토콜 자체의 오차가 거의 없음을 입증했습니다.
- 실제 양자 하드웨어 (IBM Quantum): 5~~40 큐비트 회로에서 0.94~~0.99 사이의 충실도를 기록했습니다.
- 오차 원인: 충실도 감소는 프로토콜의 결함이 아니라, 실제 하드웨어의 **소음 (decoherence, 게이트 오류, 측정 오류)**에 기인한 것으로 확인되었습니다.
확장성: 20 큐비트 이상의 회로도 0.93 이상의 충실도를 유지하여, 현재의 양자 하드웨어 제약 하에서도 실용적인 크기의 회로에 적용 가능함을 보였습니다.
보안성 검증: 알고리즘 2 (로컬 복호화) 실험에서 하드웨어는 암호화된 무작위 결과만 관찰하며, 비밀 키가 없으면 평문을 추론할 수 없음을 확인했습니다.

5. 의의 및 결론 (Significance)

이론과 실전의 연결: 이 연구는 양자 동형 암호화의 이론적 개념을 실제 양자 하드웨어에서 구현 가능한 단계로 끌어올린 중요한 이정표입니다.
신뢰할 수 없는 환경에서의 프라이버시: 클라우드 양자 컴퓨팅 시대에 민감한 데이터를 암호화된 상태로 위임하여 처리할 수 있는 실용적인 솔루션을 제공합니다.
향후 과제:
- 현재 하드웨어의 소음 한계를 극복하기 위해 오류 완화 (Error Mitigation) 기술 및 오류 정정 (Fault Tolerance) 하드웨어의 발전이 필요합니다.
- 전송되는 양자 회로 자체의 구조 (게이트 순서 등) 를 숨기는 '회로 은폐 (Circuit Concealment)' 기술을 추가하여 완전한 프라이버시를 달성해야 합니다.
- 양자 서명 및 해시 함수 등 다른 암호학적 응용으로의 확장이 가능합니다.

결론적으로, 이 논문은 QOTP 기반의 체계적인 키 추적 메커니즘을 통해 신뢰할 수 없는 양자 하드웨어에서도 프라이버시를 보호하면서 계산을 수행할 수 있음을 실험적으로 입증함으로써, 양자 클라우드 컴퓨팅의 보안 기반을 마련하는 데 기여했습니다.