[논문 리뷰] On the number of isogeny classes of ordinary pairing-friendly curves and heuristics of the Cocks-Pinch method

Min Sha|arXiv (Cornell University)|2012. 11. 05.

Cryptography and Residue Arithmetic참고 문헌 21인용 수 1

한 줄 요약

이 논문은 Cocks-Pinch 방법을 사용한 일반 페어링 友好的 타원곡선 구축을 위한 히우리스틱 분석을 Bateman-Horn 추측을 통해 수행한다. 이를 통해 효율적인 페어링 친화적 곡선 구축, 특히 Cocks-Pinch 방법이 페어링 친화적 분야에서 체계적으로 이러한 곡선을 생성할 수 있으며, 수치적 증거에 의해 뒷받침된다는 것을 시사한다.

ABSTRACT

We heuristically analyze the Cocks-Pinch method by using the Bateman-Horn conjecture. Especially, we present the first known heuristic which suggests that any efficient construction of pairing-friendly elliptic curves can efficiently generate such curves over pairing-friendly fields, naturally including the Cocks-Pinch method. Finally, some numerical evidence is given.

연구 동기 및 목표

• 일반 페어링 친화적 타원곡선의 이소지 클래스 분포를 이해하기 위해.
• 특정 유한체에서 Cocks-Pinch 방법을 사용한 페어링 친화적 곡선 구축의 가능성 탐구하기 위해.
• 다항식의 인수분해와 소수 분포를 바탕으로, 이러한 곡선의 수를 추정하는 데 기초한 히우리스틱 프레임워크 제공하기 위해.
• 페어링 친화적 곡선의 효율적 구축 방식이 페어링 친화적 분야로 자연스럽게 확장될 수 있는지 평가하기 위해.

제안 방법

• Cocks-Pinch 구축에서 페어링 친화적 곡선을 유도하는 소수의 밀도를 모델링하기 위해 Bateman-Horn 추측을 적용하기 위해.
• 일반 타원곡선에서 프로베니우스의 트레이스의 구조를 분석하기 위해 대수적 수론을 사용하기 위해.
• 곡선의 차수(order)가 소수이고 임bedding 차수(embedding degree)가 작아지도록 하는 조건을 설정하기 위해.
• 다항식 인수분해와 소수 분포를 기반으로 일반 페어링 친화적 타원곡선의 이소지 클래스 수에 대한 히우리스틱 추정을 도출하기 위해.

실험 결과

연구 질문

• RQ1 주어진 크기의 유한체에서 일반 페어링 친화적 타원곡선의 이소지 클래스는 몇 개인가?
• RQ2 Cocks-Pinch 방법은 페어링 친화적 분야에서 체계적으로 페어링 친화적 곡선을 생성하는 데 사용될 수 있는가?
• RQ3 Cocks-Pinch 구축 하에서 페어링 친화적 곡선을 유도하는 소수의 기대 밀도는 얼마인가?
• RQ4 Bateman-Horn 추측은 이러한 곡선의 수를 예측하는 데 신뢰할 수 있는 히우리스틱을 제공하는가?

주요 결과

• Bateman-Horn 추측은 일반 페어링 친화적 타원곡선의 이소지 클래스 수를 추정하는 실용적인 히우리스틱 프레임워크를 제공한다.
• 분석 결과에 따르면, Cocks-Pinch 방법을 포함한 페어링 친화적 곡선의 효율적 구축 방식이 페어링 친화적 분야에서 자연스럽게 곡선을 생성할 수 있다.
• 수치적 증거는 히우리스틱 예측과 일치하며, 페어링 친화적 곡선의 기대 분포와 일관성을 보인다.
• 이 방법은 Cocks-Pinch 구축에서 정의 다항식의 차수의 역수에 비례하여 이러한 곡선의 수가 증가함을 시사한다.