[논문 리뷰] Adding Level Structure to Supersingular Elliptic Curve Isogeny Graphs

Sarah Arpin|arXiv (Cornell University)|2022. 03. 07.

Cryptography and Residue Arithmetic인용 수 4

한 줄 요약

이 논문은 슈퍼특이 타원곡선에 수준-$N$ 구조를 도입하여 고전적 Deuring 대응을 확장한다. 이는 그들의 종함수환들이 히 quaternion 대수에서 수준$N$의 Eichler 순서를 이룬다는 것을 보여주며, 슈퍼특이 타원곡선의 수준 구조와 그들의 종함수환의 가역 왼쪽 모듈의 범주 간의 동치를 설정한다. 또한, 상호소인 $p$, $N$, $\\\ell$에 대해 $\\\ell$-이소지니 그래프가 연결되어 있음을 증명하여 최근의 해킹에 강건한 이소지니 기반 암호의 기초를 마련한다.

ABSTRACT

In this paper, we add the information of level structure to supersingular elliptic curves and study these objects with the motivation of isogeny-based cryptography. Supersingular elliptic curves with level structure map to Eichler orders in a quaternion algebra, just as supersingular elliptic curves map to maximal orders in a quaternion algebra via the classical Deuring correspondence. We study this map and the Eichler orders themselves. We also look at isogeny graphs of supersingular elliptic curves with level structure, and how they relate to graphs of Eichler orders.

연구 동기 및 목표

• 수준-$N$ 구조를 가진 슈퍼특이 타원곡선의 종함수환을 Eichler 순서로 특성화하여 Deuring 대응을 확장한다.
• 스스로의 이소지니 클래스에서의 단사성 실패를 이해하기 위해, 이소지니 클래스 위에서의 호환 변환에 초점을 맞춘다.
• 수준-$N$ 구조를 가진 슈퍼특이 타원곡선의 범주와 그 종함수환의 가역 왼쪽 모듈의 범주 간의 공식적 동치를 설정한다.
• 수준-$N$ 구조를 가진 $\\\ell$-이소지니 그래프의 구조를 분석하고, 이론적 응용을 위해 연결성을 증명한다.
• SIKE와 같은 프로토콜에서 폭 lộ된 취약점을 피하기 위해 수준 구조를 통합하여 더 안전한 이소지니 기반 암호 프로토콜을 설계할 수 있는 프레임워크를 제공한다.

제안 방법

• 수준-$N$ 구조를 가진 슈퍼특이 타원곡선을 $(E, G)$의 쌍으로 정의한다. 여기서 $E$는 $\overline{\mathbb{F}}_p$ 위의 슈퍼특이 곡선이며, $G \subseteq E[N]$는 순서 $N$의 순환부분군이다.
• 종함수환 $\mathcal{O}(E,G) = \{\alpha \in \text{End}(E) \mid \alpha(G) \subseteq G\}$을 히 quaternion 대수 $\text{End}(E) \otimes_\mathbb{Z} \mathbb{Q}$에서 수준$N$의 Eichler 순서로 특성화한다.
• Eichler 순서의 양측 이상 클래스군 이론을 활용하여 $(E,G)$에서 $\mathcal{O}(E,G)$로 가는 사상의 섬유 크기를 기술한다. 이는 $N = q_1 \cdots q_r$가 제곱 자유일 때 $k \in \{0,1,\dots,r+1\}$에 대해 $2^k$와 같다.
• 수준-$N$ 구조를 가진 슈퍼특이 타원곡선의 범주에서 $\mathcal{O}(E,G)$-모듈의 가역 왼쪽 모듈의 범주로 가는 반대함수 $\mathcal{h}_{(E,G)}$를 구성하고, 이것이 범주 간의 동치임을 증명한다.
• 수준-$N$ 구조를 가진 슈퍼특이 곡선 간의 $\\\ell$-이소지니 그래프인 $\mathcal{E}^{N}_{p,\ell}$을 정의한다. 정점은 이소지니 클래스 $(E,G)$로 표시되고, 간선은 차수 $\ell$의 이소지니로 이루어진다.
• Goren–Kassaei 그래프에서의 전사 사상과 Roda(2019)의 조건을 이용하여 $\mathcal{E}^{N}_{p,\ell}$의 연결성을 증명한다. 이는 상호소인 $p$, $N$, $\ell$ 조건 하에 모든 성분이 연결되어 있음을 보여준다.

실험 결과

연구 질문

• RQ1 수준-$N$ 구조를 가진 슈퍼특이 타원곡선의 종함수환은 히 quaternion 대수의 순서와 어떻게 관련이 있는가?
• RQ2 수준-$N$ 구조를 가진 슈퍼특이 곡선의 이소지니 클래스에서 수준$N$의 Eichler 순서의 이소지니 클래스로 가는 사상의 섬유는 어떤 구조를 가지는가?
• RQ3 수준-$N$ 구조를 가진 슈퍼특이 타원곡선과 그 종함수환의 모듈 간에 범주 간 동치를 설정할 수 있는가?
• RQ4 수준 구조의 포함이 슈퍼특이 설정에서 $\\\ell$-이소지니 그래프의 연결성과 구조에 어떤 영향을 미치는가?
• RQ5 SIKE의 붕괴 원인이 된 정보 泄露를 피하기 위해 수준 구조를 활용하여 더 안전한 이소지니 기반 암호 프로토콜을 설계할 수 있는가?

주요 결과

• 수준-$N$ 구조를 가진 슈퍼특이 타원곡선의 종함수환 $\mathcal{O}(E,G)$는 히 quaternion 대수 $\text{End}(E) \otimes_\mathbb{Z} \mathbb{Q}$에서 수준$N$의 Eichler 순서와 동형이다.
• 주어진 Eichler 순서 $\mathcal{O}$를 종함수환으로 가지는 슈퍼특이 타원곡선의 이소지니 클래스 수는 $\mathcal{O}$의 양측 이상 클래스군의 크기와 같으며, $N = q_1 \cdots q_r$가 제곱 자유일 때 $k \in \{0,1,\dots,r+1\}$에 대해 $2^k$이다.
• 수준-$N$ 구조를 가진 슈퍼특이 타원곡선의 범주와 그 종함수환 $\mathcal{O}(E,G)$의 가역 왼쪽 모듈의 범주 간에 동치가 설정된다.
• $\mathcal{E}^{N}_{p,\ell}$의 $\\\ell$-이소지니 그래프는 상호소인 $p$, $N$, $\ell$에 대해 항상 연결되어 있으며, Goren–Kassaei 그래프에서의 전사 사상과 Roda(2019)의 조건을 통해 이를 증명하였다.
• $p \equiv 1 \pmod{12}$일 경우, 자동환의 작용으로 인해 이소지니와 그 쌍대를 식별함으로써 그래프 $\mathcal{E}^{N}_{p,\ell}$는 비방향 그래프로 그릴 수 있다.
• $\mathcal{E}^{N}_{p,\ell}$는 $j=0,1728$를 제외한 모든 슈퍼특이 $j$-불변량마다 $N+1$개의 정점이 있으며, $\mathcal{E}^{N}_{p,\ell}$에서 고전적 $\\\ell$-이소지니 그래프로 가는 정점 사상은 비이상적인 $j$-불변량에서 $(N+1)$-to-$1$이다.