Multivariate Signature Scheme using Quadratic Forms Takanori Yasuda (ISIT) Joint work with Tsuyoshi Takagi (Kyushu Univ.), Kouichi Sakurai (Kyushu Univ.) Workshop on Solving Multivariate Polynomial Systems and Related Topics 2013/3/3 Contents 1. 2. 3. 4. 5. Multivariate Signature Schemes Quadratic Forms Multivariate System defined by Quadratic Forms Application to Signature Scheme Comparison with Rainbow 1. 2. 3. Efficiency of Signature Generation Key Sizes Security 6. Conclusion 1 MPKC Signature ๐น: ๐พ ๐ → ๐พ ๐ : multivariate polynomial map Vector space ๐พ ๐ Vector space ๐พ ๐ ๐น ๐บ = ๐ญ−๐ (๐ด) Signature ๐ด Inverse function ๐น −1 Message For any message M, there must exist the corresponding signature. F is surjective. 6 New Multivariate Polynomial Map • We introduce a multivariate polynomial map not surjective, and apply it to signature. 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 2 2 a multivariate polynomial map ๐พ ๐ → ๐พ ๐ . 2 Problems of G Is G applicable to signature or not? Problems 1. Can its inverse map be computed efficiently? Necessary to compute ๐บ −1 M 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. 3 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 problems of ๐บ in terms of quadratic form • Equation (๐ด, ๐ต: symmetric matrices) ๐บ(๐) = ๐. ๐ด. ๐ ๐ =๐ต • Restrict solution ๐ ∈ ๐บ๐ฟ(๐, ๐พ) o Problem 1’ For ๐๐ด , ๐๐ต , isometric each other, find a translation matrix ๐ถ efficiently. o Problem 2’ For any ๐๐ด , ๐๐ต , are ๐๐ด and ๐๐ต isometric or not? How to compute the inverse map Simple case ๐ด = ๐ผ๐ = 1 0 โฑ 0 1 Problem 1’ is equivalent to Problem 1’’: Find an orthonormal basis of ๐พ ๐ with respect to ๐๐ต . Orthonormal basis: ๐ฃ1 , … ๐ฃ๐ in ๐พ ๐ ๐๐ต ๐ฃ๐ = 1 for ๐ = 1, … , ๐, ๐๐ต ๐ฃ๐ , ๐ฃ๐ โ ๐ฃ๐ . ๐ต. ๐ฃ๐ ๐ = 0 for ๐ ≠ ๐ 5 Real field Case • ๐พ = ๐น : real field Gram-Schmidt orthonormalization provides an efficient algorithm to solve Problem 1’’. It uses special property of ๐๐ด = ๐๐ผ๐ . Fact: ๐๐ด = ๐๐ผ๐ is anisotropic. Definition: A quadratic form ๐ is anisotropic for any ๐ฃ (≠ 0)๐ ๐พ ๐ , ๐(๐ฃ) ≠ 0 We want to apply Gram-Schmidt orthonormalization technique to the case of finite fields. Finite Field Case Fact Let ๐พ be a finite field. Any quadratic form on ๐พ ๐ (๐ ≥ 3) is not anisotropic. We cannot apply Gram-Schmidt orthonormalization directly. • However, we can extend Gram-Schmidt orthonormalization by inserting a step: If ๐ ๐ฃ = 0, then find another element ๐ฃ′ such that ๐ ๐ฃ′ ≠ 0. Solve Problem 1’ Problem 2 • Definition ๐๐ด : quadratic form associated to ๐ด. ๐๐ด is nondegenerate det(๐ด) ≠ 0 Classification theorem (if K has odd characteristic) Any nondegenerate quadratic form is isometric to either ๐๐ด1 or ๐๐ด๐ฟ . 7 Classification Theorem • For any (nondegenerate) message ๐, either • • • • ๐ โ ๐ด1 โ ๐ ๐ = ๐ or ๐ โ ๐ด๐ฟ โ ๐ ๐ = ๐ has a solution. ๐ด1 or ๐ด๐ฟ is determined by det(๐). In the degenerate case, both equations have solutions. ๐บ ๐ = ๐ โ ๐ด1 โ ๐ ๐ or ๐บ ๐ = ๐ โ ๐ด๐ฟ โ ๐ ๐ is not surjective. However, we can apply this map to MPKC signature. Application to MPKC Signature Scheme • Secret Key ๐ถ1 , ๐ถ๐ฟ ๐ ๐บ๐ฟ(๐, ๐พ) ๐ด1 โ ๐ถ1 . ๐ด1 . ๐ถ1 ๐ , ๐ด๐ฟ โ ๐ถ๐ฟ . ๐ด๐ฟ . ๐ถ๐ฟ ๐ , ๐บ1 ๐ = ๐. ๐ด1 . ๐, ๐ฟ: ๐พ ๐ → ๐พ ๐ , • Public Key ๐บ๐ฟ ๐ = ๐. ๐ด๐ฟ . ๐ ๐ : ๐พ ๐ → ๐พ ๐ , affine transformations ๐= ๐ ๐+1 2 , ๐ = ๐2 ๐น1 : ๐พ ๐ → ๐พ ๐ defined by ๐น1 = ๐ฟ°๐บ1 °๐ , ๐น๐ฟ : ๐พ ๐ → ๐พ ๐ defined by ๐น๐ฟ = ๐ฟ°๐บ๐ฟ °๐ , Signature Generation • For any symmetric matrix ๐, • Step 1 Apply the extended Gram-Schmidt orthonormalization to ๐. o Find a solution ๐ = ๐ท of either ๐ โ ๐ด1 โ ๐ ๐ = ๐ or ๐ โ ๐ด๐ฟ โ ๐ ๐ = ๐ • Step 2 Compute ๐ธ = ๐ถ1 −1 . ๐ท or ๐ธ = ๐ถ๐ฟ −1 . ๐ท. ๐ = ๐ธ is a solution of ๐บ1 ๐ = ๐ or ๐บ๐ฟ ๐ = ๐. Property of Our Scheme • Respective map ๐บ1 or ๐บ๐ฟ is not surjective. • However, the union of images of these maps covers the whole space. ๐ฒ๐ ๐ฎ๐ ๐ฎ๐น ๐ฒ๐ 14 Property of Our Scheme Multivariate Polynomial Maps Rainbow Surjective HFE UOV MI Not Surjective Proposal 4 Security of Our Scheme • There are several attacks of MPKC signature schemes which depend on the structure of central map. • For example, UOV attack is an attack which transforms public key into a form of central map of UOV scheme. o Central maps of UOV ara surjective. o The public key of our scheme cannot be transformed into any surjective map. • These attacks is not applicable against our scheme. ๏ผOther example: Rainbow-band-separation attack, UOV-Reconciliation attack๏ผ • However, attacks which is independent of scheme, like direct attacks, are applicable to our scheme. 15 Comparison with Rainbow Compared in the case that ๐ and ๐ are same for public key F : ๐พ ๐ → ๐พ ๐ • Equivalent with respect to cost of verification and public key length. • Cost of signature generation (number of mult.) o Proposal ๐(๐2 ) o Rainbow ๐(๐3 ) ⇒ 8 or 9 times more efficient at the level of 88-bit security. • Secret Key Size (number of elements of field) o Proposal o Rainbow 16 Conclusion • We propose a new MPKC signature scheme using quadtaci 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 17