[논문 리뷰] Frobenius Additive Fast Fourier Transform

Wen-Ding Li, Ming-Syan Chen⋆외 3명|arXiv (Cornell University)|2018. 02. 12.

Coding theory and cryptography참고 문헌 14인용 수 3

한 줄 요약

이 논문은 유한체에서 프로베누스 사상(frobenius map)을 활용하여 소수 차수에서 효율적인 이진 다항식 곱셈을 위한 새로운 FFT 기반 방법인 프로베누스 덧셈형 빠른 푸리에 변환(FAFFT)을 소개한다. 이 방법은 차수 <256일 때 기록적인 낮은 비트 연산 수인 29,005회를 기록하며, 카라츠바(Karatsuba) 및 이전의 FFT 방법들을 능가한다. 이는 이론적으로 FFT 기반 곱셈이 이러한 낮은 차수에서 비트 연산 수 측면에서 카라츠바 알고리즘을 능가하는 최초의 사례이다.

ABSTRACT

In ISSAC 2017, van der Hoeven and Larrieu showed that evaluating a polynomial P in GF(q)[x] of degree

연구 동기 및 목표

• FFT가 낮은 차수의 다항식 곱셈에 비효율적이라는 기존의 통념을 극복하기 위해 고려된 숨겨진 상수가 높기 때문이다.
• 카이터와 가오-메이티어의 기반으로, 곱셈적 단위근에서 덧셈형 FFT 구조로 프로베누스 FFT 기법을 일반화하기 위해.
• 특히 암호학 및 부호 이론에서 중요한 낮은 차수에서의 이진 다항식 곱셈의 비트 연산 수를 줄이기 위해.
• 차수 256 수준에서 비트 연산 수 측면에서 FFT 기반 곱셈이 카라츠바 유사 알고리즘을 능가할 수 있음을 입증하기 위해.
• 임베디드 및 암호학적 시스템에 배포 가능한 공개된 FAFFT 기반 곱셈을 위한 실용적인 코드 생성기 제공하기 위해.

제안 방법

• 이 방법은 프로베누스 FFT 프레임워크를 덧셈형 FFT 구조로 확장하여, 유한체 확장에서의 대칭성을 활용한다.
• 카이터와 가오-메이티어의 덧셈형 FFT 알고리즘을 적용하며, 특성 2에서 아르틴-슈라이어 확장 위에서 다항식 나눗셈을 사용한다.
• 기본 체 𝔽₂를 고정하는 체의 자기동형사상인 프로베누스 사상을 사용하여 연산 수를 감소시킨다.
• 𝔽₂^d에서 작동하고 확장 체의 덧셈 구조에 적합한 기저를 사용함으로써 이진 다항식에 최적화한다.
• FAFFT를 사용한 다항식 곱셈을 위한 최적화된 절차를 자동 생성하는 코드 생성기를 구현한다.
• 현대 CPU에서 고차수 곱셈을 위해, 평가 점을 𝔽₂^128의 부분집합으로 제한함으로써 PCLMULQDQ 명령어를 활용하도록 방법을 변형한다.

실험 결과

연구 질문

• RQ1 유한체에서 곱셈적 단위근에서부터 덧셈형 FFT 구조로 프로베누스 FFT 기법을 일반화할 수 있는가?
• RQ2 소수 차수에서 카라츠바 유사 알고리즘보다 FAFFT가 이진 다항식 곱셈의 비트 연산 수를 더 낮출 수 있는가?
• RQ3 비트 연산 수 측면에서 기존의 FFT 기반 방법(예: 크로네커 또는 표준 덧셈형 FFT)보다 프로베누스 덧셈형 FFT가 우월한가?
• RQ4 PCLMULQDQ와 같은 전용 명령어를 갖춘 현대 CPU에서 FAFFT를 효율적으로 적용할 수 있는가?
• RQ5 낮은 차수의 이진 다항식에 대해 비트 연산 수 측면에서 FFT 기반 곱셈의 성능 상한선은 무엇인가?

주요 결과

• 차수 <256일 경우 FAFFT 방법은 비트 연산 수가 단지 29,005회로 기록적인 최저 수준에 도달하며, 이는 이전 최고 기록인 33,397을 능가한다.
• 차수 128일 경우 비트 연산 수가 11,556회로 이전 최고 기록인 11,466에 비해 약 0.78% 뿐 더 느리며, 거의 최적에 가까운 성능을 보인다.
• 이론적 예측과 일치하게 프로베누스 FFT의 특성에 기반해, 크로네커 기반 FFT 구현보다 비트 연산 수 측면에서 약 2배의 성능 향상을 달성한다.
• 인텔 스카이레이크 아키텍처에서, PCLMULQDQ를 사용하는 FAFFT 변종은 차수 2^23 이하에서 이전의 모든 구현(FDFT, ADFT, gf2x 등)을 능가한다.
• 코블리츠 곡선(sect233k1, sect239r1, BBE251 등)의 경우, 기존 방법 대비 비트 연산 수를 줄여 이진 타원곡선 암호학에서 더 빠른 산술 연산을 가능하게 한다.
• 이 연구는 FFT 기반 곱셈이 이러한 낮은 차수에서 비트 연산 수 측면에서 카라츠바 유사 알고리즘을 능가할 수 있음을 처음으로 입증하여, 이전의 가정을 도전한다.