[논문 리뷰] On the discrete logarithm problem in finite fields of fixed characteristic

Robert Granger, Thorsten Kleinjung외 1명|IACR Cryptology ePrint Archive|2015. 07. 06.

Coding theory and cryptography인용 수 4

한 줄 요약

이 논문은 고정된 특성의 유한체에서 이산 로그 문제(DLP)를 기대값으로 준수 다항시간 내에 해결하는 랜덤 알고리즘을 제시한다. 확장체 $\mathbb{F}_{p^n}$ 내의 대수적 구조를 활용함으로써 시간 복잡도는 $\exp\big{(}(1/\log 2+o(1))( \log n)^2\big{)}$에 도달하며, 이는 모든 소수 $p$에 대해 DLP가 준수 다항시간 내에 해결 가능한 명시적 확장체가 무한히 존재함을 증명한다.

ABSTRACT

For $q$ a prime power, the discrete logarithm problem (DLP) in $\mathbb{F}_{q}$ consists in finding, for any $g \in \mathbb{F}_{q}^{ imes}$ and $h \in \langle g angle$, an integer $x$ such that $g^x = h$. We present an algorithm for computing discrete logarithms with which we prove that for each prime $p$ there exist infinitely many explicit extension fields $\mathbb{F}_{p^n}$ in which the DLP can be solved in expected quasi-polynomial time. Furthermore, subject to a conjecture on the existence of irreducible polynomials of a certain form, the algorithm solves the DLP in all extensions $\mathbb{F}_{p^n}$ in expected quasi-polynomial time.

연구 동기 및 목표

• 고정된 특성을 가진 유한체에서 이산 로그 문제(DLP)를 결정론적이고 대수적 구조를 갖춘 알고리즘으로 해결하는 것.
• 이전의 준다항시간 알고리즘들과 달리 히ュ리스틱적 스무스성 가정에 의존하지 않는 것.
• 모든 소수 $p$에 대해 DLP가 기대값으로 준다항시간 내에 해결 가능한 명시적 확장체 $\mathbb{F}_{p^n}$가 무한히 존재함을 증명하는 것.
• 군의 순서 인수분해에 의존하지 않는 이러한 분야에서 DLP의 엄밀한 복잡도 한계를 설정하는 것.

제안 방법

• 알고리즘은 $\mathbb{F}_{q^k}[X]$에서 $h_1X^q - h_0$를 나누는 기약 다항식 $I$를 구성하는 내림내림 방법을 사용한다.
• Göloğlu 등이 제시한 핵심 빌딩 블록을 활용하여 함수체 내의 대수적 구조를 이용해 내림내림 단계를 가능하게 한다.
• 반복적인 내림내림을 통해 $\mathbb{F}_{q^{kl}}$ 내의 DLP를 더 작은 하위 문제로 줄이며, 다항식 인수분해와 불변량 이론을 사용한다.
• Kummer 이론을 활용해 $l = q-1$일 때 적합한 $h_0, h_1$의 존재를 보장함으로써 명시적 분야의 구축을 가능하게 한다.
• 근의 위상에 대한 $\mathrm{PGL}_2(\mathbb{F}_q)$와 $\mathrm{PSL}_2(\mathbb{F}_q)$의 군 작용을 사용하여 기약성과 불변성 성질을 증명한다.
• 대수적 기하학과 체 동형사상에 의존함으로써 스무스성 히ュ리스틱을 피하고, 엄밀한 복잡도 분석이 가능하게 한다.

실험 결과

연구 질문

• RQ1 고정된 특성을 가진 유한체에서 이산 로그 문제는 히ュ리스틱적 스무스성 가정에 의존하지 않고 준다항시간 내에 해결될 수 있는가?
• RQ2 고정된 소수 $p$에 대해, DLP가 기대값으로 준다항시간 내에 해결 가능한 명시적 확장체 $\mathbb{F}_{p^n}$가 무한히 존재하는가?
• RQ3 내림내림 방법은 $h_0, h_1, I$에 대한 대수적 조건 하에서 엄밀히 분석되고 성공을 보장할 수 있는가?
• RQ4 확률적 히ュ리스틱이 아닌 결정론적이고 대수적 구조를 갖춘 분야와 알고리즘을 구축하는 것이 가능한가?

주요 결과

• 모든 소수 $p$에 대해, DLP가 기대 시간 $\exp\big{(}(1/\log 2+o(1))( \log n)^2\big{)}$ 내에 해결 가능한 명시적 확장체 $\mathbb{F}_{p^n}$가 무한히 존재한다.
• 알고리즘은 $\mathbb{F}_{q^{kl}}$ 내의 DLP를 기대 시간 $q^{\log_2 l + O(k)}$ 내에 해결하며, $l = q-1$이고 $k = 18$일 때 준다항시간 경계와 일치한다.
• 이 방법은 완전히 결정론적이며, 이전의 준다항시간 알고리즘들(예: Barbulescu 등)과 달리 검증되지 않은 스무스성 가정에 의존하지 않는다.
• Kummer 이론을 통해 $l = q-1$일 때 적합한 $h_0, h_1$의 존재가 보장되어 분야의 명시적 구축이 가능하다.
• 알고리즘의 성공은 군 작용과 불변량 이론을 이용한 엄밀한 내림내림 추론을 통해 증명되며, 제시된 조건 하에서 정확성을 보장한다.
• 결과적으로 이러한 분야에서 DLP가 이전에 상정된 것만큼 어렵지 않다는 것을 시사하며, 유한체 이산로그 기반 암호 시스템의 보안 가정에 도전한다.