가속화된 쿠베니에 로스토프스테인 스톨부노프 키교환 프로토콜

초록

이 논문은 일반 타원곡선 위에서 정의되는 이소제니를 이용한 쿠베니에‑로스토프스테인‑스톨부노프(CRS) 키교환 프로토콜을 이론적으로 정리하고, 복소곱(CM) 이론과 모듈러 곡선을 활용한 효율적인 구현 기법을 제안한다. 파라미터 선택, 보안 분석, 그리고 실제 구현을 통해 얻은 성능 결과를 상세히 제시한다.

상세 분석

논문은 먼저 타원곡선의 기본 정의와 위에 정의된 군 구조, 그리고 복소곱 이론을 체계적으로 정리한다. 복소곱이란 타원곡선의 엔도모르피즘 링이 정수 링이 아닌 허수 이차체의 순서(order)인 경우를 말하며, 이는 곧 ‘보통(ordinary)’ 타원곡선과 동등한 개념이다. 이러한 곡선들에 대해 프뢰베니우스 사상 π_E 가 만족하는 특성 방정식 π_E²‑tπ_E+q=0 (q는 기본체의 크기)과 Hasse‑Weil 경계 |t|≤2√q 를 이용해 군의 크기 #E(F_q)=q+1‑t 를 정확히 계산한다.

다음으로 저자는 복소곱을 이용해 클래스 군(ideal class group)의 작용을 타원곡선 집합에 전이시키는 방법을 설명한다. 구체적으로, 순서 O의 이상 클래스