연구진은 브루트포스 기준 2^254로 현재까지 해결된 것 중 가장 어려운 McEliece 키복구 챌린지인 TII-254(m=8, t=12, n=223, 96×223 패리티체크 행렬)를 해결했다고 보고했다. 이들은 방법을 13단계로 정리해 휴리스틱 선택과 비휴리스틱 선택을 구분했으며, 서로 다른 공개 좌표에서 조건화한 두 개의 완전한 121차원 관계 커널을 계산하고 이를 결합해 80차원의 인증된 쌍 코어를 분리한 뒤 64차원의 공통 잡음 공간을 제거하고 남은 16차원을 F_2^8 사영직선 기하로 식별했다. 이 과정으로 87개의 모든 가시적 위치자(locator)를 얻었고, 결정론적 완성 탐색으로 전체 지지집합과 다항식을 복구했다. 최종 두 크릴로프 수열 계산에만 NVIDIA GH200 GPU 27.2시간이 소요됐으며, 연구진은 압축된 복구 입력·코드, 독립 키 검증기, 재사용 가능한 선형대수 단계에 대한 Lean 증명까지 포함한 자료를 공개했다.
- •브루트포스 기준 2^254로 최고 난도인 McEliece 키복구 챗린지 TII-254를 해결했다.
- •121차원 관계 커널 2개를 결합해 80차원 쌍 코어를 분리하고 사영직선 기하로 87개 위치자를 복원했다.
- •최종 크릴로프 수열 계산에 NVIDIA GH200 GPU 27.2시간이 소요됐다.
- •복구 입력·독립 키 검증기·재사용 가능한 Lean 증명을 포함한 완전한 공개 자료를 제공했다.
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Two-Anchor Holdout/Hermite: Solving the TII-254 McEliece Key Recovery Challenge
- 1.McEliece 챌린지 TII-254(2^254 기준) 키 복구에 성공, 역대 최고 난이도 해결
- 2.121차원 관계 커널 2개를 결합해 87개 지표(locator) 전체를 복원하는 13단계 기법 제시
- 3.최종 Krylov 연산에 NVIDIA GH200 GPU 27.2시간 투입
- 4.복구 입력·코드·검증기·Lean 증명까지 포함한 공개 아티팩트 제공
왜 중요한가?
코드 기반 암호(McEliece)의 실제 해독 난이도 상한을 갱신한 사례로, 포스트퀀텀 표준 후보의 파라미터 안전마진을 재평가하는 데 실질적 근거를 제공한다.
언급 프로젝트
이 연구는 양자 내성 암호 분야의 주요 난제 중 하나인 McEliece 키 복구 도전을 해결하며 해당 기술의 보안 강도에 대한 심층적 이해를 제공합니다. 한국은 양자 기술 및 보안 표준화에 적극적이므로, 이번 성과는 미래 국가 보안 및 블록체인 인프라의 양자 공격 방어 전략 수립에 중요한 지표가 될 것입니다.
본문 미리보기
We report on the solution to the TII-254 McEliece key recovery challenge -- currently the hardest solved challenge under the original brute-force metric ($2^{254}$). The parameters of TII-254 are $(m,t,n) = (8,12,223)$, defining a binary $[223,127]$ code specified by a full-rank $(96 \times 223)$ parity-check matrix. We state the method as a thirteen-step process, separating heuristic and non-heuristic choices. At a high level, we computed two complete $121$-dimensional relation kernels conditio
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안
