⚛️ quantum physics

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem

이 논문은 COBALT QAI 와 Z3 SMT 솔버를 활용한 정형 검증을 통해 오픈소스 양자 컴퓨팅 시뮬레이터 생태계 전반에 걸쳐 547 건의 보안 취약점 (C++ 메모리 손상, 리소스 고갈, 역직렬화, 그리고 양자 특유의 QASM 주입 등) 을 발견하고 공급망 내 취약점 전파 사례를 규명한 'Broken Quantum' 연구를 제시합니다.

원저자: Dominik Blain

게시일 2026-04-09

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Dominik Blain

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

🚨 "부러진 양자 (Broken Quantum)": 양자 컴퓨터 시뮬레이터의 치명적 보안 결함 보고서

이 논문은 양자 컴퓨터 연구의 핵심인 **'양자 시뮬레이터 (양자 컴퓨터를 일반 컴퓨터로 흉내 내는 프로그램)'**들이 얼마나 위험한 상태인지 밝혀낸 충격적인 보고서입니다.

마치 고층 빌딩을 설계하는 모든 건축가들이 "기초 공사"를 제대로 하지 않고, 건물이 무너지기 직전까지 그 사실을 모르고 있었다는 것과 같습니다.

🏗️ 1. 배경: 양자 시뮬레이터란 무엇인가?

현재 실제 양자 컴퓨터는 아직 매우 드물고 비쌉니다. 그래서 전 세계의 과학자, 구글, IBM, 아마존 등은 **"가상의 양자 컴퓨터"**를 일반 컴퓨터 (클래식 컴퓨터) 에서 돌려보며 실험합니다. 이를 양자 시뮬레이터라고 합니다.

이 논문은 전 세계 22 개 기관 (IBM, 구글, 하버드, CERN 등) 이 만든 45 개의 주요 시뮬레이터를 모두 검사했습니다. 결과는 참담했습니다. 80% 이상의 프로그램이 치명적인 보안 구멍을 가지고 있었습니다.

🔍 2. 문제의 핵심: "지수적 폭발"이라는 함정

양자 컴퓨터의 가장 큰 특징은 큐비트 (정보 단위) 가 하나 늘어날 때마다 필요한 계산량이 2 배씩 불어난다는 것입니다.

10 큐비트 = 1,024 배
30 큐비트 = 10 억 배
50 큐비트 = 1,000 조 배 (전 세계 모든 컴퓨터를 합쳐도 감당 못 할 수준)

이 논문은 **"사용자가 입력한 숫자 (큐비트 수) 를 제대로 확인하지 않고, 무작정 2 배씩 불어나는 자원을 할당하는 프로그램"**들이 너무 많다는 것을 발견했습니다.

💣 3. 발견된 4 가지 치명적 결함 (비유로 설명)

🧱 결함 1: C++ 언어의 "메모리 붕괴" (C++ 메모리 손상)

상황: IBM 의 Qiskit Aer 나 미국 국립연구소 (Oak Ridge) 의 XACC 같은 프로그램들입니다.
비유: 레고 블록을 쌓는 작업이라고 상상해 보세요.
- 프로그램은 "큐비트 64 개"를 입력받으면, 64 개의 레고 박스를 준비해야 합니다.
- 하지만 코드가 잘못되어 "65 개"를 입력하면, 64 개짜리 박스장에 65 번째 박스를 억지로 넣으려다 벽을 뚫어버립니다.
- 이 '벽 뚫기'는 컴퓨터의 메모리를 손상시키고, 해커가 악성 코드를 심어 **컴퓨터를 장악 (RCE)**하거나 프로그램을 완전히 멈추게 할 수 있습니다.
결과: IBM 과 미국 국립연구소의 핵심 프로그램이 이 '벽 뚫기' 구멍을 그대로 공유하고 있었습니다.

🔥 결함 2: 파이썬의 "자원 고갈" (DoS 공격)

상황: 구글의 Cirq, 하버드의 Tequila, 바이두의 Paddle-Quantum 등 14 개 프로그램.
비유: 무한한 식탁을 상상해 보세요.
- 해커가 "식탁에 50 명을 앉혀줘"라고 요청합니다.
- 프로그램은 "알겠다!" 하고 50 명분의 식탁을 준비하려다, 실제로는 100 조 명분의 식탁을 준비하려다 컴퓨터의 모든 식량 (메모리) 을 다 써버립니다.
- 그 결과, 서버가 멈추고 **서비스가 마비 (Denial of Service)**됩니다.
특이점: 파이썬은 숫자가 너무 커져도 터지지 않지만, 컴퓨터의 물리적인 메모리가 부족해져서 죽습니다.

🎭 결함 3: "가짜 신분증"으로 해킹 (역직렬화 및 코드 주입)

상황: 하버드 Tequila, 텐센트 TensorCircuit 등.
비유: 우편물 (파일) 을 받는 상황입니다.
- 프로그램은 "이 우편물을 열어봐"라고 하면, 우편물 안에 있는 명령어까지 실행해 버립니다.
- 해커는 악성 코드가 담긴 가짜 우편물 (파일) 을 연구실 서버에 넣어둡니다.
- 연구원이 그 파일을 열자마자, 해커의 명령어가 실행되어 해커가 연구실 컴퓨터를 완전히 장악합니다.
- 하버드 연구소의 프로그램에서는 이 구멍이 10 개나나 있었습니다.

📜 결함 4: 양자만의 새로운 공격 (QASM 주입)

상황: IBM Qiskit, Quantinuum tket 등.
비유: 새로운 언어 (양자어) 로 된 주문서입니다.
- 기존 컴퓨터 해킹은 SQL 주입이나 명령어 주입이 있었지만, 양자 컴퓨터에는 **'QASM (양자 어셈블리 언어)'**이라는 고유한 주문서가 있습니다.
- 해커는 이 주문서에 **"이 명령은 무시하고, 내 명령을 실행해"**라는 문장을 끼워 넣을 수 있습니다.
- 이는 고전 컴퓨터에는 없는, 양자 컴퓨터만의 고유한 해킹 방법입니다.

🌐 4. 공급망의 연쇄 폭발 (공포의 전파)

이 연구에서 가장 놀라운 점은 결함이 어떻게 퍼졌는지입니다.

IBM이 만든 프로그램에 구멍이 있었습니다.
**미국 국립연구소 (Oak Ridge)**는 IBM 의 코드를 그대로 가져다 썼습니다 (Vendoring).
그 결과, 미국 정부와 국방 관련 연구소까지 IBM 의 보안 구멍을 그대로 물려받게 되었습니다.
마치 한 식당에서 식중독이 났는데, 그 식당의 레시피를 그대로 쓴 다른 4 개 식당도 모두 식중독에 걸린 것과 같습니다.

🛡️ 5. 해결책과 결론

해결책은 간단합니다: "사용자가 입력한 숫자가 너무 크면, 실행하기 전에 거부하세요." (입력값 검증)
성공 사례: ETH 취리히, 후아웨이, 오XFORD 등 일부 기관은 이 간단한 규칙을 지켜 100 점 만점을 받았습니다.
결론: 양자 컴퓨터 기술이 발전하기 전에, 그 기초를 다지는 보안 시스템이 너무 허술합니다. 전 세계 45 개 프로그램 중 36 개가 '부러진 (Broken)' 상태입니다.

한 줄 요약:

"양자 컴퓨터의 미래를 꿈꾸며 만든 프로그램들이, 사용자가 '너무 큰 숫자'를 입력하면 컴퓨터가 폭발하거나 해커에게 넘어가는 치명적 구멍을 가지고 있었습니다. 이제 그 구멍을 막는 '방화벽'을 설치해야 할 때입니다."

이 연구는 2026 년 4 월에 발표되었으며, 관련 기업들과 협력하여 90 일간의 비밀 유지 기간을 거쳐 공개될 예정입니다.

1. 문제 정의 (Problem)

양자 컴퓨팅 시뮬레이터는 전 세계 정부, 대학, 기업이 양자 알고리즘 연구 및 개발을 수행하는 데 필수적인 고전적 소프트웨어 기반입니다. 그러나 이러한 시뮬레이터의 고전적 보안 (Classical Security) 은 체계적으로 분석된 적이 없었습니다.

근본 원인: 양자 상태는 $n$ 개의 큐비트에 대해 $2^n$ 개의 고전적 자원 (진폭, 확률 등) 을 필요로 합니다. 이 지수적 확장 (Exponential Scaling) 특성은 양자 컴퓨팅의 장점이지만, 사용자 입력인 큐비트 수 ( $n$ ) 를 검증하지 않고 $2^n$ 자원을 할당하는 코드가 존재할 경우, 공격자가 $n$ 을 조작하여 시스템 자원을 고갈시키거나 메모리 손상을 일으킬 수 있는 치명적인 취약점이 됩니다.
영향: 이 취약점은 로컬 연구 환경에서는 프로세스 충돌을, 클라우드 API 환경에서는 원격 서비스 거부 (DoS) 공격을 유발하며, C++ 백엔드의 경우 메모리 손상 (Memory Corruption) 으로 이어질 수 있습니다.

2. 방법론 (Methodology)

저자는 COBALT QAI라는 새로운 정적 분석 엔진을 개발하여 45 개의 오픈소스 양자 시뮬레이션 프레임워크를 분석했습니다.

분석 대상: IBM, Google, Amazon, NVIDIA, Baidu, Huawei, CERN, Harvard, MIT 등 12 개 국가의 22 개 기관이 개발한 45 개 프레임워크.
분석 도구:
- 패턴 스캐닝: C++ (CWE-125/190) 및 Python (CWE-400) 취약 패턴에 대한 정규식 매칭.
- 형식적 검증 (Formal Verification): 발견된 모든 취약점 패턴을 Z3 SMT 솔버를 사용하여 비트벡터 산술 제약 조건으로 인코딩하고, 취약점 도달 가능성 (Reachability) 을 수학적으로 증명 (SAT/Satisfiability) 했습니다.
평가 기준: 100 점 만점 기준으로 CRITICAL(-20), HIGH(-8), MEDIUM(-3) 점수를 차감하여 'Secure', 'Review Required', 'Critical Exposure', 'Broken' 등급을 매겼습니다.

3. 주요 기여 (Key Contributions)

최대 규모의 생태계 감사: 양자 소프트웨어에 대한 최초의 포괄적인 보안 감사 (45 개 프레임워크, 22 개 기관).
4 가지 취약점 분류 체계 확립:
- Class I (C++ 메모리 손상): CWE-125/190 (배열 범위 초과, 정수 오버플로우).
- Class II (Python 자원 고갈): CWE-400 (제어되지 않은 자원 소비).
- Class III (불안전한 역직렬화 및 코드 주입): CWE-502/94 (pickle.load(), eval() 등).
- Class IV (QASM 주입): CWE-77/22 (양자 전용 공격 벡터, OpenQASM 파서 취약점).
공급망 취약점 발견: IBM 의 Qiskit Aer 코드가 Oak Ridge 국립연구소 (ORNL) 의 XACC 프레임워크에 그대로 포함되어 (Vendoring) 동일한 취약점을 물려받은 사례를 최초로 문서화했습니다.
실시간 PoC (Proof-of-Concept): DoS, RCE (원격 코드 실행), 정수 오버플로우 체인 등 3 가지 실제 공격 시나리오를 구현하여 취약점의 실효성을 입증했습니다.

4. 주요 결과 (Results)

전체 점수: 45 개 프레임워크 중 36 개 (80%) 가 적어도 하나의 취약점을 가지고 있으며, 9 개만 'Secure (100/100)' 등급을 받았습니다.
발견된 취약점 수: 총 547 건 (CRITICAL 40 건, HIGH 492 건, MEDIUM 15 건).
주요 프레임워크별 현황:
- Broken (0/100 점): Qiskit Aer (IBM), Cirq (Google), PennyLane (Xanadu), qibo (CERN), tequila (Harvard), TensorCircuit (Tencent) 등 주요 기관의 핵심 프레임워크 대부분이 심각한 취약점을 보유.
- Secure (100/100 점): qpp (ETH), QuEST (Oxford), qulacs (Fujitsu), MindQuantum (Huawei) 등 입력값 검증이 철저히 된 프레임워크는 안전함.
32-큐비트 경계 (32-Qubit Boundary): C++ 와 Python 분석 모두에서 $n=32$ $n = 32$ 가 치명적인 임계값으로 나타남.
- C++: $n=32$ 일 때 $2n=64$ 가 되어 64 비트 정수 오버플로우 발생.
- Python: $n=32$ 일 때 밀도 행렬 (Density Matrix) 계산 시 $2^{64}$ 크기의 메모리 할당 시도.
특정 취약점 사례:
- Harvard tequila: pickle.load() 를 10 회 호출하여 RCE(원격 코드 실행) 가능.
- Oak Ridge XACC: IBM Qiskit Aer 의 C++ 코드를 그대로 가져와 메모리 손상 취약점을 상속받음.
- QASM 주입: OpenQASM 파서가 사용자 입력을 검증하지 않아 악성 회로 주입 가능 (새로운 양자 전용 공격 벡터).

5. 의의 및 시사점 (Significance)

시스템적 실패의 식별: 양자 컴퓨팅 커뮤니티가 큐비트 수 입력 검증에 대한 표준이나 규범을 부재하고 있음을 지적했습니다. 14 개의 독립적인 팀이 동일한 실수 (지수적 할당 패턴) 를 반복했습니다.
공급망 보안의 중요성: 상업적 프레임워크 (IBM) 의 취약점이 미국 국립연구소 (DOE) 인프라 (XACC) 로 전파된 사례는 과학 연구 인프라의 보안이 단순한 소프트웨어 문제를 넘어 국가 안보 및 과학적 무결성과 직결됨을 보여줍니다.
해결 가능성: 9 개의 프레임워크가 100 점 만점을 받은 것은 적절한 입력 검증 (Input Validation) 만으로도 이러한 취약점을 완전히 방지할 수 있음을 증명했습니다.
향후 조치: 저자는 모든 프레임워크에 큐비트 수에 대한 상한선 설정을 강제하고, COBALT QAI 도구를 공개하여 지속적인 보안 분석을 권장했습니다.

이 연구는 양자 컴퓨팅이 실용화 단계로 진입함에 따라, 그 기반이 되는 고전적 소프트웨어 인프라의 보안이 연구의 신뢰성과 실제 시스템의 안전성을 위해 시급히 해결해야 할 과제임을 강력히 주장합니다.