이 논문은 2의 거듭제곱 차수 사이클로토믹 환의 주 아이디얼 계수 격자에서 정확한 유클리드 결정판 최근접벡터문제(CVP)가 NP-완전임을 증명했다. Exact Cover by 3-Sets(X3C)로부터의 결정론적 환원을 통해 YES 인스턴스에서는 최근접 제곱거리가 정확히 Δ, NO 인스턴스에서는 Δ+4 이상이 되는 목표와 임계값을 구성했으며, 이는 탐색판 CVP의 NP-난해성도 함의한다. 결과를 순환 몫환 Z[X]/(X^D-1)의 풀랭크 주 아이디얼로 이전해 순환 격자에서도 CVP가 NP-완전임을 보여, CVP 하드니스에 대한 Micciancio의 미해결 질문에 답했다. 이는 순환 격자 기반 암호 시스템의 이론적 안전성 근거를 강화하는 결과다.
- •2의 거듭제곱 사이클로토믹 환 주 아이디얼 격자에서 결정판 CVP가 NP-완전임을 증명
- •X3C로부터의 결정론적 환원으로 탐색판 CVP의 NP-난해성도 함께 도출
- •순환 몫환 Z[X]/(X^D-1)의 풀랭크 주 아이디얼로 결과를 이전해 순환 격자 CVP도 NP-완전임을 규명
- •순환 격자 CVP 난해성에 대한 Micciancio의 미해결 질문에 답함
- •고정 사이클로토믹·순환 격자 계열에서 다항시간 해법이 존재하면 다항계층이 붕괴함을 증명
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
CVP Is NP-Complete for Principal Cyclotomic Ideals
- 1.거듭제곱 사이클로토믹 환의 주 아이디얼 격자에서 정확한 최근접벡터문제(CVP)가 NP-완전임을 증명
- 2.순환환 Z[X]/(X^D-1)의 풀랭크 주 순환 아이디얼로 결과 이식, 순환 격자에서도 CVP가 NP-완전
- 3.고정된 사이클로토믹·순환 격자 계열의 CVPP가 다항시간에 풀리면 NP⊆P/poly로 다항계층 붕괴
- 4.동일 계수 임베딩 하 자유 랭크-2 모듈의 결정-모듈-SIVP도 NP-완전임을 증명
왜 중요한가?
격자 기반 암호의 안전성 근거인 CVP 난이도를 구조화된 이상적 격자에서 최초로 엄밀히 확립해, Micciancio의 미해결 질문에 답하며 포스트퀀텀 암호 표준의 이론적 토대를 보강한다.
본문 미리보기
We prove that exact Euclidean decision-CVP is $\mathsf{NP}$-complete on the coefficient lattices of nonzero principal ideals in the power-of-two cyclotomic rings $R_d:=\mathbb{Z}[y]/(y^d+1)$. Our deterministic reduction from Exact Cover by 3-Sets (X3C) produces a target and a squared threshold $\Delta$ such that the closest squared distance is exactly $\Delta$ in YES instances and at least $\Delta+4$ in NO instances. This also implies $\mathsf{NP}$-hardness of exact search-CVP under polynomial
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:25AI 초안
