💻 computer science

The HyperFrog Cryptosystem: High-Genus Voxel Topology as a Trapdoor for Post-Quantum KEMs

이 논문은 16x16x16 볼륨 그리드에서 연결된 프론티어 성장 과정을 통해 정확한 가중치 2048 과 그래프 사이클 랭크를 기반으로 한 구조화된 비밀 분포를 정의하고, 이를 기존 LWE 기반 KEM 에 적용한 실험적 포스트 양자 키 캡슐화 메커니즘인 HyperFrog 의 v36.0 구현체와 벤치마크 결과를 명확하게 기술하며 형식적 주장과 공학적 실험을 엄격히 구분한 개정판을 제시합니다.

원저자: Victor Duarte Melo

게시일 2026-03-26

📖 3 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Victor Duarte Melo

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

1. 하이퍼프로그란 무엇인가요? (비유: 레고 도시의 비밀 지도)

미래의 양자 컴퓨터가 등장하면 현재의 암호 체계는 무너질 수 있습니다. 그래서 과학자들은 양자 컴퓨터도 뚫기 어려운 새로운 암호를 만들고 있습니다. 하이퍼프로그는 그중 하나인 실험용 암호 시스템입니다.

기존 암호: 보통 무작위로 찍은 점들 (비트) 을 비밀 키로 사용합니다. 마치 빈 종이에 무작위로 점을 찍는 것과 같습니다.
하이퍼프로그의 비밀: 무작위로 점을 찍는 대신, 16x16x16 크기의 거대한 3 차원 레고 도시 (격자) 안에서 특정한 모양을 만들어냅니다.
- 이 모양은 2,048 개의 레고 블록으로만 이루어져야 합니다 (정확한 무게).
- 이 블록들은 서로 연결되어 있어야 합니다 (단일 도시).
- 그리고 이 도시 안에는 **복잡한 미로 (고리)**가 아주 많이 있어야 합니다.

이 논문은 바로 이 **"복잡한 미로가 있는 연결된 레고 도시"**를 어떻게 만들고, 이를 암호에 어떻게 적용하는지 설명합니다.

2. 무엇이 바뀌었나요? (개정판의 핵심)

이전 버전의 논문은 이 '레고 도시'를 만드는 방법이 너무 모호했습니다. 마치 "무작위로 블록을 쌓다가 우연히 좋은 모양이 나오면 쓰는 것"처럼 설명되어 있었습니다. 하지만 이번 개정판은 이를 명확하게 바꿨습니다.

🏗️ 새로운 건설 방법: "점진적인 성장" (Formal Miner)

이전에는 "다 쌓아놓고 좋은지 확인"하는 방식이었지만, 지금은 한 블록씩 차근차근 쌓아 올리는 방식으로 바꿨습니다.

씨앗 심기: 16x16x16 공간에서 무작위 한 칸을 선택해 첫 블록을 둡니다.
확장: 그 블록에 붙어 있는 빈 칸들 중에서 하나를 무작위로 골라 붙입니다.
반복: 총 2,048 개의 블록이 될 때까지 이 과정을 반복합니다.
- 결과: 처음부터 끝까지 단 하나의 연결된 도시가 만들어집니다. (떨어져 있는 섬이 생기지 않음).
- 검증: 만들어진 도시가 너무 단순하지 않은지, 즉 미로 (고리) 가 충분히 복잡한지 확인합니다. 만약 미로가 너무 단순하면 다시 처음부터 시작합니다.

이 논문은 이 **"점진적 성장 방식"**을 공식적인 규칙으로 정하고, 이전의 모호했던 방식은 실험용 도구로만 분리했습니다.

3. 왜 이런 복잡한 모양을 쓸까요? (안전성)

암호학에서는 보통 "무작위성"이 안전하다고 믿습니다. 하지만 하이퍼프로그는 **"구조화된 무작위성"**을 시도합니다.

비유: 무작위로 흩어진 모래알 (기존 암호) 보다, 특정 규칙에 따라 만들어진 복잡한 미로 도시가 더 예측하기 어렵지 않을까요?
목표: 이 복잡한 미로 모양을 비밀 키로 사용하면, 양자 컴퓨터가 이 키를 찾아내는 것이 훨씬 더 어려워질 것이라고 기대합니다.
주의: 아직 이 방법이 100% 안전하다는 수학적인 증명 (감소 증명) 은 없습니다. 다만, "이런 규칙을 따르는 키를 사용하면 LWE(학습 오류) 라는 기존 암호 원리가 여전히 작동할지"를 연구하는 실험 단계입니다.

4. 성능과 현실적인 이야기 (벤치마크)

논문은 이 시스템이 실제로 얼마나 빠른지, 얼마나 안정적인지 테스트했습니다.

성공적인 실험: 연구팀은 1,670 번의 시도를 해보았는데, 모든 시도에서 2,048 개의 블록으로 이루어진 연결된 도시를 성공적으로 만들었습니다.
속도: 키를 만드는 속도는 매우 빠릅니다 (약 0.2~0.5 밀리초).
파일 암호화: 파일을 암호화할 때는 두 단계가 있습니다.
1. 비밀 키 잠금 해제: 비밀번호를 입력해 키를 푸는 과정 (이게 가장 느립니다).
2. 실제 암호화/복호화: KEM 시스템을 사용하는 과정 (이건 매우 빠릅니다).
- 중요한 점: 사용자가 느끼는 느림은 암호화 기술 때문이 아니라, 비밀번호를 푸는 과정 때문입니다.

5. 이 논문의 결론과 한계

이 논문은 하이퍼프로그를 **"완성된 제품"**으로 내놓은 것이 아니라, **"정확한 설계도"**를 제시한 것입니다.

무엇을 명확히 했나요?
- 비밀 키를 만드는 규칙 (점진적 성장) 을 명확히 정의했습니다.
- 실험용 코드와 공식 규칙을 명확히 구분했습니다.
- 성능 테스트 데이터를 투명하게 공개했습니다.
아직 해결되지 않은 문제:
- 이 복잡한 미로 모양이 정말로 해커 (양자 컴퓨터 포함) 에게 안전한지, 수학적으로 완벽하게 증명되지는 않았습니다.
- 암호문 (파일) 의 크기가 아직 너무 큽니다 (약 2MB). 실제 서비스에 쓰기엔 무겁습니다.

요약

이 논문은 **"우리가 만든 새로운 암호 시스템 (하이퍼프로그) 은, 무작위로 점을 찍는 게 아니라, 3 차원 공간에서 규칙적으로 성장하는 복잡한 미로 모양을 비밀 키로 사용합니다. 이 방식이 안전할지, 그리고 얼마나 빠른지 실험해 보았으며, 그 결과를 투명하게 공개합니다. 아직은 연구 단계이지만, 이전보다 훨씬 명확하고 정직하게 설계되었습니다"**라고 말하는 것입니다.

이는 암호학 연구자들이 "어떤 새로운 아이디어가 실제로 작동할지"를 검증하는 과정에서 매우 중요한, 정직하고 투명한 실험 보고서라고 할 수 있습니다.

1. 연구 배경 및 문제 제기 (Problem)

배경: 양자 컴퓨팅 시대에 대비한 포스트 양자 암호학 (Post-Quantum Cryptography) 연구가 활발히 진행되고 있으며, 격자 기반 (Lattice-based), 코드 기반, 등변 (Isogeny) 시스템 등 다양한 KEM(키 캡슐화 메커니즘) 이 제안되고 있습니다.
문제점: 기존 연구들은 주로 암호학적 난이도 가정에 집중하지만, HyperFrog 와 같은 실험적 설계에서는 비밀 키 (Secret Key) 의 분포 구조를 변경함으로써 새로운 특성을 탐구하려는 시도가 있습니다.
- 이전 초안 (Draft) 들은 위상수학적 서술 (Genus), 엔지니어링용 마이닝 로직, 형식적 정의가 혼재되어 있어 비밀 키의 분포 법칙이 모호했습니다.
- 특히 'Genus(종수)'라는 용어가 3 차원 물체의 위상적 성질을 지칭하는 것과 그래프 이론의 '사이클 랭크 (Cycle Rank)'가 혼동되어 사용되었고, 비밀 키 생성 과정이 무작위 이진 시료에 대한 약한 거절 샘플링 (Rejection Sampling) 으로만 기술되어 보안 가정이 불명확했습니다.
목표: HyperFrog 의 비밀 키 생성 로직을 명확히 정의하고, 형식적 주장 (Formal Claims) 과 엔지니어링 구현 (Practical Implementation) 을 엄격히 분리하여, 실험적 KEM 의 구조와 성능을 투명하게 분석하는 것입니다.

2. 방법론 (Methodology)

HyperFrog 는 LWE(Learning With Errors) 기반의 KEM 을 기반으로 하되, 비밀 키 생성 방식에 혁신을 가했습니다.

가. 형식적 마이닝 알고리즘 (Formal Connected Graph Miner)

그리드 구조: $16 \times 16 \times 16$ 의 3 차원 보크셀 (Voxel) 그리드 (총 4096 개) 를 사용합니다.
연결성 보장 (Connected Frontier Growth):
- 무작위 시드 보크셀에서 시작하여, 현재 점유된 보크셀의 인접한 (6 방향) 미점유 보크셀을 '프런티어 (Frontier)'로 관리합니다.
- 프런티어에서 무작위로 하나를 선택하여 점유 집합에 추가하는 과정을 반복합니다.
- 핵심: 이 과정은 **연결된 그래프 (Connected Graph)**를 보장하며, 점유된 보크셀의 개수 (Weight) 를 정확히 2048 개로 고정합니다.
위상적 통계량 (Topological Statistic):
- 이전의 모호한 'Genus' 대신 **그래프 사이클 랭크 (Graph Cycle Rank, $\beta_1$ )**를 사용합니다.
- 공식: $\beta_1 = E - V + C$ (여기서 $E$ 는 간선 수, $V$ 는 정점 수, $C$ 는 연결 요소 수). 연결된 그래프의 경우 $C=1$ 이므로 $\beta_1 = E - V + 1$ 입니다.
- 생성된 형상이 설정된 임계값 $\tau$ 이상의 사이클 랭크를 가지면 이를 비밀 키로 채택합니다.

나. 암호학적 구조 (Cryptographic Core)

알고리즘: 표준 LWE 기반 KEM 구조를 따릅니다.
- 공개키: $q = 2^{16}$ , $N=4096$ , $M=2048$ 인 LWE 인스턴스.
- 비밀키: 위에서 생성된 이진 점유 벡터 ( $s \in \{0,1\}^{4096}$ ).
- 노이즈: 중심 이항 분포 (Centered Binomial Distribution).
- 보안성: Fujisaki-Okamoto (FO) 변환을 적용하여 선택적 암호문 공격 (CCA) 안전성을 확보합니다.
엔캡슐레이션: 메시지 비트당 64 개의 행을 선택하여 합산하는 방식 (Row Subset Mechanism) 을 사용하여 암호문을 생성합니다.

다. 구현 및 벤치마크 분리

형식적 모드 (Formal Mode): 위상적 제약 (연결성, 정밀한 가중치 2048, 사이클 랭크 임계값) 을 엄격히 준수하는 알고리즘. 보안 주장의 대상.
실용적 모드 (Practical Mode): 개발 및 테스트를 위한 엔지니어링 모드. 무작위 비트셋에서 가장 큰 연결 요소를 유지하거나 타임아웃 시 결정론적 대체를 허용. 보안 주장에서는 제외됨.
성능 측정 분리: 파일 복호화 시간을 '비밀 키 잠금 해제 (Password Unlock, Argon2id)' 시간과 '암호학적 복호화 (Cryptographic Decryption)' 시간으로 분리하여 측정합니다.

3. 주요 기여 (Key Contributions)

명확한 비밀 키 분포 정의: 모호한 위상적 개념을 제거하고, '연결된 프런티어 성장 과정 (Connected Frontier Growth Process)'을 통해 **정확한 가중치 (2048)**와 연결성을 가진 비밀 키 분포를 수학적으로 명확히 정의했습니다.
형식적/실용적 구분의 명확화: 코드 내의 두 가지 마이닝 모드 (Formal vs Practical) 를 엄격히 구분하여, 어떤 구현이 보안 주장의 대상인지, 어떤 것이 실험용인지 투명하게 밝혔습니다.
정교한 벤치마크 스키마 (v3):
- 키 생성 성공/실패, 사이클 랭크 분포, 연결 요소 수 등 마이닝 진단 데이터를 기록합니다.
- 파일 복호화 시간을 '잠금 해제'와 '암호화 처리'로 분리하여, 비밀번호 기반 키 보호의 오버헤드가 전체 성능에 미치는 영향을 정확히 분석했습니다.
정확한 오류 분석: 고정된 가중치 (2048) 를 통해 노이즈 분산 (Variance) 계산을 정밀화했습니다. 계산 결과, 노이즈 표준편차 ( $\approx 65$ ) 가 결정 임계값 ( $q/4 = 16384$ ) 에 비해 매우 작아 복호화 오류 확률이 극히 낮음을 확인했습니다.

4. 실험 결과 (Results)

데이터셋: 1670 개의 형식적 키 생성 샘플 및 1670 개의 복호화 검증.
성공률:
- 형식적 모드에서 100% 성공 (타임아웃 0 회).
- 모든 샘플에서 점유 가중치가 정확히 2048, 연결 요소가 1로 유지됨.
- 복호화 정확도 100% (1670/1670).
사이클 랭크 분포:
- 관찰된 사이클 랭크 범위: 2315 ~ 2856 (평균 2687.3).
- 벤치마크에서 사용된 임계값 ( $\tau = 6, 8, 10, 12$ ) 은 관찰된 평균값보다 훨씬 낮아, 현재 설정은 '수용 (Acceptance)'을 어렵게 만드는 regime 이 아니라 구현의 안정성을 검증하는 수준임을 시사합니다.
성능 (Latency):
- KEM 성능: 16 스레드 환경에서 평균 캡슐화 25.3ms, 복호화 32.7ms.
- 파일 처리: 비밀번호로 보호된 비밀 키의 경우, 잠금 해제 (Argon2id) 시간이 전체 복호화 시간의 대부분을 차지하며, 실제 암호학적 복호화 시간은 상대적으로 균형을 이룹니다.
- 스레드 효율: 16 스레드가 최적 성능을 보였으며, 32 스레드에서는 오버헤드로 인해 성능이 저하됨.

5. 의의 및 한계 (Significance & Limitations)

의의

투명한 연구 플랫폼: HyperFrog 는 보안 가정을 과장하지 않고, 비밀 키의 구조적 특성 (연결성, 가중치, 사이클 랭크) 을 명확히 제시하는 실험적 연구 플랫폼으로서의 가치를 가집니다.
방법론적 개선: 포스트 양자 암호 연구에서 '실제 구현'과 '형식적 정의'의 괴리를 해소하고, 벤치마크 데이터의 해석을 명확히 하는 모범 사례를 제시합니다.
새로운 연구 방향: 무작위 이진 시료가 아닌, 그래프 이론적 제약 (연결성, 사이클) 을 가진 비밀 키가 LWE 문제의 난이도에 어떤 영향을 미치는지에 대한 새로운 연구 질문을 던집니다.

한계 및 향후 과제

보안성 증명 부재: 현재까지 연결된 그래프 구조의 비밀 키가 표준 LWE 문제와 동등한 난이도를 가진다는 수학적 환원 (Reduction) 증명은 없습니다. 이는 가장 큰 암호학적 미해결 과제입니다.
대역폭 문제: 암호문 크기가 약 2.10MB 로 매우 큽니다 (메시지 비트당 $u$ 벡터 저장). 실용적 배포를 위해서는 압축 또는 구조 재설계가 필요합니다.
임계값 보정 부족: 현재 벤치마크는 낮은 임계값과 넓은 시간 예산을 사용하여 '수용 확률'을 정밀하게 보정 (Calibrate) 하지 못했습니다. 더 높은 임계값과 긴 시간 예산에서의 스트레스 테스트가 필요합니다.
사이드 채널: 구현체가 상수 시간 (Constant-time) 연산을 일부 도입했으나, 완전한 외부 사면 채널 감시 (Audit) 는 이루어지지 않았습니다.

결론

이 논문은 HyperFrog 암호 시스템을 단순한 실험을 넘어, 형식적 정의와 구현의 일관성을 확보한 연구 도구로 재정립했습니다. 비밀 키의 구조적 특성을 명확히 정의하고 벤치마크 방법론을 정교화함으로써, 향후 구조화된 비밀 키를 가진 LWE 기반 암호 체계에 대한 공격 및 분석 연구의 기초를 마련했습니다.