9월 30일 (수)양자 뉴스·논문·데이터를 매일 검증해 한국어로 전합니다

튜토리얼 목록
Tutorial중급양자통신

포스트양자암호(PQC) 기초: 양자 시대의 암호 체계

포스트양자암호(PQC)는 충분한 성능의 양자 컴퓨터가 등장하더라도 안전성을 유지하도록 설계된 암호 체계다. 현재 인터넷 보안의 근간인 RSA·타원곡선암호는 쇼어 알고리즘에 의해 근본적으로 취약해지므로, 격자 기반·해시 기반 등 새로운 수학적 어려움에 기반한 PQC로의 전환이 필요하다.

난이도 중급4분 읽기연습문제 3개

먼저 읽으면 좋은 용어

개념 소개

현대 공개키 암호 체계는 두 가지 수학적 어려움 가정 위에 세워져 있다. RSA는 큰 정수의 소인수분해, 타원곡선암호(ECC)는 이산 로그 문제의 어려움에 의존한다. 그런데 쇼어 알고리즘(Shor's Algorithm)은 이 두 문제를 양자 컴퓨터로 다항식 시간 안에 풀어낸다. 2048비트 RSA 기준으로 고전 컴퓨터에서는 우주 나이보다 긴 시간이 필요하지만, 충분한 큐비트를 갖춘 양자 컴퓨터라면 이론적으로 수 시간 내에 해독이 가능하다.

**포스트양자암호(Post-Quantum Cryptography, PQC)**는 이 위협에 대응하기 위해 고전 컴퓨터와 양자 컴퓨터 모두에 대해 계산적으로 어려운 수학 문제에 기반을 두는 암호 체계다. 양자 채널이나 특수 하드웨어 없이 기존 소프트웨어 인프라 위에서 구현할 수 있다는 점이 핵심 장점이다.


핵심 원리

지금 수집, 나중에 해독(Harvest Now, Decrypt Later)

대규모 양자 컴퓨터가 아직 존재하지 않더라도, 공격자는 오늘 암호화된 트래픽을 대량으로 저장해 두었다가 미래에 해독하는 전략을 취할 수 있다. 기밀 유효 기간이 10년 이상인 정부·의료·금융 데이터에는 지금 당장 PQC 전환이 필요하다는 의미다.

PQC의 주요 수학적 기반

1. 격자 기반 암호(Lattice-based)

고차원 격자에서의 **학습 오류 문제(LWE, Learning With Errors)**를 핵심 어려움으로 삼는다.

는 공개 행렬, 는 비밀 벡터, 는 소규모 오류 벡터다. 와 만으로 를 복원하는 것이 계산적으로 어렵다는 것이 안전성의 근거다. 현재 NIST 표준 ML-KEM, ML-DSA가 여기에 속한다.

2. 해시 기반 암호(Hash-based)

일방향 해시 함수의 단방향성만을 가정한다. 수학적 가정이 단순해 신뢰도가 높지만 서명 크기가 크다. SPHINCS+가 대표적이며 NIST SLH-DSA로 표준화되었다.

3. 코드 기반 암호(Code-based)

임의의 선형 코드에서 오류를 복원하는 **일반 디코딩 문제(General Decoding Problem)**의 어려움을 이용한다. Classic McEliece가 대표적이다.

NIST PQC 표준 (2024년 최종 발표)

표준 기반 용도
ML-KEM (FIPS 203) 격자(MLWE) 키 캡슐화
ML-DSA (FIPS 204) 격자(MLWE) 전자서명
SLH-DSA (FIPS 205) 해시 전자서명

예시·응용

LWE 개념 시뮬레이션

import numpy as np

def lwe_demo(n=4, q=97, seed=42):
    rng = np.random.default_rng(seed)

    s = np.array([3, 1, 4, 1])           # 비밀 벡터 (수신자만 알고 있음)
    A = rng.integers(0, q, size=(6, n))   # 공개 행렬
    e = rng.integers(-2, 3, size=6)       # 소규모 오류

    b = (A @ s + e) % q                   # 공개 벡터

    print("공개 행렬 A:")
    print(A)
    print(f"\n공개 벡터 b: {b}")
    print(f"(비밀) s={s}, e={e}")
    print("\n→ A와 b만으로 s를 복원하는 것이 LWE 문제")

lwe_demo()

실제 ML-KEM은 , 의 다항식 환(Ring) 위에서 동작해 연산 효율을 크게 높인다.

실제 적용 사례

  • TLS/HTTPS: 일부 브라우저는 X25519와 ML-KEM을 결합한 하이브리드 키 교환을 실험적으로 지원 중이다.
  • QKD 보완: 양자키분배(QKD)는 인증 단계에서 고전 공개키를 사용하므로, PQC로 대체해야 완전한 양자 안전성을 달성할 수 있다.
  • 마이그레이션 전략: 기존 시스템과 PQC 알고리즘을 병렬로 운용하는 하이브리드 방식이 전환 기간의 실용적 대안이다.

정리

PQC는 양자 컴퓨팅 시대에 대비해 기존 통신 인프라를 보호하는 소프트웨어 기반 해법이다. 격자 기반 암호(ML-KEM, ML-DSA)가 성능과 안전성 균형 면에서 현재 가장 주목받으며 NIST 표준으로 자리잡았다. QKD가 물리적 계층에서 키 분배 문제를 해결한다면, PQC는 응용·프로토콜 계층에서 보완적인 역할을 수행한다. 두 기술을 함께 고려하는 것이 장기적으로 견고한 양자 안전 보안 설계의 방향이다.

Exercises

연습문제

  1. Q1RSA-2048이 고전 컴퓨터로는 사실상 해독 불가능하지만 양자 컴퓨터에는 취약한 이유를 쇼어 알고리즘의 복잡도와 연결해 설명하라.

    힌트 보기

    고전 알고리즘의 최선인 일반 수 체 체 (GNFS)의 준지수 복잡도와 쇼어 알고리즘의 다항식 복잡도를 비교해 보라.

    해설 보기

    고전 최선 알고리즘(GNFS)은 $n$비트 정수 인수분해에 $\exp(O(n^{1/3}))$ 준지수 시간이 필요해 RSA-2048은 현실적으로 풀 수 없다. 반면 쇼어 알고리즘은 양자 푸리에 변환을 이용해 $O(n^3)$ 다항식 시간에 동일 문제를 풀어낸다. 따라서 충분한 논리 큐비트를 갖춘 양자 컴퓨터가 등장하면 RSA의 안전성 가정 자체가 무너진다.

  2. Q2LWE 문제에서 오류 벡터 $\mathbf{e}$가 없다면($\mathbf{e} = \mathbf{0}$) 안전성이 어떻게 달라지는가?

    해설 보기

    $\mathbf{e} = \mathbf{0}$이면 $\mathbf{b} = A\mathbf{s} \pmod{q}$가 되어 단순한 선형 연립방정식이 된다. 가우스 소거법으로 $O(n^3)$ 시간에 $\mathbf{s}$를 쉽게 복원할 수 있으므로 안전성이 완전히 사라진다. 소규모 오류 $\mathbf{e}$의 존재가 문제를 NP-hard 수준으로 만드는 핵심 요소이다.

  3. Q3PQC와 양자키분배(QKD)는 모두 "양자 안전"을 목표로 하는데, 적용 계층과 위협 모델 측면에서 어떤 차이가 있는가?

    해설 보기

    QKD는 물리 계층에서 양자역학 원리(측정에 의한 상태 교란)를 이용해 도청 자체를 탐지하며, 정보-이론적 안전성을 제공한다. 그러나 인증 단계에서 고전 공개키 암호에 의존하며 전용 광학 하드웨어가 필요하다. PQC는 응용·프로토콜 계층에서 계산 복잡도에 기반한 안전성을 제공하며 기존 인프라에 소프트웨어로 통합 가능하다. QKD의 인증 부분을 PQC로 대체하면 두 기술이 상호 보완적으로 동작한다.

관련 용어

이 챕터는 Claude (claude-sonnet-4-6)가 작성했습니다. · 발행 2026. 8. 29.

Keep Learning

다음으로 볼 튜토리얼

전체보기
중급

양자통신

포스트양자암호(PQC) 기초: 양자 시대를 대비하는 암호 설계

포스트양자암호(PQC)는 충분한 규모의 양자 컴퓨터가 등장해도 안전하도록 설계된 고전 알고리즘 기반 암호 체계다. RSA·ECC 등 현행 공개키 암호의 취약점을 수학적 난제로 보완하며, NIST의 표준화를 통해 실용화 단계에 진입했다.

4분 읽기

중급

양자통신

PQC(포스트양자암호) 기초: 양자 시대의 암호 보안

양자 컴퓨터의 발전으로 RSA, ECC 등 현재의 공개키 암호 체계가 근본적인 위협에 직면했다. 포스트양자암호(PQC)는 양자 컴퓨터로도 풀기 어려운 수학적 난제에 기반한 새로운 암호 방식으로, NIST의 표준화 작업을 통해 실용화 단계에 접어들었다. PQC는 기존 통신 인프라 위에서 동작하므로 양자키분배(QKD)와는 구별되는 상호 보완적인 접근이다.

4분 읽기

고급

양자컴퓨팅

변분 양자 고유값 계산(VQE): 원리와 구현

VQE(Variational Quantum Eigensolver)는 변분 원리를 기반으로 해밀토니안의 바닥 상태 에너지를 추정하는 양자-고전 하이브리드 알고리즘이다. 매개변수화 양자 회로(Ansatz)로 시험 상태를 준비하고 고전 최적화기로 에너지를 최소화하는 반복 루프를 구성한다. 깊이가 얕은 회로를 사용하므로 NISQ 장치에서 실행 가능한 현실적 양자 알고리즘으로 평가받는다.

6분 읽기

고급

양자컴퓨팅

QAOA: 조합 최적화를 위한 양자 근사 최적화 알고리즘

QAOA(Quantum Approximate Optimization Algorithm)는 조합 최적화 문제를 양자 회로로 근사 해결하는 변분 양자 알고리즘이다. 비용 해밀토니안과 혼합 해밀토니안을 교대로 적용하는 $p$층 회로를 구성하고, 고전 최적화기로 매개변수를 조율하는 하이브리드 방식을 채택한다. MaxCut, 포트폴리오 최적화 등 NP-난해 문제에 대한 근사 해를 NISQ 장치에서 탐색하는 데 활발히 연구되고 있다.

5분 읽기