Problems

advertisement
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
Download