230 likes | 375 Views
Multivariate Signature Scheme using Quadratic Forms. Takanori Yasuda (ISIT) Joint work with Tsuyoshi Takagi (Kyushu Univ.), Kouichi Sakurai (Kyushu Univ .). This work was partially supported by the Japan Science and Technology Agency (JST) Strategic Japanese-Indian
E N D
Multivariate Signature Scheme using Quadratic Forms Takanori Yasuda (ISIT) Joint work with Tsuyoshi Takagi (Kyushu Univ.), Kouichi Sakurai (Kyushu Univ.) This work was partially supported by the Japan Science and Technology Agency (JST) Strategic Japanese-Indian Cooperative Programme for Multidisciplinary Research Fields, which aims to combine Informationand Communications Technology with Other Fields. The first author is supported by Grant-in-Aid for Young Scientists (B), Grant number 24740078.
Contents • Multivariate Signature Schemes • Quadratic Forms • Multivariate System defined by Quadratic Forms • Application to Signature Scheme • Comparison with Rainbow • Efficiency of Signature Generation • Key Sizes • Security • Conclusion
MPKCSignature : multivariate polynomial map Vector space Vector space Inverse function Signature Message For any message M, there must exist the corresponding signature. F is surjective.
New Multivariate Polynomial Map • We introduce a multivariate polynomial map not surjective, and apply it to signature scheme. Multivariate polynomial map For a symmetric matrix A, where is a matrix of variables of size . is a map which assigns a matrix to a matrix. G can be regarded as a multivariate polynomial map.
Questions Is G applicable to signature scheme or not? Questions Can its inverse map be computed efficiently? Necessary to compute for a message M in order to generate a signature. 2. Is it surjective or not? For any message M, necessary to generate its signature.
Quadratic Forms • Definition 1 : Field with odd characteristic (or 0) : Natural number is a quadratic form for some symmetric matrix • Definition 2 , : quadratic forms associated to and are isometric for some
Translation of questions of in terms of quadratic form • Equation • Restrict solution • Problem 1 For , , isometric each other, find a translation matrix efficiently. • Problem 2 For any , , determine whether and isometric or not? (: symmetric matrices)
How to compute the inverse map Simple case Problem 1 is equivalent to Problem 1’: Find an orthonormal basis of with respect to . Orthonormal basis: in for for
Real field Case • : real field Gram-Schmidt orthonormalizationprovides an efficient algorithm to solve Problem 1’. It uses special property of . Fact: is anisotropic. Definition: A quadratic form is anisotropic for any , We want to apply Gram-Schmidt orthonormalization technique to the case of finite fields.
Finite Field Case • However, we can extend Gram-Schmidt orthonormalization by inserting a step: Fact Let be a finite field. Any quadratic form on () is not anisotropic. We cannot apply Gram-Schmidt orthonormalizationdirectly. If , then find another element such that . Solve Problem 1
2-dimensional case (1) Operation for Matrices of 22 is fundamental. In this case, apply the usual GS orthonormalization.
2-dimensional case (2) • There are two cases: or . ⇒ apply the usual GS-normalization.
2-dimensional case (3) • We obtained • There is a matrix such that . This completes the Extended GS-normalization.
Problem 2 • Definition : quadratic form associated to . is nondegeneratedet Classification theorem Any nondegenerate quadratic form is isometric to either or .
Classification Theorem • For any (nondegenerate) message , either has a solution. • or is determined by det. • or is not surjective. • However, we can apply these maps to MPKC signature scheme. or
Application to MPKC Signature Scheme • Secret Key , , , • Public Key , , affine transformations defined by , defined by ,
Signature Generation For a symmetric matrix , • Step 1 Compute . • Step 2 Apply the extended Gram-Schmidt orthornormalization to . • Find a solution of either • Step 3 Compute or . • Step 4 Compute . or is a solution of or .
Property of Our Scheme • Respective map or is not surjective. • However, the union of images of these maps covers the whole space. For any M, there exists the corresponding signature. M
Other Signature Schemes Multivariate Polynomial Maps Rainbow HFE Surjective UOV MI Proposal Not Surjective
Security of Our Scheme • There are several attacks of MPKCsignature schemes which depend on the structure of central map. • For example, UOVattack is an attackwhich transforms public key into a form of central map of UOV scheme. • Central maps of UOVare surjective. • The public key of our scheme cannot be transformed into any surjective map. • These attacks is not applicable against our scheme.(Other examples: Rainbow-band-separationattack, UOV-Reconciliationattack) • However, attacks which is independent of scheme, like direct attacks, are applicable to our scheme.
Comparison with Rainbow • Equivalent with respect to cost of verification and public key length. • Cost of signature generation (number of mult.) • Proposal • Rainbow ⇒ 8 or 9 times more efficient at the level of 88-bit security. • Secret Key Size(number of elements of field) • Proposal • Rainbow Compared in the case that and are same for public key F :
Conclusion • We propose a new MPKC signature scheme using quadratic forms. The multivariate polynomial map used in the scheme is not surjective. • Signature generation uses an extended Gram-Schmidt orthonormalization. It is 8 or 9 times more efficient than that of Rainbow at the level of 88-bit security. Future Work • Security analysis • Application to encryption scheme