[논문 리뷰] Edwards curves and CM curves

François Morain|ArXiv.org|2009. 04. 15.

Cryptography and Residue Arithmetic참고 문헌 17인용 수 17

한 줄 요약

이 논문은 j-불변량 매개변수화와 쿠버트의 모듈러 곡선 X₀(2) 및 X₀(4)를 사용하여 에드워즈 곡선, 몽고메리 곡선, 복소 곱승을 가진 타원곡선 간의 명시적 연결을 수립한다. 유한체 위에서 완전하거나 비틀린 에드워즈 형태를 가질 수 있는 CM 곡선을 분류하고, 원래 곡선이 그러한 형태를 갖지 못할 경우 이소지니를 통해 완전 에드워즈 형태를 얻을 수 있음을 보여, 암호학적 응용에서의 핵심 제약을 해결한다.

ABSTRACT

Edwards curves are a particular form of elliptic curves that admit a fast, unified and complete addition law. Relations between Edwards curves and Montgomery curves have already been described. Our work takes the view of parameterizing elliptic curves given by their j-invariant, a problematic that arises from using curves with complex multiplication, for instance. We add to the catalogue the links with Kubert parameterizations of X0(2) and X0(4). We classify CM curves that admit an Edwards or Montgomery form over a finite field, and justify the use of isogenous curves when needed.

연구 동기 및 목표

• 유한체 위에서 에드워즈 또는 몽고메리 형태로 표현될 수 있는 복소 곱승(CM)을 가진 타원곡선을 분류하는 것.
• 쿠버트 매개변수화를 통해 CM 곡선, j-불변량, 모듈러 곡선 X₀(2) 및 X₀(4) 간의 연결 고리를 수립하는 것.
• CM 기반 암호학에서 완전 에드워즈 형태의 부재 문제를 해결하기 위해, 이소지니 곡선이 대체로 사용될 수 있음을 보이는 것.
• 그라디언트와 토르션 구조에 기반한 알고리즘 기준을 제공하여, CM 곡선이 완전 또는 비틀린 에드워즈 형태를 가질 수 있는지 판단하는 것.

제안 방법

• j-불변량 매개변수화를 사용하여 CM 타원곡선을 분류하고, 모듈러 곡선 X₀(2) 및 X₀(4)와 연결한다.
• X₀(2) 및 X₀(4)의 쿠버트 매개변수화를 적용하여 몽고메리 또는 에드워즈 형태를 가질 수 있는 곡선에 대한 명시적 조건을 도출한다.
• 분할 다항식 f₄(X)과 토르션 점 분석을 활용하여 4-토르션 점의 존재성과 유리 2-토르션 구조를 결정한다.
• 이소지니 이론을 활용하여 완전 에드워즈 형태를 갖지 못하는 곡선을, 그러한 형태를 가질 수 있는 이소지니 곡선으로 대체한다.
• 디리클레의 클래스 수 및 계승 이론을 적용하여 이차 형식에 의한 소수의 표현 가능성을 결정하고, 곡선 존재 조건과 연결한다.
• 대수적 수론의 결과(예: 순서의 고유환원에서 소수의 분할)를 적용하여, CM 곡선의 그라디언트가 해당 체에서 제곱수인지 여부를 판단한다.

실험 결과

연구 질문

• RQ1 유한체 위에서 완전 또는 비틀린 에드워즈 형태로 표현될 수 있는 CM 타원곡선은 어떤 것인가?
• RQ2 CM 곡선의 j-불변량은 어떻게 사용되어 몽고메리 또는 에드워즈 매개변수화를 가질 수 있는지 여부를 판단할 수 있는가?
• RQ3 CM 곡선이 완전 에드워즈 형태를 갖지 못하는 조건는 무엇이며, 이소지니 곡선을 대체로 사용할 수 있는가?
• RQ4 2-토르션 및 4-토르션 점은 에드워즈 또는 몽고메리 형태의 존재를 판단하는 데 어떤 역할을 하는가?
• RQ5 CM 순서의 그라디언트 및 클래스 수의 산술적 성질은 이러한 매개변수화의 존재에 어떤 영향을 미치는가?

주요 결과

• 곡선이 완전 에드워즈 형태를 가질 조건은, 기저 체 위에서 순서 4의 유리 점과 유일한 순서 2 점을 가질 때이다.
• 주 순서를 가진 CM 곡선은 완전 에드워즈 형태를 가질 수 없지만, 몽고메리 형태를 가질 수 있다.
• 2-토르션 점이 하나뿐인 유형 I 곡선의 경우, 그라디언트가 기저 체에서 제곱수여야 하고, 매개변수 d가 제곱수가 아닐 때 완전 에드워즈 형태가 존재한다.
• CM 곡선이 완전 에드워즈 형태를 갖지 못할 경우, 동일한 이소지니 클래스에 속한 이소지니 곡선을 사용할 수 있으며, 이는 이소지니 강하와 체 이론을 통해 입증된다.
• 기저 체의 특성이 2가 아니면, 유리 4-토르션 점의 존재는 비틀린 에드워즈 곡선과의 비라지오 매칭에 필수적이고 충분하다.
• 그라디언트 D = -4m일 경우, 4-토르션 점이 존재하는 것은 m ≡ 0 또는 3 (mod 4)일 때에만 가능하며, 이는 p = (U² - DV²)/4의 분할 행동과 χ₄(p), χ₈(p)의 자카비 기호 값에 따라 달라진다.