Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3208976.3208998acmotherconferencesArticle/Chapter ViewAbstractPublication PagesissacConference Proceedingsconference-collections
research-article
Open access

Frobenius Additive Fast Fourier Transform

Published: 11 July 2018 Publication History

Abstract

In ISSAC 2017, van der Hoeven and Larrieu showed that evaluating a polynomial P ın Fq [x] of degree <n at all n -th roots of unity in Fqd can essentially be computed d times faster than evaluating Q ın Fqd x at all these roots, assuming Fqd contains a primitive n -th root of unity. 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. 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. 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.

References

[1]
Daniel J. Bernstein. 2009. Batch Binary Edwards. In Advances in Cryptology - CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16--20, 2009. Proceedings. 317--336.
[2]
Daniel J. Bernstein and Tung Chou. 2014. Faster Binary-Field Multiplication and Faster Binary-Field MACs Selected Areas in Cryptography - SAC 2014 - 21st International Conference, Montreal, QC, Canada, August 14--15, 2014, Revised Selected Papers (Lecture Notes in Computer Science), Antoine Joux and Amr M. Youssef (Eds.), Vol. Vol. 8781. Springer, 92--111.
[3]
Richard P Brent, Pierrick Gaudry, Emmanuel Thomé, and Paul Zimmermann. 2008. Faster Multiplication in GF (2)(x). Lecture Notes in Computer Science Vol. 5011 (2008), 153--166.
[4]
Michael A. Burr, Chee K. Yap, and Mohab Safey El Din (Eds.). 2017. Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25--28, 2017. ACM.
[5]
David G. Cantor. 1989. On Arithmetical Algorithms over Finite Fields. J. Comb. Theory Ser. A Vol. 50, 2 (March. 1989), 285--300.
[6]
Murat Cenk and M. Anwar Hasan. 2015. Some new results on binary polynomial multiplication. J. Cryptographic Engineering Vol. 5, 4 (2015). 289--303.
[7]
Murat Cenk, M. Anwar Hasan, and Christophe Nègre. 2014. Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based on Block Recombination. IEEE Trans. Computers Vol. 63, 9 (2014). 2273--2287.
[8]
Murat Cenk, Christophe Nègre, and M. Anwar Hasan. 2013. Improved Three-Way Split Formulas for Binary Polynomial and Toeplitz Matrix Vector Products. IEEE Trans. Computers Vol. 62, 7 (2013). 1345--1361.
[9]
Ming-Shing Chen, Chen-Mou Cheng, Po-Chun Kuo, Wen-Ding Li, and Bo-Yin Yang. 2017. Faster Multiplication for Long Binary Polynomials. CoRR Vol. abs/1708.09746 (2017). {arxiv}1708.09746http://arxiv.org/abs/1708.09746 tempurl
[10]
Haining Fan and M. Anwar Hasan. 2015. A Survey of Some Recent Bit-parallel GF ( 2 N ) Multipliers. Finite Fields Appl. Vol. 32, C (March. 2015). 5--43.
[11]
Shuhong Gao and Todd Mateer. 2010. Additive Fast Fourier Transforms over Finite Fields. IEEE Trans. Inf. Theor. Vol. 56, 12 (Dec. 2010), 6265--6272.
[12]
David Harvey, Joris van der Hoeven, and Grégoire Lecerf. 2016. Fast Polynomial Multiplication over (F2 60) Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19--22, 2016, Sergei A. Abramov, Eugene V. Zima, and Xiao-Shan Gao (Eds.). ACM, 255--262.
[13]
David Harvey, Joris van der Hoeven, and Grégoire Lecerf. 2017. Faster Polynomial Multiplication over Finite Fields. J. ACM Vol. 63, 6 (2017), 52:1--52:23.
[14]
Intel Corp. 2008. Carry-Less Multiplication and Its Usage for Computing The GCM Mode. http://software.intel.com/en-us/articles/carry-less-multiplication-and-its-usage-for-computing-the-gcm-mode.
[15]
Sian-Jheng Lin, Wei-Ho Chung, and Yunghsiang S. Han. 2014. Novel Polynomial Basis and Its Application to Reed-Solomon Erasure Codes 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, October 18--21, 2014. IEEE Computer Society, 316--325.
[16]
Sian-Jheng Lin, Tareq Y. Al-Naffouri, and Yunghsiang S. Han. 2016. FFT Algorithm for Binary Extension Finite Fields and Its Application to Reed--Solomon Codes. IEEE Trans. Inf. Theor. Vol. 62, 10 (Oct. 2016), 5343--5358.
[17]
C. Paar. 1997. Optimized arithmetic for Reed-Solomon encoders. In Proceedings of IEEE International Symposium on Information Theory. 250--.
[18]
Joris van der Hoeven and Robin Larrieu. 2017. The Frobenius FFT, See NDBLP:conf/issac/2017, 437--444.
[19]
Joris van der Hoeven, Robin Larrieu, and Grégoire Lecerf. 2017. Implementing Fast Carryless Multiplication. In Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15--17, 2017, Proceedings (Lecture Notes in Computer Science), Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, and Dimitris E. Simos (Eds.), Vol. Vol. 10693. Springer, 121--136.
[20]
Joris van der Hoeven and Grégoire Lecerf. 2017. Composition Modulo Powers of Polynomials, See NDBLP:conf/issac/2017, 445--452.
[21]
Joachim von zur Gathen and Jamshid Shokrollahi. 2005. Efficient FPGA-Based Karatsuba Multipliers for Polynomials over F(2) Selected Areas in Cryptography, 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11--12, 2005, Revised Selected Papers (Lecture Notes in Computer Science), Bart Preneel and Stafford E. Tavares (Eds.), Vol. 3897. Springer, 359--369.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
ISSAC '18: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
July 2018
418 pages
ISBN:9781450355506
DOI:10.1145/3208976
This work is licensed under a Creative Commons Attribution-NonCommercial International 4.0 License.

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 July 2018

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. additive FFT
  2. complexity bound
  3. fast fourier transform
  4. finite field
  5. frobenius FFT
  6. frobenius additive FFT
  7. frobenius automorphism
  8. polynomial multiplication

Qualifiers

  • Research-article

Funding Sources

Conference

ISSAC '18

Acceptance Rates

Overall Acceptance Rate 395 of 838 submissions, 47%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)236
  • Downloads (Last 6 weeks)39
Reflects downloads up to 22 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Uni/multi variate polynomial embeddings for zkSNARKsCryptography and Communications10.1007/s12095-024-00723-016:6(1257-1288)Online publication date: 16-Jul-2024
  • (2023)An Efficient Reed-Solomon Erasure Code over Cantor-constructed Binary Extension Finite Fields2023 IEEE International Symposium on Information Theory (ISIT)10.1109/ISIT54713.2023.10206562(826-831)Online publication date: 25-Jun-2023
  • (2023)The Discrete Fourier Transform Over the Binary Finite FieldIEEE Access10.1109/ACCESS.2023.328806911(62771-62779)Online publication date: 2023
  • (2020)Fast transforms over finite fields of characteristic twoJournal of Symbolic Computation10.1016/j.jsc.2020.10.002Online publication date: Oct-2020

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media