Abstract
In ISSAC 2017, van der Hoeven and Larrieu showed that evaluating a polynomial P ∈ Fq[x] of degree < n at all n-th roots of unity in Fqd can essentially be computed d times faster than evaluating Q ∈ Fqd [x] at all these roots, assuming Fqd contains a primitive n-th root of unity [18]. Termed the Frobenius FFT, this discovery has a profound impact on polynomial multiplication, especially for multiplying binary polynomials, which finds ample application in coding theory and cryptography. In this paper, we show that the theory of Frobenius FFT beautifully generalizes to a class of additive FFT developed by Cantor and Gao-Mateer [5, 11]. Furthermore, we demonstrate the power of Frobenius additive FFT for q = 2: to multiply two binary polynomials whose product is of degree < 256, the new technique requires only 29,005 bit operations, while the best result previously reported was 33,397 [1]. To the best of our knowledge, this is the first time that FFT-based multiplication outperforms Karatsuba and the like at such a low degree in terms of bit-operation count.
Original language | English |
---|---|
Title of host publication | ISSAC 2018 - Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation |
Publisher | Association for Computing Machinery |
Pages | 127-133 |
Number of pages | 7 |
ISBN (Electronic) | 9781450355506 |
DOIs | |
State | Published - 11 07 2018 |
Externally published | Yes |
Event | 43rd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2018 - New York, United States Duration: 16 07 2018 → 19 07 2018 |
Publication series
Name | Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC |
---|
Conference
Conference | 43rd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2018 |
---|---|
Country/Territory | United States |
City | New York |
Period | 16/07/18 → 19/07/18 |
Bibliographical note
Publisher Copyright:© 2018 Copyright held by the owner/author(s).
Keywords
- Additive FFT
- Complexity bound
- Fast Fourier Transform
- Finite field
- Frobenius FFT
- Frobenius additive FFT
- Frobenius automorphism
- Polynomial multiplication