이진 Goppa 코드에 대한 예비적 키 복구 공격을 위한 자기완결적 조건부 산술 모델과 알고리즘 명세를 제시한 논문이다. 이진 홀드아웃 연산자를 이형 Hasse 다중도, Lucas-최소 도함수 레벨, 증강된 이진 블록 Wiedemann, 로컬 플래그로부터의 재구성과 결합한다. 모든 Classic McEliece 파라미터 집합에 대해 정확한 차원 보장 공격 파라미터 구성을 도출했으며, 선택된 구성에서 아핀 정규화·밀집 해법은 2^172.13~2^235.09 게이트, 사영 정규화·중첩 해법은 2^146.29~2^207.83 게이트가 필요하다고 모델링했다. 19,338개의 단일점 홀드아웃 구성을 전수 조사해 2^114.35 관계 생성 하한을 발견했지만, 저자들은 이 결과가 어떤 확립된 크랙도 아니며 미해결 문제가 다수 남아있는 "살아있는 추적 문서"임을 명시한다.
- •Classic McEliece 이진 Goppa 코드에 대한 조건부 산술 모델 기반 예비 키 복구 공격 프레임워크 제시
- •이진 홀드아웃 연산자, Hasse 다중도, Lucas-최소 도함수, 증강 블록 Wiedemann을 결합
- •모든 McEliece 파라미터 집합에 대한 차원 보장 공격 구성 도출, 게이트 수 2^146~2^235 수준으로 모델링
- •mceliece348864에서 c=7 구성 시 2^142.15 게이트로 2^61.7비트 보안 잔존
- •19,338개 구성 전수조사로 2^114.35 관계생성 하한 확인했으나 실제 크랙은 아니며 미해결 과제로 명시
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Bit Operation Cost of ``Holdout'' Key-Recovery Attacks Against Classic McEliece
- 1.Classic McEliece(이진 Goppa 코드) 대상 홀드아웃 키복구 공격의 조건부 산술 모델과 비용을 제시
- 2.구성별 게이트 수는 사영 정규화 기준 2^146.29~2^207.83, 아핀 정규화 기준 2^172.13~2^235.09
- 3.mceliece348864는 c=7 설정에서 2^142.15 게이트, 2^61.7비트가 남는 것으로 모델링됨
- 4.19,338개 설정 전수 조사로 2^114.35 관계생성 하한을 발견했으나 실제 공격 성공 사례는 아님
왜 중요한가?
표준 후보 Classic McEliece에 대한 이론적 공격 비용을 정밀 모델링했지만, 저자들 스스로 '확립된 공격이 아니다'라고 명시한 진행 중 연구로 향후 파라미터 재평가를 위한 참고 자료다.
언급 프로젝트
이 연구는 양자 내성 암호(PQC)의 주요 후보 중 하나인 클래식 맥엘리스(Classic McEliece) 암호에 대한 '홀드아웃' 키 복구 공격의 비트 연산 비용을 심층적으로 분석합니다. 이는 잠재적 공격의 실질적인 비용과 효율성을 평가하는 데 중요한 정보를 제공하며, 한국의 양자 내성 암호 표준화 및 도입 전략 수립에 필수적인 기초 자료로 활용될 수 있습니다. 특히, 국가적인 차원에서 양자 위협에 대비해 안전한 암호 기술을 선택하고 적용하는 과정에서, 이와 같은 상세한 공격 분석은 시스템의 신뢰도를 검증하는 데 결정적인 역할을 할 것입니다.
본문 미리보기
We present a self-contained conditional arithmetic model and algorithmic specification for a prospective key-recovery attack on binary Goppa codes, combining the binary hold-out operator with heterogeneous Hasse multiplicities, Lucas-minimal derivative levels, augmented binary block Wiedemann, and reconstruction from local flags. The first two reductions give exact, dimension-guaranteed attack-parameter configurations for every Classic McEliece parameter set. We derive the sparse operator, safe-
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



