[논문 리뷰] Mathematics of Isogeny Based Cryptography

Luca De Feo|arXiv (Cornell University)|2017. 11. 10.

Cryptography and Residue Arithmetic참고 문헌 60인용 수 45

한 줄 요약

이 논문은 이소지니 기반 암호의 포스트 양자 암호에 대한 광범위하고 접근하기 쉬운 소개를 제공하며, 타원곡선과 이소지니의 수학적 기초에 초점을 맞추고, 이들의 응용을 다룹니다. SIKE(Supersingular Isogeny Key Encapsulation), 영지식 확인, 이소지니 그래프 기반 서명 체계와 같은 주요 프로토콜을 제시하여, SSDDH 및 DSSP와 같은 가정 하에 그 보안성을 입증하고 양자 공격에 대한 저항성을 강조합니다.

ABSTRACT

These lectures notes were written for a summer school on Mathematics for post-quantum cryptography in Thi\\`es, Senegal. They try to provide a guide for Masters' students to get through the vast literature on elliptic curves, without getting lost on their way to learning isogeny based cryptography. They are by no means a reference text on the theory of elliptic curves, nor on cryptography; students are encouraged to complement these notes with some of the books recommended in the bibliography. The presentation is divided in three parts, roughly corresponding to the three lectures given. In an effort to keep the reader interested, each part alternates between the fundamental theory of elliptic curves, and applications in cryptography. We often prefer to have the main ideas flow smoothly, rather than having a rigorous presentation as one would have in a more classical book. The reader will excuse us for the inaccuracies and the omissions.

연구 동기 및 목표

• 이소지니 기반 암호에 대한 자율적이고 접근 가능한 소개를 제공하여, 이 분야에 처음 입문하는 석사 과정 학생들과 연구자들에게 도움이 되고자 합니다.
• 전통적인 타원곡선 이론과 이소지니 그래프 기반 현대 포스트 양자 암호 구조 사이의 격차를 메우고자 합니다.
• 키 교환, 영지식 확인, 서명 체계를 포함한 주요 이소지니 기반 프로토콜을 제시하고, 형식적 보안 감소를 통해 분석하고자 합니다.
• 이소지니 기반 시스템이 양자 공격에 대해 어떻게 저항하는지 강조하여, 포스트 양자 암호의 주요 후보로 위치시키고자 합니다.
• 효율적인 서명 체계와 융통성 있는 이소지니 기반 원형의 개발을 위해 개방된 문제를 제기함으로써 향후 연구를 유도하고자 합니다.

제안 방법

• 특성 ≠ 2, 3 인 체 위에서 Weierstrass 방정식과 사영 기하학을 사용하여 타원곡선을 정의하고, 점들의 공선성에 의해 군 법칙을 정의합니다.
• 군의 구조를 유지하는 타원곡선 간의 사상으로서 이소지니를 도입하며, 핵심과 분리 가능성에 의해 차수를 정의합니다.
• 타원곡선의 토크션 부분군을 핵심으로 사용하여, Velu–Vélu–Schoof 알고리즘을 적용해 이소지니를 명시적으로 계산합니다.
• F_p^2 위의 초특성 곡선에서 소수 거듭제곱 차수의 이소지니를 사용하여 초특성 이소지니 디피-헬만(SIDH) 키 교환을 구성합니다.
• 랜덤으로 선택된 도전과 함께 이소지니 일관성에 의해 검증되는 이소지니 커밋먼트 기반 영지식 확인 프로토콜을 활용합니다.
• 인터랙티브 영지식 프로토콜을 비인터랙티브하게 전환하기 위해 Fiat-Shamir 히وري스틱을 사용하여 서명 체계를 유도합니다.

실험 결과

연구 질문

• RQ1 이소지니 기반 프로토콜은 효율성과 실용성을 유지하면서도 어떻게 포스트 양자 보안을 달성할 수 있을까요?
• RQ2 이소지니 그래프가 암호 구조에 적합한 데 기여하는 기본 수학적 성질은 무엇일까요?
• RQ3 어떻게 이소지니를 활용한 영지식 증명을 설계할 수 있으며, 그 보안성을 입증하기 위해 어떤 가정이 필요한가요?
• RQ4 왜 이소지니 기반 시스템은 기존의 ECC나 PBC보다 양자 cryptanalysis에 더 효과적으로 저항할 수 있을까요?
• RQ5 이소지니 기반 암호의 한계는 무엇이며, 어떻게 이를 극복할 수 있을까요? 특히, 고전적 이산 로그 기반 프로토콜을 재현하는 데 어려움이 있다면 그 해결책은 무엇일까요?

주요 결과

• SIKE 프로토콜은 양자 공격자에게도 어려운 것으로 여겨지는 초특성 이소지니 디피-헬만(SI-DDH) 가정 하에 보안이 확보되어 있습니다.
• 이소지니 커밋먼트 기반 영지식 확인 프로토콜은 결정적 초특성 곱(DSSP) 및 SSDDH 가정 하에 보안성과 영지식성을 확보합니다.
• 사기자에 의한 성공 확률이 1/2로 설정되어 있으며, 반복을 통해 기하급수적으로 감소시킬 수 있습니다.
• 영지식 프로토콜에서 파생된 서명 체계는 동일한 가정 하에 보안성이 확보되지만, 수백 번의 반복이 필요하기 때문에 여전히 계산적으로 비용이 많이 듭니다.
• p = ℓ_A^{e_A}ℓ_B^{e_B}ℓ_C^{e_C}±1 과 같이 다수의 소수로 일반화하면, 지정된 검증자 서명 및 무효화 불가 서명과 같은 새로운 원형을 만들 수 있지만, 더 큰 소수와 효율성 저하를 감수해야 합니다.
• 이소지니 그래프가 확산 그래프(Expander graphs)임을 입증하여, 이러한 그래프에서 경로를 찾는 것이 어렵다는 사실이 프로토콜의 보안성을 뒷받침합니다.