estEL 잔여 로드맵 완료 — E2c·표면코드2D·E4·PQC (정직 슬라이스)
요약: 4건 모두 검증 완료, 각각 어디까지가 동작이고 어디부터가 후속인지 명시
E2c — 근-클리포드 런타임 (7/7) ★"미구현"이 아니었음
확장 스테빌라이저 런타임 = 이미 두 엔진 실재·검증:
- 상태벡터(상벡 905~908): 범용 Clifford+T 정확, n≤20. HTH\|0> P(1)=146447=sin²(π/8) (스테빌라이저 표현불가 상태), T·T†=항등, 그로버 동작.
- MPS 텐서망(918~922): Clifford+T, n≤1024, 결합차원 χ. GHZ χ=2(구조적=효율), 중첩벨쌍 교차 χ=4(엔탱글↑→χ↑, E2b 예산 정합), 트렁케이션오차 0.
- 파일: 근클리포드런타임.한선(+.rpn). 결론: 근-클리포드 시뮬은 오늘 가능(MPS/상벡). E2b 예산 도구의 "확장 영역"이 실런타임으로 뒷받침됨.
표면코드 2D (3/3, 정직 부분완성)
E2의 1D 반복부호 → 2D 토릭/표면코드로 X·Z 양쪽 정정(CSS 안정자: 버텍스/플라켓):
- 단일오류 정정: 완전 통과 — L=3(18큐비트, 36건)·L=5(50큐비트, 100건) 소진테스트 0 오정정.
- 버그 발견·수정: \|0…0>는 Z안정자만 자동충족 → X안정자 위해 데이터 \|+…+>(H) 필요. 수정 전 14/36 실패 → 후 0/136.
- 거리 스케일링: 미완(정직) — 그리디 최근접매칭은 결함수↑에 오매칭 증가(∝2L²)로 L=5가 L=3를 못 이김. MWPM 디코더 필요 = 후속. 게임하지 않고 정보성으로 기록.
- 대규모 L=21(1323큐비트) 신드롬추출 99ms. 파일: 표면코드.한선(+.rpn).
E4 — Solve (3/3, ★우위 주장 없음 = 미출시)
MaxCut 8정점: 고전 완전탐색(최대컷8, 18최적, 52ms) vs 상벡 그로버(최적 배정37 컷8, 0ms).
- 그로버가 최적 찾음(진폭증폭 동작) + 상위 집중.
- 정직 판정(마스터플랜 E4 조건 준수): 시뮬 오라클=고전 컷계산 필요 → 양자우위 없음 → estEL Solve 미출시(데모/교육용). "양자 가속기"로 안 팖. 실 QPU에서만 √N 우위.
- 파일: 최적화솔버.한선(+.rpn).
PQC 표준 통합 (7/7) ★자작 암호 금지 원칙 실현
OpenSSL 3.6(FIPS 203/204) 셸 — 암호는 우리가 안 짜고 배선만:
- ML-DSA-65(서명 3309B): 세션 트랜스크립트 인증, 변조 거부. ML-KEM-768(캡슐화 ct 1088B/ss 32B): 표준 키교환, 공유비밀 일치.
- 통합: ML-KEM 공유비밀 → SHA256 → E3(크라우니보안) 대칭암호 파생키 급전. QKD(도청탐지)+ML-KEM(표준키교환)+ML-DSA(인증) 합성.
- 파일: 크라우니PQC.js(+.한선 개념), PQC검증.js.
estEL 브랜드 전체 진척 (E0~E4+PQC)
| 단계 | 상태 | 검증 |
|---|
| E0 SSOT+BB84/BBM92 이식+QBER | ✅ | 4/4 |
| E1 Lab (QKD 도청검출 :9601) | ✅ | E2E |
| E2 Verify (1D 반복부호 QEC) | ✅ | 4/4 |
| E2b T-count 예산 도구 | ✅ | 5/5 |
| E2c 근-클리포드 런타임(상벡+MPS) | ✅ | 7/7 |
| 표면코드 2D (단일오류 정정) | ✅ 부분 | 3/3 (MWPM 후속) |
| E3 Secure (QKD키 대칭암호) | ✅ | 7/7 |
| E4 Solve (정직벤치) | ✅ 미출시 | 3/3 |
| PQC 표준 통합(ML-KEM/ML-DSA) | ✅ | 7/7 |
남은 후속 (정직)
- 표면코드 MWPM 디코더(거리 스케일링·임계 실측)
- E2c 확장 스테빌라이저 χ-이점 런타임(MPS는 있으나 stabilizer-rank 방식은 연구)
- E4는 우위 케이스 발견 시에만 출시(현재 미출시 유지)
- estEL Lab에 Verify/E2c/PQC 탭 통합 + estEL.crowny.org 승격(배선)