[논문 리뷰] Computing endomorphism rings of elliptic curves under the GRH

Gaetan Bisson|IACR Cryptology ePrint Archive|2011. 01. 22.

Cryptography and Residue Arithmetic참고 문헌 18인용 수 13

한 줄 요약

이 논문은 일반 타원곡선의 종결환을 유한체 위에서 GRH(일반화된 리만 가설) 하에 증명된 초지수 시간 내에 계산하는 확률적 알고리즘을 제시한다. 기존의 히우리스틱 초지수 방법을 개선하기 위해 더 빠른 이소지니 계산 루틴과, 클래스 군 구조를 통해 순서를 테스트하는 래티스 상승 절차를 도입하여, $ L(q)^{1+o(1)} + L(q)^{1/\sqrt{2}+o(1)} $의 런타임을 달성한다. 여기서 $ L(x) = \exp(\sqrt{\log x \log \log x}) $이다.

ABSTRACT

We design a probabilistic algorithm for computing endomorphism rings of ordinary elliptic curves defined over finite fields that we prove has a subexponential runtime in the size of the base field, assuming solely the generalized Riemann hypothesis. Additionally, we improve the asymptotic complexity of previously known, heuristic, subexponential methods by describing a faster isogeny-computing routine.

연구 동기 및 목표

• 유한체 위의 일반 타원곡선의 종결환을 GRH 하에 증명된 초지수 런타임으로 계산하는 확률적 알고리즘을 설계하는 것.
• 더 빠른 이소지니 계산 루틴을 도입하여 기존의 히우리스틱 초지수 방법의 점근적 복잡도를 향상시키는 것.
• CM 필드 내의 순서 계층을 효율적으로 탐색하는 래티스 상승 절차를 개발하여 지수적 탐색을 피하는 것.
• 주어진 순서가 진짜 종결환에 포함되어 있는지 여부를 효율적으로 테스트하기 위해 클래스 군 구조를 통해 순서를 특성화하는 것.
• 클래스 군 자료만으로 충분하지 않은 경우를 대비해 소수 2와 3에서 국소 도전 검사를 통해 국소적 모호성을 해결하는 것.

제안 방법

• 알고리즘은 CM 필드 $ K = \mathbb{Q}(\pi) $ 내의 순서 유한 래티스를 탐색하는 래티스 상승 전략을 사용하며, 최소 순서 $ \mathbb{Z}[\pi] $에서 시작해 최대 순서 $ \mathcal{O}_K $로 향해 올라간다. 이 과정에서 후보 순서 $ \mathcal{O} $ 가 $ \operatorname{End}\mathcal{E} $ 에 포함되는지 테스트한다.
• 후보 순서 $ \mathcal{O} $ 가 $ \mathcal{O} \subseteq \operatorname{End}\mathcal{E} $ 를 만족하는지 여부는 $ \mathcal{O} $ 와 $ \operatorname{End}\mathcal{E} $ 의 클래스 군 구조를 비교함으로써 테스트한다. 이때 짧은 관계를 이용해 포함성을 탐지한다.
• 기존 방법보다 더 빠른 직접적이고 효율적인 이소지니 계산 루틴을 도입하여 짧은 관계에 대응하는 이소지니를 평가함으로써 전체 런타임을 감소시킨다.
• GRH에서 유도된 클래스 군 관계에 대한 날카운 경계를 활용하여, 이는 Jao, Miller, Venkatesan의 결과를 응용한 것으로, 초지수 런타임을 보장한다.
• 클래스 군 자료가 동일한 클래스 군을 가진 순서를 구분하지 못하는 경우를 대비해, Kohel의 'Volcano를 오르는 기법'을 활용해 소수 2와 3에서 국소 검사를 수행한다.
• 이러한 구성 요소들을 통합하여, GRH 하에 높은 확률로 $ \operatorname{End}\mathcal{E} $ 의 전체 구조를 출력하는 메인 절차를 구성한다.

실험 결과

연구 질문

• RQ1 유한체 위의 일반 타원곡선의 종결환은 GRH 하에 증명된 초지수 시간 내에 계산될 수 있는가?
• RQ2 히우리스틱 초지수 방법의 점근적 복잡도는 정확성 유지 조건 하에서 어떻게 향상시킬 수 있는가?
• RQ3 한 순서의 클래스 군 구조가 그 순서가 주어진 타원곡선의 종결환에 포함되어 있는지를 특성화하는 데 얼마나 유용한가?
• RQ4 특히 소수에서, 동일한 클래스 군을 가진 두 순서를 구분하기 위한 필수 및 충분 조건은 무엇인가?
• RQ5 높은 차원의 아벨 다양체에 적용 가능한 수체 환경에서, 순서 래티스를 효율적으로 탐색하는 래티스 상승 알고리즘을 설계할 수 있는가?

주요 결과

• 제안된 알고리즘은 $ \mathbb{F}_q $ 위의 일반 타원곡선의 종결환을 GRH 하에 증명된 확률적 초지수 시간 내에 계산하며, 런타임은 $ L(q)^{1+o(1)} + L(q)^{1/\sqrt{2}+o(1)} $ 이다. 여기서 $ L(x) = \exp(\sqrt{\log x \log \log x}) $이다.
• 더 빠른 이소지니 계산 루틴을 도입함으로써 기존의 히우리스틱 초지수 방법보다 복잡도의 지수를 $ \sqrt{3}/2 $ 에서 $ 1/\sqrt{2} $ 로 감소시켰다.
• 클래스 군 관계 기반의 순서 테스팅 절차는 GRH 하에 정확히 증명되었으며, 실패 확률은 $ o(1/\log^2 q) $ 이다. 이는 높은 신뢰성을 보장한다.
• 클래스 군과 이소지니 관계의 구조를 활용하여, 지수적 탐색을 피하고 다항수의 후보만을 테스트함으로써 래티스 상승 방법이 지수적 탐색을 피한다.
• 클래스 군 자료만으로 충분하지 않은 경우를 대비해 소수 2와 3에서의 국소 검사는 필수적이며, Proposition 7.2에 의해 공식화된 유일한 예외를 해결한다.
• 알고리즘의 핵심 구성 요소인 클래스 군 테스팅, 빠른 이소지니 평가, 래티스 상승은 모두 GRH 하에 증명되었으며, 이는 이 가설 하에 복잡도 보장을 갖는 첫 번째 방법이다.