Rauch comparison theorem

Multivariate cryptography is the generic term for asymmetric cryptographic primitives based on multivariate polynomials over finite fields. In certain cases those polynomials could be defined over both a ground and an extension field. If the polynomials have the degree two, we talk about multivariate quadratics. Solving systems of multivariate polynomial equations is proven to be NP-Hard or NP-Complete. That's why those schemes are often considered to be good candidates for post-quantum cryptography, once quantum computers can break the current schemes. Today multivariate quadratics could be used only to build signatures. All attempts to build a secure encryption scheme have so far failed.

History

In 1988 T. Matsumoto and H. Imai presented their scheme "Matsumoto-Imai-Scheme" on the Eurocrypt conference. On later work the "Hidden Monomial Cryptosystems" was developed by Template:Fr Jacques Patarin. It is based on a ground and an extension field. On this "Hidden Field Equations" was designed and presented in 1996. In the following years J. Patarin developed other schemes. In 1997 he presented “Balanced Oil & Vinegar” and 1999 “Unbalanced Oil and Vinegar” in cooperation with Aviad Kipnis and Louis Goubin.

Construction

Multivariate Quadratics involves a public and a private key. The private key consists of three affine transformations (S,P’,T). In this triple P' is the private transformation which is specially designed for each scheme. P’ maps elements from $G{F}^n$ → $G{F}^m$. S transforms from $G{F}^n$ → $G{F}^n$ and T from $G{F}^m$ → $G{F}^m$. Each transformation must be invertible. Note that the elements are map in a field not in a group. Sometimes the triple is called a trapdoor. The public key results by linking the private transformation. Public key P can be stated as P=S • P' • T.

Signature

Signatures are generated using the private key and are verified using the public key. The flow chart below shows how it is done by each party. First the sender takes its message and interpret it as a vector in a small field (for example, if the field has only two elements, then a bit vector). By now S takes $x=⟨x_1,...,x_n⟩$ as input. During S, $x$ is multiplied with a matrix $M_S$ in addition a vector $v_s$ with length $n$ is added. The dimension of $M_S$ is $n$ x $n$. T is a similar transformation to S. Both transformation in a mathematically form are shown below

1. $S=M_S*x+v_S$
2. $T=M_T*y^{\prime }+v_T$

The output of S is the new input for the private transformation P'. Since P' is applied the last transformation T could be performed and the signature is obtained.

A complete signature consists of the elements (x,y) as bit vectors. A potential receiver of this tuple must have the public key in possession. Since he has the key he is able to verify if y is a valid signature of x. Therefore the receiver fill the public equation set with the elements of the bit vectors. A public equations set could look like shown below.

$y_1=x_1{x}_2+x_1{x}_4+x_3{x}_4$
$y_2=x_1{x}_3+x_2{x}_4$
$y_3=x_1{x}_4+x_2{x}_3+x_2{x}_4+x_3{x}_4$
$y_4=x_1{x}_2+x_1{x}_3+x_1{x}_4+x_2{x}_3+x_2{x}_4+x_3{x}_4$

Applications

• Unbalanced Oil and Vinegar
• Hidden Field Equations
• SFLASH by NESSIE
• Rainbow
• TTS
• QUARTZ
• QUAD (cipher)

References

• J. Patarin, Hidden Field Equations (HFE) and Isomorphisms of Polynomials (IP): two new Families of Asymmetric Algorithms (extended version); Eurocrypt '96

• Aviad Kipnis, Jacques Patarin, and Louis Goubin, Unbalanced Oil and Vinegar Signature Schemes - Extended Version; Eurocrypt'99

• Christopher Wolf, and Bart Preneel, Taxonomy of Public Key Schemes based on the problem of

Multivariate Quadratic equations; Current Version: 2005-12-15

• An Braeken, Christopher Wolf, and Bart Preneel, A Study of the Security of Unbalanced Oil and Vinegar Signature Schemes, Current Version: 2005-08-06

• Jintai Ding, Research Project: Cryptanalysis on Rainbow and TTS multivariate public key signature scheme

• Jacques Patarin, Nicolas Courtios, Louis Goubin, SFLASH, a fast asymmetric signature scheme for low-cost smartcards. Primitive specification and supporting documentation.

• Bo-Yin Yang, Chen-Mou Cheng, Bor-Rong Chen, and Jiun-Ming Chen, Implementing Minimized Multivariate PKC on Low-Resource Embedded Systems, 2006

• Bo-Yin Yang, Jiun-Ming Chen, and Yen-Hung Chen, TTS: High-Speed Signatures on a Low-Cost Smart Card, 2004

• Nicolas T. Courtois, Short Signatures, Provable Security, Generic Attacks and Computational Security of Multivariate Polynomial Schemes such as HFE, Quartz and Sflash, 2005

• Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone, Handbook of Applied Crypthography, 1997

External links

• [1] The HFE public key encryption and signature