[논문 리뷰] Bilinear Pairings on Elliptic Curves

Andreas Enge|arXiv (Cornell University)|2013. 01. 23.

Cryptography and Data Security참고 문헌 1인용 수 6

한 줄 요약

이 논문은 유한체 위의 타원곡선에서 이중선형 쌍대성(pairing)에 대한 자립적이고 엄밀한 소개를 제공하며, Weil 쌍대성과 Tate 쌍대성에 중점을 두고, Weil 상호법칙에 의한 그 상호 등가성, 그리고 ate, R-ate, 최적 쌍대성과 같은 고급 구성 요소를 다룬다. 이는 비틀림 변형과 다항식 가족을 통해 평가 루프를 단축시켜 쌍대성 기반 암호에서 계산 복잡도를 φ(k) 배 감소시킴으로써 성능 향상을 가능하게 한다.

ABSTRACT

I denne oppgåva studerer vi bilineære parringer på elliptiske kurver. Først gir vi ein introduksjon til algebraisk geometri og spesielt omgrepet divisorar. Vidare ser vi på elliptiske kurver og deira aritmetikk. Vi ser på to ulike parringer på elliptiske kurver, Weilparringa og Tateparringa. Vi skildrar Weilparringa på to ulike måtar og viser provet for relasjonen mellom dei. Vidare skildrar vi Tateparringa i detalj og syner eigenskapane til begge parringane. Vi syner òg korleis dei kan reknast ut. Til slutt skildrar vi MOV-angrepet og den tredelte nøkkelavtala til Diffie- Hellman som døme på bruk av parringar i kryptografi.

연구 동기 및 목표

• 유한체 위의 타원곡선에서 이중선형 쌍대성에 대한 수학적으로 엄밀하고 자립적인 소개를 제공하여 암호 응용에 적합하게 한다.
• Weil 상호법칙을 사용하여 Weil 쌍대성의 세 정의가 상호 등가임을 증명함으로써 기본적인 일관성을 확립한다.
• ate, R-ate, 최적 쌍대성과 같은 고급 쌍대성 구성 요소를 제시하며, 이들의 이중선형성, 비퇴화성, 그리고 성능 향상 특성을 강조한다.
• 쌍대성 평가의 계산적 트레이드오프를 분석하며, 특히 루프 길이 감소와 함수 평가 횟수 사이의 균형을 다룬다.
• 작은 임bedding 차수 k를 갖는 타원곡선의 가족을 구성하고, 다항식 매개변수화를 통해 효율적인 쌍대성 계산을 가능하게 하는 최근의 발전을 조사한다.

제안 방법

• We일 상호법칙을 사용하여 Weil 쌍대성의 세 정의가 상호 등가임을 증명함으로써 이론적 기반을 확립한다.
• 타원곡선 위의 분할과 유리 함수 이론을 적용하여 Weil 쌍대성과 Tate 쌍대성을 정의하며, 선형 함수와 극점을 사용한 명시적 구성 요소를 제공한다.
• 비틀림 쌍대성(예: 비틀림 ate 쌍대성)을 도입하여 Frobenius 자기형사의 성질을 활용해 쌍대성 계산의 루프 길이를 φ(k) 배 감소시킨다.
• Z[X] 상의 덧셈-부정 수열과 격자 감소 기법을 사용하여 쌍대성 평가에서 스칼라 곱셈 횟수를 최소화하는 짧은 벡터를 찾는다.
• p(X), r(X), u(X)와 같은 다항식 가족을 통해 최적 쌍대성을 구성하며, r(X)가 기약이고 p(X) ≡ y(X) mod r(X)^2 임을 보장함으로써 일정 시간 기반 함수 평가를 가능하게 한다.
• 쌍대성 함수 평가의 계산 비용을 분석하여, 루프 길이가 φ(k) 배 감소하나, 계수의 구조가 그렇지 않다면 평가 횟수 증가가 성능 향상을 상쇄할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 Weil 상호법칙을 사용하여 Weil 쌍대성의 세 정의가 상호 등가임을 어떻게 증명할 수 있는가?
• RQ2 ate, R-ate, 최적 쌍대성이 루프 길이를 φ(k) 배 감소시키는 조건은 무엇인가?
• RQ3 ate 쌍대성의 비틀림 변형은 타원곡선에서의 쌍대성 계산 효율성을 어떻게 향상시키는가?
• RQ4 다항식 가족을 통해 타원곡선을 구성하면 최적 쌍대성이 어떻게 최소 평가 비용으로 구현될 수 있는가?
• RQ5 계수 다항식의 산술적 성질(예: k의 소인수로의 나누어떨어짐)은 쌍대성 계산의 효율성에 어떤 영향을 미치는가?

주요 결과

• Weil 상호법칙을 사용하여 Weil 쌍대성의 세 정의가 상호 등가임을 증명함으로써 기본 쌍대성 이론의 일관성을 확보한다.
• ate 및 R-ate 쌍대성은 표준 Miller 루프 대비 루프 길이를 φ(k) 배 감소시켜 쌍대성의 효율성을 크게 향상시킨다.
• ate 쌍대성의 비틀림 변형은 Frobenius 사상으로 점을 생성함으로써 공통 기저 점을 공유하는 다수의 쌍대성 함수를 동시에 평가할 수 있도록 한다.
• Vercauteren의 Heß 쌍대성 특수화에서 y(X) = p(X)일 경우 Z[X]-격자 내에 짧은 벡터가 생성되어, f_{t_i, Q}를 단일 기저 함수 f_{x_0, Q}로 효율적으로 평가할 수 있다.
• k=10인 경우, 최적 쌍대성은 φ(10) = 4 비례의 속도 향상을 달성하며, 작은 임베딩 차수와 효율적인 쌍대성 계산을 갖는 곡선을 생성하는 명시적 다항식 p(X), r(X), u(X)를 제공한다.
• 이론적으로 루프 길이가 φ(k) 배 감소하나, 계수의 구조를 활용하지 않으면 평가 횟수 증가가 성능 향상을 상쇄할 수 있으며, 이는 작은 의미 있는 계수를 갖는 다항식 가족에서 나타난다.