Efficient Algorithms for Solving Overdefined Systems of Multivariate Polynomial Equations

  • Nicolas Courtois
  • Alexander Klimov
  • Jacques Patarin
  • Adi Shamir
Conference paper

DOI: 10.1007/3-540-45539-6_27

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1807)
Cite this paper as:
Courtois N., Klimov A., Patarin J., Shamir A. (2000) Efficient Algorithms for Solving Overdefined Systems of Multivariate Polynomial Equations. In: Preneel B. (eds) Advances in Cryptology — EUROCRYPT 2000. EUROCRYPT 2000. Lecture Notes in Computer Science, vol 1807. Springer, Berlin, Heidelberg

Abstract

The security of many recently proposed cryptosystems is based on the difficulty of solving large systems of quadratic multivariate polynomial equations. This problem is NP-hard over any field. When the number of equations m is the same as the number of unknowns n the best known algorithms are exhaustive search for small fields, and a Gröbner base algorithm for large fields. Gröbner base algorithms have large exponential complexity and cannot solve in practice systems with n ≥ 15. Kipnis and Shamir [9] have recently introduced a new algorithm called “relinearization”. The exact complexity of this algorithm is not known, but for sufficiently overdefined systems it was expected to run in polynomial time.

In this paper we analyze the theoretical and practical aspects of relinearization. We ran a large number of experiments for various values of n and m, and analysed which systems of equations were actually solvable. We show that many of the equations generated by relinearization are linearly dependent, and thus relinearization is less efficient that one could expect. We then develop an improved algorithm called XL which is both simpler and more powerful than relinearization. For all 0 < ε ≤ 1/2, and mεn2, XL and relinearization are expected to run in polynomial time of approximately \( n^{\mathcal{O}(1/\sqrt \varepsilon )} \). Moreover, we provide strong evidence that relinearization and XL can solve randomly generated systems of polynomial equations in subexponential time when m exceeds n by a number that increases slowly with n.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Nicolas Courtois
    • 1
    • 3
  • Alexander Klimov
    • 2
  • Jacques Patarin
    • 3
  • Adi Shamir
    • 4
  1. 1.MS/LIToulon UniversityLa Garde CedexFrance
  2. 2.Dept. of Appl. Math. & CyberneticsMoscow State UniversityMoscowRussia
  3. 3.Bull CP8Louveciennes CedexFrance
  4. 4.Dept. of Applied Math.The Weizmann Institute of ScienceRehovotIsrael

Personalised recommendations