Software Toolkit for HFE-based Multivariate Schemes

Authors

  • Jean-Charles Faugère CryptoNext; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, Équipe PolSys, 4 place Jussieu, F-75005, Paris; INRIA Paris
  • Ludovic Perret CryptoNext; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, Équipe PolSys, 4 place Jussieu, F-75005, Paris; INRIA Paris
  • Jocelyn Ryckeghem Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, Équipe PolSys, 4 place Jussieu, F-75005, Paris; INRIA Paris

DOI:

https://doi.org/10.13154/tches.v2019.i3.257-304

Keywords:

MQsoft, efficient software implementation, constant-time, HFEv-, GeMSS, Gui, DualModeMS, root finding, binary fields

Abstract

In 2017, NIST shook the cryptographic world by starting a process for standardizing post-quantum cryptography. Sixty-four submissions have been considered for the first round of the on-going NIST Post-Quantum Cryptography (PQC) process. Multivariate cryptography is a classical post-quantum candidate that turns to be the most represented in the signature category. At this stage of the process, it is of primary importance to investigate efficient implementations of the candidates. This article presents MQsoft, an efficient library which permits to implement HFE-based multivariate schemes submitted to the NIST PQC process such as GeMSS, Gui and DualModeMS. The library is implemented in C targeting Intel 64-bit processors and using avx2 set instructions. We present performance results for our library and its application to GeMSS, Gui and DualModeMS. In particular, we optimize several crucial parts for these schemes. These include root finding for HFE polynomials and evaluation of multivariate quadratic systems in F2. We propose a new method which accelerates root finding for specific HFE polynomials by a factor of two. For GeMSS and Gui, we obtain a speed-up of a factor between 2 and 19 for the keypair generation, between 1.2 and 2.5 for the signature generation, and between 1.6 and 2 for the verifying process. We have also improved the arithmetic in F2n by a factor of 4 compared to the NTL library. Moreover, a large part of our implementation is protected against timing attacks.

Published

2019-05-09

Issue

Section

Articles

How to Cite

Software Toolkit for HFE-based Multivariate Schemes. (2019). IACR Transactions on Cryptographic Hardware and Embedded Systems, 2019(3), 257-304. https://doi.org/10.13154/tches.v2019.i3.257-304