[논문 리뷰] Encoding points on hyperelliptic curves over finite fields in deterministic polynomial time

Jean-Gabriel Kammerer, Reynald Lercier외 1명|2010. 05. 10.

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

한 줄 요약

이 논문은 유한체 위의 종수 2 초타원곡선으로의 결정론적 다항시간 인코딩 함수를 처음으로 제시한다. 이는 근을 가진 해법 가능 다항식을 기반으로 하며, 갈루아 이론과 대수적 매개변수화를 활용하여 페어링 기반 암호에서 효율적이고 안전한 인코딩을 달성한다. 이는 이전의 타원곡선에 대한 연구를 종수 2 이상의 곡선으로 확장하며, 증명 가능성이 있는 보안 성질을 갖는다.

ABSTRACT

We present families of (hyper)elliptic curve which admit an efficient deterministic encoding function.

연구 동기 및 목표

• 유한체에서 초타원곡선의 유리점으로의 결정론적이고 효율적인 인코딩 함수를 개발하는 것, 특히 암호학적 응용을 위한 것이다.
• 이전에 타원곡선에 국한되어 있던 Icart 유형의 인코딩을 종수 2 이상의 초타원곡선으로 확장하는 것.
• Brier 등이 정의한 바와 같이 약한 인코딩이 되도록 보장하여, 암호학적 해시 함수와 조합했을 때 무작위 오라클과의 불가구분성을 달성하는 것.
• 근을 통해 매개변수화가 가능한 해법 가능 갈루아 군을 갖는 곡선의 가닥을 식별하여, 결정론적인 점 생성을 가능하게 하는 것.
• Kümmer 이론과 차수 >3인 해법 가능 다항식을 사용하여 이 방법을 종수 2 이상의 곡선으로 일반화하는 것.

제안 방법

• 해법 가능 갈루아 군을 갖는 매개변수 다항식(예: 차수 3 또는 5)에서 시작하며, 그 근은 루트로 표현될 수 있다.
• 근의 루트 표현을 이용해 곡선 위의 점을 대수적으로 매개변수화하며, 특히 고차수 방정식에 대해 De Moivre 유형의 항등식을 활용한다.
• 보조 방정식(예: 이차 또는 오차)을 풀어 해를 통해 곡선 상의 좌표를 얻는 인코딩 맵을 구성한다.
• 종수 2 곡선의 경우, $ y^2 = x^5 + ax^3 + bx^2 + cx + d $ 의 구조를 활용하고, 루트를 통한 해법 가능 오차 방정식을 통해 점 생성을 단순화한다.
• 체 조건인 $ q \equiv 2 \pmod{3} $ 와 $ \gcd(q, 2g+1) = 1 $ 을 활용하여 거듭제곱 사상의 전단사성을 확보하고, 결정론적 루트 추출을 가능하게 한다.
• 인코딩 맵에서 $ g $ 개의 점을 조합하여 암호학적 이론을 적용한 다항식을 구성하고, 부정성 검사를 통해 충돌을 제거하며, 갈루아 켤레를 사용해 $ \mathbb{F}_q $-유리점의 다항식을 확보한다.

실험 결과

연구 질문

• RQ1 해법 가능 다항식과 대수적 매개변수화를 사용하여 종수 2 초타원곡선으로의 결정론적 다항시간 인코딩을 구성할 수 있는가?
• RQ2 어떤 초타원곡선 가닥이 해법 가능 갈루아 군을 가지며, 루트 기반 표현을 통해 점 생성이 가능한가?
• RQ3 Kümmer 이론과 해법 가능 다항식을 사용하여 타원곡선에서 종수 2 이상의 곡선으로 인코딩 방법을 일반화할 수 있는가?
• RQ4 어떤 체 조건(예: $ q \equiv 2 \pmod{3} $)에서 거듭제곱 사상이 전단사가 되어 결정론적 루트 추출이 가능한가?
• RQ5 제안된 인코딩을 해시 함수와 조합하여, 무작위 오라클과의 불가구분성을 갖는 암호학적 해시-투-곡선 함수를 만들 수 있는가?

주요 결과

• 논문은 종수 2 초타원곡선으로의 결정론적 다항시간 인코딩을 처음으로 제시하며, 중요한 암호학적 목표를 달성한다.
• 헤시안 타원곡선의 경우, 삼차 루트 해를 사용한 새로운 인코딩 맵이 유도되었으며, 특정 곡선 가닥에 대해 Icart 방법을 개선한다.
• 이 방법은 종수 $ g \geq 2 $ 로 일반화되며, 해법 가능 다항식의 차수 $ 2g+1 $ 을 기반으로 결정론적 대수적 인코딩을 갖는 초타원곡선의 가닥을 제공한다.
• 인코딩 맵의 이미지는 충분히 크기 때문에 '약한 인코딩'으로 간주되며, 암호학적 해시 함수와 조합했을 때 무작위 오라클과의 불가구분성을 달성할 수 있다.
• 인코딩은 효율적이며, $ q \equiv 2 \pmod{3} $ 와 $ \gcd(q, 2g+1) = 1 $ 와 같은 체 조건을 활용하여 루트 추출을 위한 전단사 거듭제곱 사상을 보장한다.
• 자기다음 다항식에 기반한 두 가지 전략을 제안한다: $ \mathbb{F}_q $-유리점으로 직접 인코딩하는 것과, $ \mathbb{F}_{q^g} $ 로 확장하여 갈루아 켤레를 사용해 $ \mathbb{F}_q $-유리 다항식을 복원하는 것.