[논문 리뷰] Division polynomials for twisted Edwards curves

Richard Moloney, Laura Hitt외 1명|ArXiv.org|2008. 09. 12.

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

한 줄 요약

이 논문은 위어스트라스 형태와 유사한 분할 다항식을 비틀린 에드워즈 곡선에 도입하며, 곡선의 $n$- torsion 점을 특성화한다. 이 다항식들은 $\mathbb{Z}[a,d]$ 계수를 가진 $y$에 대한 유리 함수이며, $a \leftrightarrow -d$, $d \leftrightarrow -a$에 대한 대칭성을 보이며, $y$에 대한 차수 경계가 $n^2/2$ 미만인 구조적 성질을 통해 효율적인 계산을 가능하게 한다. 주요 기여는 이러한 다항식을 이용한 토르션 점의 완전한 특성화로, 계산 복잡도를 감소시키는 명시적 공식과 계수 대칭성을 포함한다.

ABSTRACT

This paper presents division polynomials for twisted Edwards curves. Their chief property is that they characterise the $n$-torsion points of a given twisted Edwards curve. We also present results concerning the coefficients of these polynomials, which may aid computation.

연구 동기 및 목표

• 위어스트라스 형태의 분할 다항식과 유사하지만 비틀린 에드워즈 곡선에 적응된 분할 다항식 이론을 개발하기 위해.
• 이러한 다항식을 사용하여 비틀린 에드워즈 곡선의 $n$- torsion 점을 특성화하기 위해.
• 분할 다항식의 계수의 대수적 구조와 대칭성을 분석하여 계산 비용을 감소시키기 위해.
• 위어스트라스 곡선의 $p(u) + vq(u)$ 형태와 유사한 비틀린 에드워즈 곡선 함수체 위의 함수에 대한 유일한 표현을 확립하기 위해.
• 다항식이 대칭성 성질 $\tilde{\psi}_n(a,d,y) = \tilde{\psi}_n^*(-d,-a,y)$를 만족함을 증명하여 효율적 평가를 지원하기 위해.

제안 방법

• 비틀린 에드워즈 곡선의 함수체 위에 정의된 유리 함수의 수열을 정의하고, 이를 $\mathbb{Z}[a,d]$ 계수를 가진 $y$에 대한 다항식으로 표현한다.
• 모든 함수가 유일하게 $p(y) + x q(y)$ 형태로 표현될 수 있음을 증명함으로써, 비틀린 에드워즈 곡선의 함수체 원소에 대한 유일한 표현을 확립한다.
• 군 법칙과 위어스트라스 곡선으로의 비라시얼 동치를 이용하여 분할 다항식 $\tilde{\psi}_n(y)$의 재귀 공식을 유도한다.
• 다항식 $\tilde{\psi}_n(y)$ 의 $y$에 대한 차수가 $n^2/2$ 미만임을 증명하고, 귀납법과 대칭성 추론을 통해 최고차항과 상수항을 결정한다.
• 계수 대칭성을 분석하기 위해 $\tilde{\psi}_n(a,d,y) = \tilde{\psi}_n^*(-d,-a,y)$ 를 증명하며, 여기서 $\tilde{\psi}_n^*$ 는 계수를 역순으로 배열한 다항식이다.
• 비틀린 에드워즈 곡선과 위어스트라스 곡선 간의 비라시얼 동치를 이용하여 성질를 전달하고, 좌표 변환 하에서 분할 다항식의 행동을 검증한다.

실험 결과

연구 질문

• RQ1 비틀린 에드워즈 곡선에 대해 분할 다항식을 어떻게 정의할 수 있으며, 이는 위어스트라스 형태와 유사하게 $n$- torsion 점을 특성화할 수 있는가?
• RQ2 비틀린 에드워즈 곡선 함수체 위에서 분할 다항식의 기능적 형태와 차수 경계는 무엇인가?
• RQ3 분할 다항식의 계수는 계산 효율성을 높이기 위해 활용할 수 있는 대칭성을 보이는가?
• RQ4 비틀린 에드워즈 곡선의 함수체의 구조는 어떠한가? 그리고 모든 유리 함수는 위어스트라스 형태와 유사한 표준 형태로 유일하게 표현될 수 있는가?
• RQ5 분할 다항식은 변환 $(x,y) \mapsto (x, 1/y)$ 에 대해 어떻게 행동하며, 이는 계수 대칭성에 어떤 함의를 갖는가?

주요 결과

• 비틀린 에드워즈 곡선의 분할 다항식 $\tilde{\psi}_n(y)$ 는 $\mathbb{Z}[a,d]$ 계수를 가진 $y$에 대한 다항식이며, $y$에 대한 차수는 $n^2/2$ 미만이다.
• 비틀린 에드워즈 곡선의 $n$- torsion 점은 정확히 $\tilde{\psi}_n(y) = 0$ 인 점들이다. 이는 토르션 점의 직접적인 특성화를 확립한다.
• 다항식은 대칭성 $\tilde{\psi}_n(a,d,y) = \tilde{\psi}_n^*(-d,-a,y)$ 를 만족하며, 여기서 $\tilde{\psi}_n^*$ 는 계수를 뒤집은 다항식이다. 이는 계산 시간을 감소시킨다.
• $\tilde{\psi}_n(y)$ 의 최고차항과 상수항은 $\epsilon(n)$, $m(n)$, $k(n)$ 으로 명시적으로 결정되며, $\epsilon(n)$ 은 $n \mod 8$ 에 따라 달라지며, 상수항은 $4 \mid n$ 일 때 0이 된다.
• 체의 특성이 0이 아니고 $4 \cdot \text{char}(k) \mid n$ 이면, $\tilde{\psi}_n(y)$ 의 최소차항 차수는 1보다 크며, 이는 다항식의 구조적 변화를 나타낸다.
• $\tilde{\psi}_n(y)$ 의 각 계수 $\alpha_i$ 는 $a$ 와 $d$ 에 대해 차수 $m(n) - k(n)$ 으로 동차이며, 이는 다항식의 대칭성과 구조를 뒷받침한다.