유한체 위 에드워즈 곡선의 동형류 개수 연구

초록

본 논문은 유한체 𝔽_q 위의 에드워즈 곡선 E_d의 동형류 수를 정확히 계산하고, 각 동형류에 완전한 곡선이 존재함을 증명한다. 또한 q≡−1(mod 4)일 때는 군의 차수가 8로, q≡1(mod 4)일 때는 16으로 나누어질 때 원래 형태의 에드워즈 곡선과 동형임을 보인다. 마지막으로 각 동형류 내에서 완전하거나 원래 형태인 곡선이 차지하는 비율에 대한 명시적 식을 제시한다.

상세 분석

에드워즈 곡선은 E_d: x²+y²=1+d x²y² (d∈𝔽_q{0,1}) 로 정의되며, 완전성은 모든 𝔽_q 점이 (x,y)∈𝔽_q² 로 표현될 수 있음을 의미한다. 저자들은 먼저 곡선의 j-불변량을 이용해 동형류를 j-값에 따라 분류한다. j-값은 d와 1−d의 비율에 의해 결정되며, 이는 곧 곡선이 Legendre 형태의 타원곡선과 2-동형(isogeny) 관계에 있음을 보여준다. 이때 2-동형의 핵심은 복소수 곱셈을 통한 Frobenius 고유값의 절댓값이 √q 인 점을 이용하는 것이다.

다음 단계에서는 Hasse–Weil 정리를 적용해 곡선의 군 |E_d(𝔽_q)| 를 구하고, 그 차수가 8 또는 16으로 나누어지는 경우를 정확히 판별한다. q≡−1(mod 4)일 때는 차수가 8로 나누어지는 것이 완전성 조건과 동치이며, q≡1(mod 4)일 때는 16으로 나누어지는 것이 원래 형태(original)와의 동형성을 보장한다. 이 결과는 기존에 Rezaeian‑Shparlinski가 제시한 질문에 대한 완전한 답을 제공한다.

비율 계산에서는 각 동형류에 속하는 d 값의 전체 개수를 먼저 구한다. 이는 곡선이 𝔽_q*에 대한 2-차 동형 사상에 의해 두 개씩 짝지어짐을 이용해 ½·(q−2) 로 나타난다. 이후 완전성 혹은 원래 형태 조건을 만족하는 d 를 선별하기 위해 차수 조건을 만족하는 군 원소의 개수를 세면, 각각 (q−1)/8 혹은 (q−1)/16 로 근사되는 비율이 도출된다. 최종 식은 q의 모듈러 클래스에 따라 약간의 보정항을 포함한다.

이러한 분석은 에드워즈 곡선이 암호학적 응용, 특히 빠른 스칼라 곱 연산과 안전한 키 교환 프로토콜에 적합함을 다시 한 번 확인시킨다. 동형류 별로 완전한 곡선이 항상 존재한다는 사실은 구현 시 곡선 선택의 자유도를 크게 확대한다는 실용적 의미를 가진다.