Finding optimal formulae for bilinear maps

  • Authors:
  • Razvan Barbulescu;Jérémie Detrey;Nicolas Estibals;Paul Zimmermann

  • Affiliations:
  • CARAMEL project-team, LORIA, Université de Lorraine / INRIA / CNRS, Vandoeuvre-lés-Nancy Cedex, France;CARAMEL project-team, LORIA, Université de Lorraine / INRIA / CNRS, Vandoeuvre-lés-Nancy Cedex, France;CARAMEL project-team, LORIA, Université de Lorraine / INRIA / CNRS, Vandoeuvre-lés-Nancy Cedex, France;CARAMEL project-team, LORIA, Université de Lorraine / INRIA / CNRS, Vandoeuvre-lés-Nancy Cedex, France

  • Venue:
  • WAIFI'12 Proceedings of the 4th international conference on Arithmetic of Finite Fields
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We describe a unified framework to search for optimal formulae evaluating bilinear or quadratic maps. This framework applies to polynomial multiplication and squaring, finite field arithmetic, matrix multiplication, etc. We then propose a new algorithm to solve problems in this unified framework. With an implementation of this algorithm, we prove the optimality of various published upper bounds, and find improved upper bounds.