pptx - PQCrypto 2013

advertisement
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 Information and
Communications Technology with Other Fields. The first author is supported by Grant-in-Aid for Young
Scientists (B), Grant number 24740078.
1
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
2
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.
3
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
2
2
a multivariate polynomial map ๐พ ๐‘Ÿ → ๐พ ๐‘Ÿ .
๐พ ๐‘Ÿ(๐‘Ÿ+1)/2
4
Questions
Is G applicable to signature scheme or not?
Questions
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.
5
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 ๐ถ ∈ ๐บ๐ฟ(๐‘Ÿ, ๐พ)
6
Translation of questions 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 ๐‘ž๐ด , ๐‘ž๐ต ,
determine whether ๐‘ž๐ด and ๐‘ž๐ต isometric or not?
7
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 ๐‘– ≠ ๐‘—
8
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.
9
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
10
2-dimensional case (1)
Operation for Matrices of 2×2 is fundamental.
๐‘Ž
(1) ๐ด =
๐‘
๐‘
๐‘
(๐‘Ž ≠ 0)
In this case, apply the usual GS orthonormalization.
11
2-dimensional case (2)
๐‘Ž
(2) ๐ด =
๐‘
๐‘
๐‘
(๐‘Ž = 0)
• There are two cases: ๐‘ = 0 or ๐‘ ≠ 0.
⇒
apply the usual GS-normalization.
12
2-dimensional case (3)
• We obtained
•
๐‘Ž 0
๐ด′ =
(๐‘Ž, ๐‘ ≠ 0)
0 ๐‘
There is a matrix ๐ต such that
1 0
๐‘‡
๐ต. ๐ด’. ๐ต =
.
0 ๐‘′
This completes the Extended GS-normalization.
13
Problem 2
• Definition
๐‘ž๐ด : quadratic form associated to ๐ด.
๐‘ž๐ด is nondegenerate
det(๐ด) ≠ 0
Classification theorem
Any nondegenerate quadratic form is isometric to either
๐‘ž๐ด1 or ๐‘ž๐ด๐›ฟ .
14
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 these maps to MPKC signature
scheme.
15
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 ๐น๐›ฟ = ๐ฟ°๐บ๐›ฟ °๐‘…,
16
Signature Generation
For a symmetric matrix ๐‘€,
• Step 1 Compute ๐‘€’ = ๐‘…−1 (๐‘€) .
• Step 2 Apply the extended Gram-Schmidt
orthornormalization to ๐‘€′.
o Find a solution ๐‘‹ = ๐ท of either
๐‘‹ โˆ™ ๐ด1 โˆ™ ๐‘‹ ๐‘‡ = ๐‘€′ or
๐‘‹ โˆ™ ๐ด๐›ฟ โˆ™ ๐‘‹ ๐‘‡ = ๐‘€′
• Step 3 Compute ๐ธ = ๐ถ1 −1 . ๐ท or ๐ธ = ๐ถ๐›ฟ −1 . ๐ท.
๐‘‹ = ๐ธ is a solution of ๐บ1 ๐‘‹ = ๐‘€ or ๐บ๐›ฟ ๐‘‹ = ๐‘€.
• Step 4 Compute ๐‘† = ๐ฟ−1 (๐ธ).
17
Property of Our Scheme
• Respective map ๐บ1 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
18
Other Signature Schemes
Multivariate Polynomial Maps
Rainbow
Surjective
HFE
UOV
MI
Not
Surjective
Proposal
19
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 are surjective.
o 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-separation attack,
UOV-Reconciliation attack๏ผ‰
• However, attacks which is independent of scheme, like
direct attacks, are applicable to our scheme.
20
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
21
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
22
Download