Information processing device and information processing method

Technical Field

The present technology relates to an information processing apparatus and an information processing method.

Background Art

With the rapid development of information processing technologies and communication technologies, documents have been digitized rapidly regardless of whether the documents are public or private. With the digitization of such documents, many individuals and companies have a considerable interest in security management of electronic documents. Countermeasures against tampering acts such as wiretapping or forgery of electronic documents have been actively studied in various fields in response to an increase in this interest. Regarding the wiretapping of electronic documents, security is ensured, for example, by encrypting the electronic documents. Further, regarding the forgery of electronic documents, security is ensured, for example, by using digital signatures. However, when the encryption or the digital signature to be used does not have high tampering resistance, sufficient security is not ensured.

The digital signature is used for specifying the author of an electronic document. Accordingly, the digital signature should be able to be generated only by the author of the electronic document. If a malicious third party is able to generate the same digital signature, such third party can impersonate the author of the electronic document. That is, an electronic document is forged by the malicious third party. Various opinions have been expressed regarding the security of the digital signature to prevent such forgery. As digital signature schemes that are currently widely used, a RSA signature scheme and a DSA signature scheme are known, for example.

The RSA signature scheme takes "difficulty of prime factorisation of a large composite number (hereinafter, prime factorisation problem)" as a basis for security. Also, the DSA signature scheme takes "difficulty of solving discrete logarithm problem" as a basis for security. These bases are based on that algorithms that efficiently solve the prime factorisation problem and the discrete logarithm problem by using a classical computer do not exist. That is, the difficulties mentioned above suggest the computational difficulty of a classical computer. However, it is said that solutions to the prime factorisation problem and the discrete logarithm problem can be efficiently calculated when a quantum computer is used.

Similarly to the RSA signature scheme and the DSA signature scheme, many of the digital signature schemes and public-key authentication schemes that are currently used also take difficulty of the prime factorisation problem or the discrete logarithm problem as a basis for security. Thus, if the quantum computer is put to practical use, security of such digital signature schemes and public-key authentication schemes will not be ensured. Accordingly, realizing new digital signature schemes and public-key authentication schemes is desired that take as a basis for security a problem different from problems such as the prime factorisation problem and the discrete logarithm problem that can be easily solved by the quantum computer. As a problem which is not easily solved by the quantum computer, there is a problem related to a multivariate polynomial, for example.

For example, as digital signature schemes that take the multivariate polynomial problem as a basis for security, those based on Matsumoto-Imai (MI) cryptography, Hidden Field Equation (HFE) cryptography, Oil-Vinegar (OV) signature scheme, and Tamed Transformation Method (TTM) cryptography are known. For example, a digital signature scheme based on the HFE is disclosed in the following non-patent literatures 1 and 2.

Citation List

Non-Patent Literature

<ul id="ul0001" list-style="none" compact="compact"><li>Non-Patent Literature 1: <nplcit id="ncit0001" npl-type="s"><text>Jacques Patarin, Asymmetric Cryptography with a Hidden Monomial, CRYPTO 1996, pp. 45-60</text></nplcit>.</li><li>Non-Patent Literature 2: <nplcit id="ncit0002" npl-type="b"><text>Patarin, J., Courtois, N., and Goubin, L., QUARTZ, 128-Bit Long Digital Signatures, In Naccache, D., Ed. Topics in Cryptology - CT-RSA 2001 (San Francisco, CA, USA, April 2001), vol. 2020 of Lecture Notes in Computer Science, Springer-Verlag., pp.282-297</text></nplcit>.</li></ul>

Summary of Invention

Technical Problem

As described above, the multivariate polynomial problem is an example of a problem called NP-hard problem which is difficult to solve even when using the quantum computer. Normally, a public-key authentication scheme that uses the multivariate polynomial problem typified by the HFE or the like uses a multi-order multivariate simultaneous equation with a special trapdoor. For example, a multi-order multivariate simultaneous equation F(x₁, ..., x_n) = y related to x₁, ..., x_n, and linear transformations A and B are provided, and the linear transformations A and B are secretly managed. In this case, the multi-order multivariate simultaneous equation F and the linear transformations A and B are the trapdoors.

An entity that knows the trapdoors F, A, and B can solve an equation B(F(A(x₁, ..., x_n))) = y' related to x₁, ..., x_n. On the other hand, the equation B(F(A(x₁, ..., x_n))) = y' related to x₁, ..., x_n is not solved by an entity that does not know the trapdoors F, A, and B. By using this mechanism, a public-key authentication scheme and a digital signature scheme that take the difficulty of solving a multi-order multivariate simultaneous equation as a basis for security can be realized.

As mentioned above, in order to realize the public-key authentication scheme or the digital signature scheme, it is necessary to prepare a special multi-order multivariate simultaneous equation satisfying B(F(A(x₁,...,x_n))) = y. Further, at the time of the signature generation, it is necessary to solve the multi-order multivariate simultaneous equation F. For this reason, the available multi-order multivariate simultaneous equation F has been limited to relatively easily soluble equations. That is, in the past schemes, only a multi-order multivariate simultaneous equation B(F(A(x₁,...,x_n))) = y of a combined form of three functions (trapdoors) B, F, and A that can be relatively easily solved has been used, and thus it is difficult to ensure sufficient security.

It is desirable to provide an information processing apparatus and an information processing method, which are novel and improved and capable of realizing a public-key authentication scheme or a digital signature scheme with high security using a multi-order multivariate simultaneous equation for which an efficient solving means (trapdoor) is not known.

Solution to Problem

According to an aspect of the present technology, there is provided an information processing apparatus including a message generating unit that generates a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ, a message providing unit that provides the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), and a response providing unit that provides the verifier with response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 3) verification patterns. The vector s is a secret key. The multi-order multivariate polynomial set F and the vector y are public keys. The message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information. The multi-order multivariate polynomial set F is generated using information differing according to a user.

According to another aspect of the present technology, there is provided an information processing apparatus including an information holding unit that holds a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), a message acquiring unit that acquires a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ, a pattern information providing unit that provides a prover that has provided the message with information on a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns, a response acquiring unit that acquires response information corresponding to the selected verification pattern from the prover, and a verifying unit that verifies whether the prover holds the vector s based on the message, the multi-order multivariate polynomial set F, the vector y, and the response information. The vector s is a secret key. The multi-order multivariate polynomial set F and the vector y are public keys. The message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information. The multi-order multivariate polynomial set F is generated using information differing according to a user.

According to another aspect of the present technology, there is provided an information processing apparatus including a message generating unit that generates a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ, a message providing unit that provides the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), and an interim information generating unit that generates third information using first information randomly selected by the verifier and second information obtained when the message is generated, an interim information providing unit that provides the verifier with the third information, and a response providing unit that provides the verifier with response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 2) verification patterns. The vector s is a secret key. The multi-order multivariate polynomial set F and the vector y are public keys. The message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys, the first information, the third information, and the response information. The multi-order multivariate polynomial set F is generated using information differing according to a user.

According to another aspect of the present technology, there is provided an information processing apparatus including an information holding unit that holds a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), a message acquiring unit that acquires a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ, an information providing unit that provides a prover that has provided the message with randomly selected first information, an interim information acquiring unit that acquires third information generated by the prover using the first information and second information obtained when the message is generated, a pattern information providing unit that provides the prover with information on a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns, a response acquiring unit that acquires response information corresponding to the selected verification pattern from the prover, and a verifying unit that verifies whether the prover holds the vector s based on the message, the first information, the third information, the multi-order multivariate polynomial set F, and the response information. The vector s is a secret key. The multi-order multivariate polynomial set F and the vector y are public keys. The message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys, the first information, the third information, and the response information. The multi-order multivariate polynomial set F is generated using information differing according to a user.

According to another aspect of the present technology, there is provided an information processing method including generating a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ, providing the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), and providing the verifier with response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 3) verification patterns. The vector s is a secret key. The multi-order multivariate polynomial set F and the vector y are public keys. The message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information. The multi-order multivariate polynomial set F is generated using information differing according to a user.

According to another aspect of the present technology, there is provided an information processing method performed by an information processing apparatus that holds a multi-order multivariate polynomial set F=(f₁,...,:f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), the information processing method including acquiring a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ, providing a prover that has provided the message with information on a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns, acquiring response information corresponding to the selected verification pattern from the prover, and verifying whether the prover holds the vector s based on the message, the multi-order multivariate polynomial set F, the vector y, and the response information. The vector s is a secret key. The multi-order multivariate polynomial set F and the vector y are public keys. The message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information. The multi-order multivariate polynomial set F is generated using information differing according to a user.

According to another aspect of the present technology, there is provided an information processing method including generating a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ, providing the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), generating third information using first information randomly selected by the verifier and second information obtained when the message is generated, providing the verifier with the third information, and providing the verifier with response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 2) verification patterns. The vector s is a secret key. The multi-order multivariate polynomial set F and the vector y are public keys. The message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys, the first information, the third information, and the response information. The multi-order multivariate polynomial set F is generated using information differing according to a user.

According to another aspect of the present technology, there is provided an information processing method performed by an information processing apparatus that holds a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), the information processing method including acquiring a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ, providing a prover that has provided the message with randomly selected first information, acquiring third information generated by the prover using the first information and second information obtained when the message is generated, providing the prover with information of a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns, a response acquiring unit that acquires response information corresponding to the selected verification pattern from the prover, and verifying whether the prover holds the vector s based on the message, the first information, the third information, the multi-order multivariate polynomial set F, and the response information. The vector s is a secret key. The multi-order multivariate polynomial set F and the vector y are public keys. The message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys, the first information, the third information, and the response information. The multi-order multivariate polynomial set F is generated using information differing according to a user.

According to another aspect of the present technology, there is provided a program for causing a computer to realize a function of each unit included in the information processing apparatus. According to still another aspect of the present technology, there is provided a computer-readable recording medium having the program recorded thereon.

Advantageous Effects of Invention

According to the present technology described above, it is possible to realize a public-key authentication scheme and a digital signature scheme of high security using a multi-order multivariate simultaneous equation for which an efficient solving means (trapdoor) is not known.

Brief Description of Drawings

<ul id="ul0002" list-style="none" compact="compact"><li>[<figref idref="f0001">FIG. 1] FIG. 1</figref> is an explanatory diagram for describing an algorithm structure of a public-key authentication scheme;</li><li>[<figref idref="f0001">FIG. 2] FIG. 2</figref> is an explanatory diagram for describing an algorithm structure of a digital signature scheme;</li><li>[<figref idref="f0002">FIG. 3] FIG. 3</figref> is an explanatory diagram for describing an n-pass public-key authentication scheme;</li><li>[<figref idref="f0003">FIG. 4] FIG. 4</figref> is an explanatory diagram for describing an algorithm of a public-key authentication scheme according to a first embodiment (3-pass) of the present technology;</li><li>[<figref idref="f0004">FIG. 5] FIG. 5</figref> is an explanatory diagram for describing an extended algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0005">FIG. 6] FIG. 6</figref> is an explanatory diagram for describing a parallelized algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0006">FIG. 7] FIG. 7</figref> is an explanatory diagram for describing a specific algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0007">FIG. 8] FIG. 8</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0008">FIG. 9] FIG. 9</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0009">FIG. 10] FIG. 10</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0010">FIG. 11] FIG. 11</figref> is an explanatory diagram for describing parallelization of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0011">FIG. 12] FIG. 12</figref> is an explanatory diagram for describing a method of transforming the efficient algorithm of the public-key authentication scheme according to the same embodiment into an algorithm of a digital signature scheme;</li><li>[<figref idref="f0012">FIG. 13] FIG. 13</figref> is an explanatory diagram for describing a method of transforming the efficient algorithm of the public-key authentication scheme according to the same embodiment into an algorithm of an efficient digital signature scheme;</li><li>[<figref idref="f0013">FIG. 14] FIG. 14</figref> is an explanatory diagram for describing a parallel serial structure of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0014">FIG. 15] FIG. 15</figref> is an explanatory diagram for describing a serial parallel structure of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0015">FIG. 16] FIG. 16</figref> is an explanatory diagram for describing an algorithm of a public-key authentication scheme according to a second embodiment (5-pass) of the present technology;</li><li>[<figref idref="f0016">FIG. 17] FIG. 17</figref> is an explanatory diagram for describing an extended algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0017">FIG. 18] FIG. 18</figref> is an explanatory diagram for describing a parallelized algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0018">FIG. 19] FIG. 19</figref> is an explanatory diagram for describing parallelization of the extended algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0019">FIG. 20] FIG. 20</figref> is an explanatory diagram for describing a specific algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0020">FIG. 21] FIG. 21</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0021">FIG. 22] FIG. 22</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0022">FIG. 23] FIG. 23</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0023">FIG. 24] FIG. 24</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0024">FIG. 25] FIG. 25</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0025">FIG. 26] FIG. 26</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0026">FIG. 27] FIG. 27</figref> is an explanatory diagram for describing an efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0027">FIG. 28] FIG. 28</figref> is an explanatory diagram for describing parallelization of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0028">FIG. 29] FIG. 29</figref> is an explanatory diagram for describing parallelization of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0029">FIG. 30] FIG. 30</figref> is an explanatory diagram for describing further streamlining of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0030">FIG. 31] FIG. 31</figref> is an explanatory diagram for describing further streamlining of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0031">FIG. 32] FIG. 32</figref> is an explanatory diagram for describing a parallel serial structure of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0032">FIG. 33] FIG. 33</figref> is an explanatory diagram for describing a parallel serial structure of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0033">FIG. 34] FIG. 34</figref> is an explanatory diagram for describing a serial parallel structure of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0034">FIG. 35] FIG. 35</figref> is an explanatory diagram for describing a serial parallel structure of the efficient algorithm of the public-key authentication scheme according to the same embodiment;</li><li>[<figref idref="f0035">FIG. 36] FIG. 36</figref> is an explanatory diagram for describing a technique of improving robustness of an interactive protocol according to the first and second embodiments;</li><li>[<figref idref="f0036">FIG. 37] FIG. 37</figref> is an explanatory diagram for describing a technique of improving robustness of an interactive protocol according to the first and second embodiments;</li><li>[<figref idref="f0037">FIG. 38] FIG. 38</figref> is an explanatory diagram for describing a hardware configuration example of an information processing apparatus capable of executing the algorithm according to each embodiment of the present technology;</li><li>[<figref idref="f0038">FIG. 39] FIG. 39</figref> is a chart illustrating a comparison of efficiency of the public-key authentication schemes according to the first and second embodiments of the present technology; and</li><li>[<figref idref="f0039">FIG. 40] FIG. 40</figref> is an explanatory diagram for describing a very suitable method of setting a parameter used in the public-key authentication scheme according to the first and second embodiments of the present technology and the advantageous effects.</li></ul>

Description of Embodiments

Hereinafter, preferred embodiments of the present invention will be described in detail with reference to the appended drawings. Note that, in this specification and the drawings, elements that have substantially the same function and structure are denoted with the same reference signs, and repeated explanation is omitted.

[Flow of Description]

Here, a flow of the description of embodiments of the present technology to be made below will be briefly described. First, an algorithm structure of a public-key authentication scheme will be described with reference to <figref idref="f0001">FIG. 1</figref>. Next, an algorithm structure of a digital signature scheme will be described with reference to <figref idref="f0001">FIG. 2</figref>. Next, an n-pass public-key authentication scheme will be described with reference to <figref idref="f0002">FIG. 3</figref>.

Then, an algorithm of a public-key authentication scheme according to a first embodiment (3-pass) of the present technology will be described with reference to <figref idref="f0003">FIG. 4</figref>. Then, an extended algorithm of the public-key authentication scheme according to the same embodiment will be described with reference to <figref idref="f0004">FIG. 5</figref>. Then, a parallelized algorithm of the public-key authentication scheme according to the same embodiment will be described with reference to <figref idref="f0005">FIG. 6</figref>. Then, a specific algorithm of the public-key authentication scheme according to the same embodiment will be described with reference to <figref idref="f0006">FIG. 7</figref>. Then, an efficient algorithm of the public-key authentication scheme according to the same embodiment and a modified example thereof will be described with reference to <figref idref="f0007 f0008 f0009 f0010 f0011 f0012 f0013 f0014">FIGS. 8 to 15</figref>.

Then, an algorithm of a public-key authentication scheme according to a second embodiment (5-pass) of the present technology will be described with reference to <figref idref="f0015">FIG. 16</figref>. Then, an extended algorithm of the public-key authentication scheme according to the same embodiment will be described with reference to <figref idref="f0016">FIG. 17</figref>. Then, a parallelized algorithm of the public-key authentication scheme according to the same embodiment will be described with reference to <figref idref="f0017">FIGS. 18</figref> and <figref idref="f0018">19</figref>. Then, a specific algorithm of the public-key authentication scheme according to the same embodiment will be described with reference to <figref idref="f0019">FIG. 20</figref>. Then, an efficient algorithm of the public-key authentication scheme according to the same embodiment and a modified example thereof will be described with reference to <figref idref="f0020 f0021 f0022 f0023 f0024 f0025 f0026 f0027 f0028 f0029 f0030 f0031 f0032 f0033 f0034">FIGS. 21 to 35</figref>.

Then, an extended technique for applying the efficient algorithms according to the first and second embodiments of the present technology to a second- or higher-order multivariate polynomial will be described. Then, a mechanism of increasing robustness of an interactive protocol according to the first and second embodiments of the present technology will be described. Further, a mechanism of avoiding leakage of the secret key caused by an irregular challenge and a mechanism of eliminating a risk of forgery will be described with reference to <figref idref="f0035">FIGS. 36</figref> and <figref idref="f0036">37</figref>. Then, a hardware configuration example of an information processing apparatus capable of realizing the algorithms according to the first and second embodiments of the present technology will be described with reference to <figref idref="f0037">FIG. 38</figref>.

Finally, a summary of the technical spirit of the present embodiments and operational advantageous effects obtained from the technical spirit will be described in brief

(Detailed Articles)

<ul id="ul0003" list-style="none" compact="compact"><li>1: Introduction</li><li>1-1: Algorithm of Public-Key Authentication Scheme</li><li>1-2: Algorithm for Digital Signature Scheme</li><li>1-3: N-pass Public-Key Authentication Scheme</li><li>2: First Embodiment</li><li>2-1: Algorithm of Public-Key Authentication Scheme</li><li>2-2: Extended Algorithm</li><li>2-3: Parallelized Algorithm</li><li>2-4: Specific Example (when Second-Order Polynomial Is Used)</li><li>2-5: Efficient Algorithm</li><li>2-6: Modification into Digital Signature Scheme</li><li>2-6-1: Transforming Method</li><li>2-6-2: Streamlining of Digital Signature Algorithm</li><li>2-7: Form of Multi-Order Multivariate Simultaneous Equation</li><li>2-7-1: Form Related to Common Key Block Cipher</li><li>2-7-2: Form Related to Hash Function</li><li>2-7-3: Form Related to Stream Cipher</li><li>2-8: Serial Parallel Hybrid Algorithm</li><li>3: Second Embodiment</li><li>3-1: Algorithm of Public-Key Authentication Scheme</li><li>3-2: Extended Algorithm</li><li>3-3: Parallelized Algorithm</li><li>3-4: Specific Example (when Second-Order Polynomial Is Used)</li><li>3-5: Efficient Algorithm</li><li>3-6: Serial Parallel Hybrid Algorithm</li><li>4: Extension of Efficient Algorithm</li><li>4-1: High-Order Multivariate Polynomial</li><li>4-2: Extension Scheme (Addition of High-Order Term)</li><li>5: Mechanism of Increasing Robustness</li><li>5-1: Method of Setting System Parameters</li><li>5-2: Method of Responding To Irregular Challenge</li><li>5-2-1: Responding Method by Prover</li><li>5-2-2: Responding Method by Verifier</li><li>6: Hardware Configuration</li><li>7: Conclusion</li></ul>

<1: Introduction>

First, before embodiments of the present technology are described in detail, overviews of an algorithm of a public-key authentication scheme, an algorithm of a digital signature scheme, and an n-pass public-key authentication scheme will be described in brief.

[1-1: Algorithm of Public-Key Authentication Scheme]

First, an overview of an algorithm of a public-key authentication scheme will be described with reference to <figref idref="f0001">FIG. 1. FIG. 1</figref> is an explanatory diagram for describing an algorithm structure of a public-key authentication scheme.

A public-key authentication is used when a person (prover) convinces another person (verifier) that she is the prover herself by using a public key pk and a secret key sk. For example, a public key pk_A of a prover A is made known to the verifier B. On the other hand, a secret key skA of the prover A is secretly managed by the prover A. According to the public-key authentication scheme, a person who knows the secret key sk_A corresponding to the public key pk_A is regarded as the prover A herself.

In order for the prover A to prove to the verifier B that she is the prover A herself using the public-key authentication setup, the prover A, via a interactive protocol, presents proof to the verifier B indicating that she knows the secret key sk_A corresponding to the public key pk_A. The proof indicating the prover A knows the secret key sk_A is then presented to verifier B, and in the case where the verifier B is able to confirm that proof, the validity of the prover A(the fact that the prover A is herself) is proven.

However, a public-key authentication setup demands the following conditions in order to ensure safety.

The first condition is "to lower as much as possible the probability of falsification being established, at the time the interactive protocol is performed, by a falsifier not having the secret key sk". That this first condition is satisfied is called "soundness." In other words, the soundness means that "falsification is not established during the excusion of an interactive protocol by a falsifier not having the secret key sk with a non-negligible probability". The second condition is that, "even if the interactive protocol is performed, information on the secret key sk_A of the prover A is not at all leaked to the verifier B". That this second condition is satisfied is called "zero knowledge."

Conducting public-key authentication safely involves using an interactive protocol exhibiting both soundness and zero-knowledge. If an authentication process were hypothetically conducted using an interactive protocol lacking soundness and zero-knowledge, there would be a definite chance of false verification and a definite chance of the divulgence of secret key information, and thus the validity of the prover would not be proven even if the process itself is completed successfully. Consequently, the question of how to ensure the soundness and zero-knowledge of a session protocol is important.

(Model)

In a model of the public-key authentication scheme, two entities, namely a prover and a verifier, are present, as shown in <figref idref="f0001">FIG. 1</figref>. The prover generates a pair of public key pk and secret key sk unique to the prover by using a key generation algorithm Gen. Then, the prover performs an interactive protocol with the verifier by using the pair of secret key sk and public key pk generated by using the key generation algorithm Gen. At this time, the prover performs the interactive protocol by using a prover algorithm P. As described above, in the interactive protocol, the prover proves to the verifier, by using the prover algorithm P, that she possesses the secret key sk.

On the other hand, the verifier performs the interactive protocol by using a verifier algorithm V, and verifies whether or not the prover possesses the secret key corresponding to the public key that the prover has published. That is, the verifier is an entity that verifies whether or not a prover possesses a secret key corresponding to a public key. As described, a model of the public-key authentication scheme is configured from two entities, namely the prover and the verifier, and three algorithms, namely the key generation algorithm Gen, the prover algorithm P and the verifier algorithm V.

Additionally, expressions "prover" and "verifier" are used in the following description, but these expressions strictly mean entities. Therefore, the subject that performs the key generation algorithm Gen and the prover algorithm P is an information processing apparatus corresponding to the entity "prover". Similarly, the subject that performs the verifier algorithm V is an information processing apparatus. The hardware configuration of these information processing apparatuses is as shown in <figref idref="f0037">FIG. 38</figref>, for example. That is, the key generation algorithm Gen, the prover algorithm P, and the verifier algorithm V are performed by a CPU 902 based on a program recorded on a ROM 904, a RAM 906, a storage unit 920, a removable recording medium 928, or the like.

(Key Generation Algorithm Gen)

The key generation algorithm Gen is used by a prover. The key generation algorithm Gen is an algorithm for generating a pair of public key pk and secret key sk unique to the prover. The public key pk generated by the key generation algorithm Gen is published. Furthermore, the published public key pk is used by the verifier. On the other hand, the secret key sk generated by the key generation algorithm Gen is secretly managed by the prover. The secret key sk that is secretly managed by the prover is used to prove to the verifier of possession of the secret key sk corresponding to the public key pk by the prover. Formally, the key generation algorithm Gen is represented as formula (1) below as an algorithm that takes security parameter 1λ (λ is an integer of 0 or more) as an input and outputs the secret key sk and the public key pk.

[Math 1] <maths id="math0001" num="(1)"><math display="block"><mfenced><mi mathvariant="italic">sk</mi><mi mathvariant="italic">pk</mi></mfenced><mo>←</mo><mi mathvariant="italic">Gen</mi><mfenced><msup><mn>1</mn><mi>λ</mi></msup></mfenced></math><img file="EP2743902A1_D0001.tif" /></maths>

(Prover Algorithm P)

The prover algorithm P is used by a prover. The prover algorithm P is an algorithm for proving to the verifier that the prover possesses the secret key sk corresponding to the public key pk. In other words, the prover algorithm P is an algorithm that takes the public key pk and the secret key sk as inputs and performs the interactive protocol.

(Verifier Algorithm V)

The verifier algorithm V is used by the verifier. The verifier algorithm V is an algorithm that verifies whether or not the prover possesses the secret key sk corresponding to the public key pk during the session protocol. The verifier algorithm V is an algorithm that accepts a public key pk as input, and outputs 0 or 1 (1 bit) according to the execution results of the session protocol. At this point, the verifier decides that the prover is invalid in the case where the verifier algorithm V outputs 0, and decides that the prover is valid in the case where the verifier algorithm V outputs 1. Formally, the verifier algorithm V is expressed as in the following formula (2).

[Math 2] <maths id="math0002" num="(2)"><math display="block"><mn>0</mn><mo>/</mo><mn>1</mn><mo>←</mo><mi>V</mi><mfenced><mi mathvariant="italic">pk</mi></mfenced></math><img file="EP2743902A1_D0002.tif" /></maths>

As above, realizing meaningful public-key authentication involves having the interactive protocol satisfy the two conditions of soundness and zero-knowledge. However, proving that the prover possesses the secret key sk involves the prover executing a procedure dependent on the secret key sk, and after notifying the verifier of the result, causing the verifier to execute verification based on the content of the notification. The procedure dependent on the secret key sk is executed to ensure soundness. At the same time, no information about the secret key sk should be revealed to the verifier. For this reason, the above key generation algorithm Gen, prover algorithm P, and verifier algorithm V are skillfully designed to satisfy these requirements.

The foregoing thus summarizes the algorithms in a public-key authentication scheme.

[1-2: Algorithms for Digital Signature Scheme]

Next, algorithms for a digital signature scheme will be summarized with reference to <figref idref="f0001">FIG. 2. FIG. 2</figref> is an explanatory diagram summarizing algorithms for a digital signature scheme.

Unlike paper documents, it is not possible to physically sign or affix a seal to digitized data. For this reason, proving the creator of digitized data involves an electronic setup yielding effects similarly to physically signing or affixing a seal to a paper document. This setup is digital signatures. A digital signature refers to a setup that associates given data with signature data known only to the creator of the data, provides the signature data to a recipient, and verifies that signature data on the recipient's end.

(Model)

As illustrated in <figref idref="f0001">FIG. 2</figref>, the two identities of signer and verifier exist in a model of a digital signature scheme. Further, the model of a digital signature scheme is made up of three algorithms: a key generation algorithm Gen, a signature generation algorithm Sig, and a signature verifying algorithm Ver.

The signer uses the key generation algorithm Gen to generate a paired signature key sk and verification key pk unique to the signer. The signer also uses the signature generation algorithm Sig to generate a digital signature q to attach to a message M. In other words, the signer is an entity that attaches a digital signature to a message M. Meanwhile, the verifier uses the signature verifying algorithm Ver to verify the digital signature attached to the message M. In other words, the verifier is an entity that verifies the digital signature q in order to confirm whether or not the creator of the message M is the signer.

Note that although the terms "signer" and "verifier" are used in the description hereinafter, these terms ultimately mean entities. Consequently, the agent that executes the key generation algorithm Gen and the signature generation algorithm Sig is an information processing apparatus corresponding to the "signer" entity. Similarly, the agent that executes the signature verifying algorithm Ver is an information processing apparatus. The hardware configuration of these information processing apparatus is as illustrated in <figref idref="f0037">FIG. 38</figref>, for example. In other words, the key generation algorithm Gen, the signature generation algorithm Sig, and the signature verifying algorithm Ver are executed by a device such as a CPU 902 on the basis of a program recorded onto a device such as ROM 904, RAM 906, a storage unit 920, or a removable recording medium 928.

(Key Generation Algorithm Gen)

The key generation algorithm Gen is used by the signer. The key generation algorithm Gen is an algorithm that generates a paired signature key sk and verification key pk unique to the signer. The verification key pk generated by the key generation algorithm Gen is made public. Meanwhile, the signer keeps the signature key sk generated by the key generation algorithm Gen a secret. The signature key sk is then used to generate digital signature q to attach to a message M. For example, the key generation algorithm Gen accepts a security parameter 1^p(where p is an integer equal to or greater than 0) as input, and outputs a signature key sk and a verification key pk. In this case, the key generation algorithm Gen may be expressed formally as in the following formula (3).

[Math 3] <maths id="math0003" num="(3)"><math display="block"><mfenced><mi mathvariant="italic">sk</mi><mi mathvariant="italic">pk</mi></mfenced><mo>←</mo><mi mathvariant="italic">Gen</mi><mfenced><msup><mn>1</mn><mi>λ</mi></msup></mfenced></math><img file="EP2743902A1_D0003.tif" /></maths>

(Signature Generation Algorithm Sig)

The signature generation algorithm Sig is used by the signer. The signature generation algorithm Sig is an algorithm that generates a digital signature q to be attached to a message M. The signature generation algorithm Sig is an algorithm that accepts a signature key sk and a message M as input, and outputs a digital signature q. The signature generation algorithm Sig may be expressed formally as in the following formula (4).

[Math 4] <maths id="math0004" num="(4)"><math display="block"><mi>σ</mi><mo>←</mo><mi mathvariant="italic">Sig</mi><mfenced><mi mathvariant="italic">sk</mi><mi>M</mi></mfenced></math><img file="EP2743902A1_D0004.tif" /></maths>

(Signature Verifying Algorithm Ver)

The signature verifying algorithm Ver is used by the verifier. The signature verifying algorithm Ver is an algorithm that verifies whether or not the digital signature q is a valid digital signature for the message M. The signature verifying algorithm Ver is an algorithm that accepts a signer's verification key pk, a message M, and a digital signature q as input, and outputs 0 or 1 (1 bit). The signature verifying algorithm Ver may be expressed formally as in the following formula (5). At this point, the verifier decides that the digital signature q is invalid in the case where the signature verifying algorithm Ver outputs 0(the case where the verification key pk rejects the message M and the digital signature q), and decides that the digital signature q is valid in the case where the signature verifying algorithm Ver outputs 1(the case where the verification key pk accepts the message M and the digital signature q).

[Math 5] <maths id="math0005" num="(5)"><math display="block"><mn>0</mn><mo>/</mo><mn>1</mn><mo>←</mo><mi mathvariant="italic">Ver</mi><mfenced><mi mathvariant="italic">pk</mi><mi>M</mi><mi>σ</mi></mfenced></math><img file="EP2743902A1_D0005.tif" /></maths>

The foregoing thus summarizes the algorithms in a digital signature scheme.

[1-3: N-pass Public-key Authentication Scheme]

Next, an n-pass public-key authentication scheme will be described with reference to <figref idref="f0002">FIG. 3. FIG. 3</figref> is an explanatory diagram illustrating an n-pass public-key authentication scheme.

As above, a public-key authentication scheme is an authentication scheme that proves to a verifier that a prover possesses a secret key sk corresponding to a public key pk during an interactive protocol. Further, the interactive protocol has to satisfy the two conditions of soundness and zero-knowledge. For this reason, during the interactive protocol both the prover and the verifier exchange information n times while executing respective processes, as illustrated in <figref idref="f0002">FIG. 3</figref>.

In the case of an n-pass public-key authentication scheme, the prover executes a process using the prover algorithm P (operation #1), and transmits information T₁ to the verifier. Subsequently, the verifier executes a process using the verifier algorithm V (operation #2), and transmits information T₂ to the prover. This execution and processes and transmission of information T_k is successively conducted for k = 3 to n (operation #k), and lastly, a process (operation #n+1) is executed. Transmitting and receiving information n times in this way is thus called an "n-pass" public-key authentication scheme.

The foregoing thus describes an n-pass public-key authentication scheme.

<2: First Embodiment >

Hereinafter, description will be given on the first embodiment of the present technology. The embodiments herein relate to a public-key authentication scheme and a digital signature scheme that base their safety on the difficulty of solving multi-order multivariate simultaneous equations. However, the embodiments herein differ from techniques of the related art such as HFE digital signature schemes, and relate to a public-key authentication scheme and a digital signature scheme that utilize multi-order multivariate simultaneous equations that lack a means of efficient solving (trapdoors).

[2-1: Algorithm of Public-Key Authentication Scheme]

First of all, an algorithm of a public-key authentication scheme (hereinafter, a "present technique") according to the present embodiment will be described with reference to <figref idref="f0003">FIG. 4. FIG. 4</figref> is an explanatory diagram for describing an algorithm according to the present technique. The present technique is configured with a key generation algorithm Gen, a prover algorithm P, and a verifier algorithm V. The structures of the respective algorithms will be described below.

(Key Generation Algorithm Gen)

The key generation algorithm Gen generates m multivariate polynomials f₁(x₁, ..., x_n), .... f_m(x₁, ..., x_n) defined in a ring k and a vector s = (s₁, ..., s_n) that is an element of a set Kⁿ. Next, the generation algorithm Gen calculates y = (y₁, ..., y_m) &lt;- (f₁(s), ..., f_m(s)). Also, the generation algorithm Gen sets (f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n), y) in the public key pk and sets s as a secret key. Hereinafter, a vector (x₁, ..., x_n) is represented as x and a pair of multivariate polynomials (f₁(x), ..., f_m(x)) is represented as F(x).

(Prover Algorithm P, Verifier Algorithm V)

Next, a process performed by the prover algorithm P and a process performed by the verifier algorithm V during the interactive protocol will be described with reference to <figref idref="f0003">FIG. 4</figref>.

During the foregoing interactive protocol, a prover does not leak information on the secret key s at all to a verifier and expresses to the verifier that "she herself knows s satisfying y = F(s)." On the other hand, the verifier verifies whether or not the prover knows s satisfying y = F(s). The public key pk is assumed to be made known to the verifier. Also, the secret key s is assumed to be secretly managed by the prover. Hereinafter, the description will be made with reference to the flowchart illustrated in <figref idref="f0003">FIG. 4</figref>.

Operation #1:

First, the prover algorithm P selects any number of w. Subsequently, the prover algorithm P generates a vector r which is an element of the set Kⁿ and a number w^A by applying the number w to a pseudo-random number generator G1. That is, the prover algorithm P calculates (r, w^A) &lt;- G₁(w). Subsequently, the prover algorithm P generates a multivariate polynomial F^A(x) = (f^A₁(x), ..., f^A_m(x)) by applying the number w^A to the pseudo-random number generator G₂. That is, the prover algorithm P calculates F^A &lt;- G₂ (w⁴).

Operation #1 (continued):

Subsequently, the prover algorithm P calculates z &lt;- s -r. This calculation is equivalent to masking the secret key s with the vector r. Additionally, the prover algorithm P calculates F^B(x) &lt;- F(x + r) + F^A(x).This calculation is equivalent to masking the multivariate polynomial F(x+r) for x with the multivariate polynomial F^A(x).

Operation #1 (continued):

Subsequently, the prover algorithm P generates a hash value c₁ of z and F^A(z). That is, the prover algorithm P calculates c₁ &lt;- H₁(F^A(z), z). Also, the prover algorithm P generates a hash value c₂ of the number wA. That is, the prover algorithm P calculates c₂ &lt;- H₂(w^A). Also, the prover algorithm P generates a hash value c₃ of a multivariate polynomial F^B. That is, the prover algorithm P calculates c₃ &lt;- H₃(F^B(x)). Note that the above H₁(...), H₂(...), H₃(...) are hash functions. The hash values (c₁, c₂, c₃) are sent as a message to the verifier algorithm V. At this time, it should be noted that information on s, information on r, and information on z are not at all leaked to the verifier.

Operation #2:

Upon receiving the message (c₁, c₂, c₃), the verifier algorithm V selects which verification pattern to use from among three verification patterns. For example, the verifier algorithm V may select a numerical value from among three numerical values {0, 1, 2} representing verification patterns, and set the selected numerical value in a challenge d. This challenge d is sent to the prover algorithm P.

Operation #3:

Upon receiving the challenge d, the prover algorithm P generates a response Rsp to send to the verifier algorithm V in response to the received challenge d. In the case where d = 0, the prover algorithm P generates a response σ = w. In the case where d = 1, the prover algorithm P generates a response σ = (w^A, z). In the case where d = 2, the prover algorithm P generates a response σ = (F^B_(z), z). The response σ generated in operation #3 is sent to the verifier algorithm V. At this time, it should be noted that the information on z is not at all leaked to the verifier in the case where d = 0, and the information on r is not at all leaked to the verifier in the case where d = 1 or 2.

Operation #4:

The verifier algorithm V that has received the response σ performs the following verification process using the received response σ.

In the case where d = 0, the verifier algorithm V calculates (r^A, w^B) &lt;- G₁(σ). Also, the verifier algorithm V calculates F^C &lt;- G₂(w^B). Then, the verifier algorithm V verifies whether or not the equality of c₂ = H₂(w^B) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃(F(x + r^A) + F^c(x)) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 1, the verifier algorithm V sets (w^B, z^A) &lt;- σ. Also, the verifier algorithm V calculates F^C &lt;- G₂(w^B). Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁(F^C(z^A), z^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₂ = H₂(w^B) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 2, the verifier algorithm V sets (F^D, z⁴) &lt;- σ. Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁(F^D(z^A) - y, z^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃(F^D) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The example of the each algorithm structure related to the present technique has been described above.

(Soundness of the present technique)

Here, the description of the soundness of the present technique will be supplemented. The soundness of the present technique is ensured based on the logic that F^D, F^C, r^A, z^A and r₁ satisfying the following formula (6) and formula (7) below can be calculated when the prover algorithm P returns an appropriate response σ for all of the challenges d = 0, 1, and 2 selectable by the verifier algorithm V."

[Math 6] <maths id="math0006" num="(6)"><math display="block"><msup><mi>F</mi><mi>D</mi></msup><mfenced><mi>x</mi></mfenced><mo>=</mo><mi>F</mi><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><msup><mi>r</mi><mi>A</mi></msup></mfenced><mo>+</mo><msup><mi>F</mi><mi>C</mi></msup><mfenced><mi>x</mi></mfenced></math><img file="EP2743902A1_D0006.tif" /></maths><maths id="math0007" num="(7)"><math display="block"><msup><mi>F</mi><mi>D</mi></msup><mfenced><msup><mi>z</mi><mi>A</mi></msup></mfenced><mo>-</mo><mi>y</mi><mo>=</mo><msup><mi>F</mi><mi>C</mi></msup><mfenced><msup><mi>z</mi><mi>A</mi></msup></mfenced></math><img file="EP2743902A1_D0007.tif" /></maths>

By ensuring the foregoing soundness, the fact that successful forgery with a probability higher than 2/3 is not possible is ensured as long as the problem of solving the multi-order multivariate simultaneous equations is not solved. That is, to appropriately make the response to all of the challenges d = 0, 1, 2 of the verifier, the falsifier has to calculate F^D, F^C, r^A, and z^A satisfying the foregoing formula (6) and formula (7). In other words, the falsifier has to calculate s satisfying F(s) = y. However, there remains a probability of the falsifier making appropriate responses for two higher challenges among the challenges d = 0, 1, 2 of the verifier. Therefore, the success probability of the false verification becomes 2/3. Further, by repeatedly executing the foregoing interactive protocol a sufficiently large number of times, the probability of a successful forgery becomes negligibly small.

The soundness of the present technique has been described above.

(Modified Example)

Here, a modified example of the above algorithm will be introduced. The key generation algorithm Gen calculates y &lt;- F(s) and sets (F,y) as the public key. However, in the present modified example, the key generation algorithm Gen calculates (y₁, ..., y_m) &lt;- F(s) and (f₁^*(x), ..., f_m^*(x)) &lt;- (f₁(x)-y₁, ..., f_m(x)-y_m), and sets (f₁^*, ..., f_m^*) as the public key. In the case of this modification, it is possible to perform the interactive protocol at y=0.

Further, the prover algorithm P generates the message c₁ based on F^B(z) and z. However, due to a relation of F^B(z) = F^A(z), even when a modification is made so that the message c₁ is generated based on F^A(z) and z, a similar interactive protocol is realized. Further, the structure of the prover algorithm P may be modified so that a hash value of F^B(z) and a hash value of z are separately calculated and then sent to the verifier algorithm V as messages.

Further, the prover algorithm P generates the vector r and the number w^A by applying the number w to the pseudo random number generator G₁. Further, the prover algorithm P generates the multivariate polynomial F^A(x) by applying the number w^A to the pseudo random number generator G₂. However, the structure of the prover algorithm P may be modified so that w = (r,F^A) is calculated from the beginning using identity mapping as G₁. In this case, the number w need not be applied to G₁. This is the same for G₂.

Further, in the interactive protocol, (F,y) is used as the public key. The multivariate polynomial F included in the public key is a parameter that does not depend on the secret key sk. For this reason, the common multivariate polynomial F may be used in the entire system without setting the multivariate polynomial F for each prover. In this case, y is sufficient as the public key set for each prover, and thus it is possible to reduce the size of the public key. However, it is desirable to set the multivariate polynomial F for each prover in view of security. A method of setting the multivariate polynomial F in this case will be described later in detail.

Further, in the interactive protocol, (f₁, ..., f_m,y) is used as the public key, and F = (f₁, ..., f_m) is a parameter which can be appropriately selected. For this reason, for example, the prover and the verifier may prepare a seed w_pk of a random number and calculate F &lt;- G*(w_pk) using a pseudo random number generator G*. In this case, even when the public key is (w_pk,y) and (F,y) is made known as the public key, it is possible to reduce the size of the public key.

In the algorithm, c₁, c₂, and c₃ are calculated using the hash functions H₁, H₂, and H₃, but a commitment function COM may be used instead of the hash function. The commitment function COM is a function in which a character string S and a random number ρ are factors. An example of the commitment function includes a scheme published in the international conference CRYPTO 1996 by Shai Halevi and Silvio Micali.

When the commitment function is used, random numbers ρ₁, ρ₂, and ρ₃ are prepared before c₁, c₂, and c₃ are calculated, and c₁, c₂, and c₃ are generated by applying commitment functions COM(·,ρ₁), COM(·,ρ₂), and COM(·,ρ₂) instead of applying hash functions H₁(·), H₂(·), and H₃(·). Here, ρ_i necessary for the verifier to generate c_i is set to be included in a response σ and sent. This modification can be applied to the entire algorithm which will be described later.

The modified example of the present technique has been described above.

[2-2: Extended Algorithm]

Next, an algorithm of a public-key authentication scheme (hereinafter referred to as an "extended technique") extended from the present technique will be described with reference to <figref idref="f0004">FIG. 5. FIG. 5</figref> is an explanatory diagram for describing the flow of the interactive protocol based on the extended technique.

In the extended technique described herein, the message (c₁,c₂,c₃) transmitted at the first pass is converted into one hash value c and sent to the verifier. Here, a message that is hardly restored using the response σ sent at the third pass is sent to the verifier together with the response σ. By applying the extended technique, the amount of information sent to the verifier during the interactive protocol can be reduced. Next, the structure of each algorithm related to the extended technique will be described in detail.

(Key Generation Algorithm Gen)

The key generation algorithm Gen generates m multivariate polynomials f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n) defined in a ring k and a vector s = (s₁, ..., s_n) that is an element of a set Kⁿ. Next, the generation algorithm Gen calculates y = (y₁, ..., y_m) &lt;- (f₁(s), ..., f_m(s)). Also, the generation algorithm Gen sets (f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n), y) in the public key pk and sets s as a secret key. Hereinafter, a vector (x₁, ..., x_n) is represented as x and a pair of multivariate polynomials (f₁(x), ..., f_m(x)) is represented as F(x).

(Prover Algorithm P, Verifier Algorithm V)

Next, a process performed by the prover algorithm P and a process performed by the verifier algorithm V during the interactive protocol will be described with reference to <figref idref="f0004">FIG. 5</figref>.

During the foregoing interactive protocol, a prover does not leak information on the secret key s at all to a verifier and expresses to the verifier that "she herself knows s satisfying y = F(s)." On the other hand, the verifier verifies whether or not the prover knows s satisfying y = F(s). The public key pk is assumed to be made known to the verifier. Also, the secret key s is assumed to be secretly managed by the prover. Hereinafter, the description will be made with reference to the flowchart illustrated in <figref idref="f0004">FIG. 5</figref>.

Operation #1:

First, the prover algorithm P selects any number of w. Subsequently, the prover algorithm P generates a vector r which is an element of the set Kⁿ and a number w^A by applying the number w to a pseudo-random number generator G₁. That is, the prover algorithm P calculates (r, w^A) &lt;- G₁(w). Subsequently, the prover algorithm P generates a multivariate polynomial F^A(x) = (f^A₁(x), ..., f^A_m(x)) by applying the number w^A to the pseudo-random number generator G₂. That is, the prover algorithm P calculates F^A &lt;- G₂ (w^A).

Operation #1 (continued):

Subsequently, the prover algorithm P calculates z &lt;- s - r. This calculation is equivalent to masking the secret key s with the vector r. Additionally, the prover algorithm P calculates F^B(x) &lt;- F(x + r) + F^A(x).This calculation is equivalent to masking the polynomial set F(x+r) for x with the polynomial set F^A(x).

Operation #1 (continued):

Next, the prover algorithm P generates a hash value c₁ of F^B(z) and z. In other words, the prover algorithm P calculates c₁ &lt;- H₁(F^B(z),z). Further, the prover algorithm P generates a hash value c₂ of the number w^A. In other words, the prover algorithm P calculates c₂ &lt;- H₂(w^A). Further, the prover algorithm P generates a hash value c₃ of a polynomial set F^B. In other words, the prover algorithm P calculates c₃ &lt;- H₃(F^B). H₁(...), H₂(...), and H₃(...) are hash functions. In the case of the extension scheme, the prover algorithm P applies a hash value set (c₁,c₂,c₃) to the hash function H to generate the hash value c, and sends the hash value c to the verifier algorithm V.

Operation #2:

Upon receiving the hash value c, the verifier algorithm V selects which verification pattern to use from among three verification patterns. For example, the verifier algorithm V may select a numerical value from among three numerical values {0, 1, 2} representing verification patterns, and set the selected numerical value in a challenge d. This challenge d is sent to the prover algorithm P.

Operation #3:

Upon receiving the challenge d, the prover algorithm P generates a response σ to send to the verifier algorithm V in response to the received challenge d. In the case where d = 0, the prover algorithm P generates a response (σ, c*) = (w, c₁). In the case where d = 1, the prover algorithm P generates a response (σ, c*) = (w^A, z), c₃). In the case where d = 2, the prover algorithm P generates a response (σ, c*) = (F^B, z), c₂). The response (σ, c*) generated in operation #3 is sent to the verifier algorithm V.

Operation #4:

Upon receiving the response σ, the verifier algorithm V executes the following verification process using the received response (σ, c*).

When d = 0, the verifier algorithm V calculates (r⁴,w^B) &lt;- G₁(σ). Next, the verifier algorithm V calculates F^C &lt;- G₂(w^B). Next, the verifier algorithm V calculates c₂^A = H₂(w^B). Next, the verifier algorithm V calculates c₃^A = H₃(F(x+r^A)+F^C(x)). Thereafter, the verifier algorithm V verifies whether or not the equality of c = H(c^*,c₂^A,c₃^A) holds. Then, the verifier algorithm V outputs a value 1 representing authentication success when the verification succeeds, and outputs the value 0 representing an authentication failure when the verification fails.

When d = 1, the verifier algorithm V sets (w^B,z^A) &lt;- σ. Next, the verifier algorithm V calculates F^C &lt;- G₂(w^B). Next, the verifier algorithm V calculates c₁^A = H₁(F^C(z^A),z^A). Next, the verifier algorithm V calculates c₂^A = H₂(w^A). Thereafter, the verifier algorithm V verifies whether or not the equality of c = H(c₁^A,c₂^A,c^*) holds. Then, the verifier algorithm V outputs a value 1 representing authentication success when the verification succeeds, and outputs a value 0 representing an authentication failure when the verification fails.

When d is 2, the verifier algorithm V sets(F^D,z^A} &lt;- σ. Next, the verifier algorithm V calculates c₁^A = H₁(F^D(z^A)-y,z^A). Next, the verifier algorithm V calculates c₃^A = H₃(F^D). Thereafter, the verifier algorithm V verifies whether or not the equality of c = H(c₁^A,c^*,c₃^A) holds. Then, the verifier algorithm V outputs a value 1 representing authentication success when the verification succeeds, and outputs a value 0 representing authentication failure when the verification fails.

The structure of each algorithm related to the extended technique has been described above. By applying the extended technique, the amount of information transmitted and received during the interactive protocol can be reduced.

[2-3: Parallelized Algorithm]

As described above, applying the session protocol according to the present technique and the extended technique makes it possible to keep the probability of a successful forgery to 2 / 3 or less. Consequently, executing the session protocol twice makes it possible to keep the probability of a successful forgery to (2 / 3)2 or less. Furthermore, if the session protocol is executed N times, the probability of a successful forgery becomes (2 3)^N, and if N is set to a sufficiently large number (N = 140, for example), the probability of a successful forgery becomes negligibly small.

Conceivable methods of executing an interactive protocol multiple times include a serial method in which the exchange of message, challenge, and response is sequentially repeated multiple times, and a parallel method in which multiple messages, challenges, and responses are exchanged in a single exchange, for example. Here, a method of extending the interactive protocol according to the present technique to an interactive protocol (hereinafter referred to as a "parallelized algorithm") related to the parallel method will be described. For example, the parallelized algorithm is illustrated in <figref idref="f0005">FIG. 6</figref>. Next, the details of the parallelized algorithm will be described with reference to <figref idref="f0005">FIG. 6</figref>.

(Key Generation Algorithm Gen)

The key generation algorithm Gen generates m multivariate polynomials f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n) defined in a ring k and a vector s = (s₁, ..., s_n) that is an element of a set Kⁿ. Next, the generation algorithm Gen calculates y = (y₁, ..., y_m) &lt;- (f₁(s), ..., f_m(s)). Also, the generation algorithm Gen sets (f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n), y) in the public key pk and sets s as a secret key. Hereinafter, a vector (x₁, ..., x_n) is represented as x and a pair of multivariate polynomials (f₁(x), ..., f_m(x)) is represented as F(x).

(Prover Algorithm P, Verifier Algorithm V)

Next, a process performed by the prover algorithm P and a process performed by the verifier algorithm V during the interactive protocol will be described with reference to <figref idref="f0005">FIG. 6</figref>.

During the foregoing interactive protocol, a prover does not leak information on the secret key s at all to a verifier and expresses to the verifier that "she herself knows s satisfying y = F(s)." On the other hand, the verifier verifies whether or not the prover knows s satisfying y = F(s). The public key pk is assumed to be made known to the verifier. Also, the secret key s is assumed to be secretly managed by the prover. Hereinafter, the description will be made with reference to the flowchart illustrated in <figref idref="f0005">FIG. 6</figref>.

Operation #1:

First of all, the prover algorithm P performs the following processes (1) to (8) for i = 1 to N. <ul id="ul0004" list-style="none" compact="compact"><li>Process (1): The prover algorithm P arbitrarily selects a number w_i.</li><li>Process (2): The prover algorithm P applies the number w_i to the pseudo random number generator G₁ and generates a vector r_i that is an element of the set Kⁿ and a number w_i^A. In other words, the prover algorithm P calculates (r_i,w_i^A) &lt;-G₁(w_i).</li><li>Process (3): The prover algorithm P applies the number w_i^A to the pseudo random number generator G₂ and generates a multivariate polynomial set F_i^A(x). In other words, the prover algorithm P calculates F_i^A &lt;- G₂(w_i^A).</li><li>Process (4): The prover algorithm P calculates z_i &lt;- s_i-r_i. This calculation corresponds to an operation of masking the secret key s_i using a vector r_i.</li><li>Process (5): The prover algorithm P calculates F_i^B(x) &lt;- F(x+r_i)+F_i^A(x). This calculation corresponds to an operation of masking a polynomial set F(x+r_i) for x using a polynomial set F_i^A(x).</li><li>Process (6): The prover algorithm P generates a hash value c_1,I of F_i^B(z_i) and z_i. In other words, the prover algorithm P calculates c_1,I &lt;- H₁(F_i^B(z_i),z_i).</li><li>Process (7): The prover algorithm P generates a hash value c_2,i of the number w_i^A. In other words, the prover algorithm P calculates c_2,I &lt;- H₂(w_i^A).</li><li>Process (8): The prover algorithm P generates a hash value c_3,I of the polynomial set F_i^B. In other words, the prover algorithm P calculates c_3,I &lt;- H₃(F_i^B).</li><li>H₁(...), H₂(...), and H₃(...) are hash functions. Further, the hash values (c_1,i,c_2,i,c_3,i) are messages.</li></ul>

For i = 1 to N, after processes (1) to (8) are performed, the message (c_1,i,c_2,i,c_3,i) (i = 1 to N) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

Upon receiving the message (c₁, i, c₂, i, c₃, i)(i = 1 to N), the verifier algorithm V selects which verification pattern to use from among three verification patterns, for each of i = 1 to N. For example, the verifier algorithm V may, for each of i = 1 to N, select a numerical value from among three numerical values {0, 1, 2} representing verification patterns, and set the selected numerical value in a challenge d_i. The challenges d_i is sent to the prover algorithm P.

Operation #3:

The prover algorithm P that has received the challenge d_i (i = 1 to N) generates a response σ_i to be sent to the verifier algorithm V in response to the challenge d_i. At this time, the prover algorithm P performs the following processes (1) to (3) for i = 1 to N. <ul id="ul0005" list-style="none" compact="compact"><li>Process (1): when d_i is 0, the prover algorithm P generates a response σ_i = w_i.</li><li>Process (2): when d_i is 1, the prover algorithm P generates a response σi= (w_i^A,z_i).</li><li>Process (3): when d_i is 2, the prover algorithm P generates a response σ_i = (F_i^B,z_i).</li></ul>

After processes (1) to (3) are performed, the response σ_i (i = 1 to N) is sent to the verifier algorithm V.

Operation #4:

The verifier algorithm V that has received the response σ_i (i = 1 to N) performs the following verification process using the received response σ_i (i = 1 to N). The following process is performed for i = 1 to N.

In the case where d_i = 0, the verifier algorithm V calculates (r_i^A, w_i^B) &lt;-G₁(σ_i). Also, the verifier algorithm V calculates F_i^C &lt;- G₂(w_i^B). Then, the verifier algorithm V verifies whether or not the equality of c_{2, i} = H₂(w_i^B) holds. In addition, the verifier algorithm V verifies whether or not the equality of c_3,i = H₃(F(x + ri^A) + F_i^C(x)) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d_i = 1, the verifier algorithm V sets (w_i^B, z_¡^A) &lt;- σ_i. Also, the verifier algorithm V calculates F_i^C &lt;- G₂(w_i^B). Then, the verifier algorithm V verifies whether or not the equality of c_1,i = H₁ (F_i^C(z_i^A), z_i^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₂ = H₂ (w_i^B) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d_i = 2, the verifier algorithm V sets (F_i^D, z_i^A) &lt;- σ_i. Then, the verifier algorithm V verifies whether or not the equality of c_1,i = H₁ (F_i^D(z_i^A) - y, z_i^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c_3,i = H₃(F_i^D(x)) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The method of performing the interactive protocol of the present technique in parallel has been described above. As described above, as the interactive protocol of the present technique is repetitively performed, the probability of a successful forgery becomes negligibly small.

Further, a modification can be made such that the hash value c=H (c_1,1,c_1,2,c_1,3, ..., c_N,1,c_N,2,c_N,3) may be sent instead of sending (c_1,1,c_1,2,c_1,3, ..., c_N,1,c_N,2,c_N,3) to the verifier after operation #1. Here, in view of the presence of a message that is hardly restored from the response, the interactive protocol needs to be modified such that the message is sent from the prover to the verifier together with the response. When this modification is applied, a message sent at the first pass is a single hash value c, and thus communication traffic is significantly reduced. For example, in the case of the N-time parallel repetition structure, the number of pieces of information to be sent can be reduced by 2N-1.

(Suitable Parameter Setting Method)

The interactive protocol according to the present embodiment guarantees the security against a passive attack. However, when the above-described method of repetitively performing the interactive protocol in parallel is applied, a condition to be described below is necessary in order to prove that the security against an active attack is reliably guaranteed.

The foregoing interactive protocol is an algorithm for verifying to a verifier that "a prover knows s satisfying y = F(s) for y" by using a pair of keys (a public key y and a secret key s). For this reason, when interactivity accepted in verification is performed, a probability of information, which indicates that "the prover uses s at the time of interactivity," known to the verifier is undeniable. Additionally, collision resistance is not ensured for the multivariate polynomial F. For this reason, when the foregoing interactive protocol is performed repeatedly in parallel, it is difficult to prove that the security against an active attack is reliably ensured without any condition.

Accordingly, the inventors of the present technology have examined a method of causing information indicating that "a prover uses s at the time of interactivity" not to be known to a verifier even when interactivity accepted in verification is performed. Additionally, the inventors of the present technology have devised a method of enabling the security against an active attack to be ensured even when the foregoing interactive protocol is performed repeatedly in parallel. This method is a method of setting the number m of multivariate polynomials f₁, ..., f_m used as public keys to a value sufficiently smaller than the number n of variables. For example, m and n are set such that 2^m-n &lt;&lt; 1 (for example, when n = 160 and m = 80, 2^-80 &lt;&lt; 1).

In the schemes that base their safety on the difficulty of solving multi-order multivariate simultaneous equations, it is difficult to generate another secret key s₂ corresponding to a public key pk even when a secret key s₁ and the public key pk corresponding thereto are given. For this reason, when it is ensured that two or more secret keys s exist for the public key pk, the information indicating that "a prover uses s at the time of interactivity" can be caused not to be known to a verifier even when interactivity accepted in verification is performed. That is, when this ensuring is established, the security against an active attack can be ensured even when the interactive protocol is performed repeatedly in parallel.

When a function F: Kⁿ -&gt; K^m including the number m of multi-order polynomials with n variables (where n &gt; m) is considered with reference to <figref idref="f0039">FIG. 40</figref>, the number of elements of the domain of definition having no second pre-image is |K|^m - 1 at the most. For this reason, when |K|^m-n is set to be sufficiently small, a selection probability of elements of the domain of definition having no second pre-image can be made negligibly small. That is, when the number m of multi-order polynomials f₁, ..., f_m with n variables is set to a value sufficiently smaller than the number n of variables, it can be ensured that two or more secret keys s exist for the public key pk. Consequently, even when interactivity accepted in verification is performed, the information indicating that "a prover uses s at the time of interactivity" can be caused not to be known to a verifier. Thus, the security against an active attack is ensured even when the interactive protocol is performed repeatedly in parallel.

As described above, by imposing the setting condition in which the number m of multi-order polynomials f₁, ..., f_m with n variables is set to a value sufficiently smaller than the number n of variables (where n &gt; m and preferably 2^m-n &lt;&lt; 1), the security can be ensured when the interactive protocol is performed repeatedly in parallel.

[2-4: Specific Example (when Second-Order Polynomial Is Used)]

Next, an example in which a second-order polynomial with n variables is used as the multivariate polynomial F will be described with reference to <figref idref="f0006">FIG. 7. FIG. 7</figref> is an explanatory diagram for describing a specific example of the present technique.

(Key Generation Algorithm Gen)

The key generation algorithm Gen generates m multivariate polynomials f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n) defined in a ring k and a vector s = (s₁, ..., s_n) that is an element of the set Kⁿ. Next, the generation algorithm Gen calculates y = (y₁, ..., y_m) &lt;- (f₁(s), ..., f_m(s)). Also, the generation algorithm Gen sets (f₁, ..., f_m,y) as the public key pk and sets s as the secret key. Hereinafter, a vector(x₁, ..., x_n) is represented by x and a multivariate polynomial set (f₁(x), ..., f_m(x)) is represented by F(x). Here, the second-order polynomial f_i(x) is expressed as in the following Formula (8).

[Math 7] <maths id="math0008" num="(8)"><math display="block"><msub><mi>f</mi><mi>i</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced><mo>=</mo><mstyle displaystyle="true"><munder><mo>∑</mo><mrow><mi>j</mi><mo>,</mo><mi>k</mi></mrow></munder></mstyle><msub><mi>a</mi><mrow><mi>i</mi><mo>,</mo><mi>j</mi><mo>,</mo><mi>k</mi></mrow></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>k</mi></msub><mo>+</mo><mstyle displaystyle="true"><munder><mo>∑</mo><mi>j</mi></munder></mstyle><msub><mi>b</mi><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub></math><img file="EP2743902A1_D0008.tif" /></maths>

(Prover Algorithm P, Verifier Algorithm V)

Next, processes performed by the prover algorithm P and the verifier algorithm V during the interactive protocol will be described with reference to <figref idref="f0006">FIG. 7</figref>.

Operation #1:

First of all, the prover algorithm P arbitrarily selects the number w. Next, the prover algorithm P applies the number w to the pseudo random number generator G₁ and generates the vector r that is an element of the set Kⁿ and the number w^A. In other words, the prover algorithm P calculates(r,w^A) &lt;- G₁(w). Next, the prover algorithm P applies the number w^A to the pseudo random number generator G₂ and generates a linear polynomial set f₁^A(x), ..., f_m^A(x). In other words, the prover algorithm P calculates (f₁^A, ..., f_m^A) &lt;- G₂(w^A). Here, the linear polynomial f_i^A(x) is expressed as in the following Formula (9). Further, the linear polynomial set (f₁^A(x), ..., f_m^A(x)) is represented by F^A(x).

[Math 8] <maths id="math0009" num="(9)"><math display="block"><msubsup><mi>f</mi><mi>i</mi><mi>A</mi></msubsup><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced><mo>=</mo><mstyle displaystyle="false"><mstyle displaystyle="true"><munder><mo>∑</mo><mi>j</mi></munder></mstyle><msubsup><mi>b</mi><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow><mi>A</mi></msubsup></mstyle><msub><mi>x</mi><mi>j</mi></msub></math><img file="EP2743902A1_D0009.tif" /></maths>

Operation #1 (continued):

Next, the prover algorithm P calculates z &lt;- s-r. This calculation corresponds to an operation of masking the secret key s using the vector r. Further, the prover algorithm P calculates F^B(x) &lt;- F(x+r)+F^A(x). This calculation corresponds to an operation of making the second-order polynomial F(x+r) for x using the linear polynomial F^A(x). In F(x+r), information related to r is represented by only a first-order term of x. Thus, all information related to r is masked by F^A(x).

Operation #1 (continued):

Next, the prover algorithm P calculates a hash value c₁ of F^A(z) and z. In other words, the prover algorithm P calculates c₁ &lt;- H₁(F^A(z),z). Further, the prover algorithm P generates a hash value c₂ of the number w^A. In other words, the prover algorithm P calculates c₂ &lt;- H₂(w^A). Further, the prover algorithm P generates a hash value c₃ of the multivariate polynomial F^B. In other words, the prover algorithm P calculates c₃ &lt;- H₃(F^B). H₁(...), H₂(...), and H₃(...) are hash functions. The message (c₁,c₂,c₃) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

Upon receiving the message (c₁, c₂, c₃), the verifier algorithm V selects which verification pattern to use from among three verification patterns. For example, the verifier algorithm V may select a numerical value from among three numerical values {0, 1, 2} representing verification patterns, and set the selected numerical value in a challenge d. This challenge d is sent to the prover algorithm P.

Operation #3:

Upon receiving the challenge d, the prover algorithm P generates a response σ to send to the verifier algorithm V in response to the received challenge d. In the case where d = 0, the prover algorithm P generates a response σ = w. In the case where e = 1, the prover algorithm P generates a response σ = (w^A, z). In the case where d = 2, the prover algorithm P generates a response σ = (F^B (z), z). The response σ generated in operation #3 is sent to the verifier algorithm V.

Operation #6:

Upon receiving the response σ, the verifier algorithm V executes the following verification process using the received response σ.

In the case where d = 0, the verifier algorithm V calculates (r^A, w^B) &lt;- G₁(σ). Also, the verifier algorithm V calculates F^C &lt;- G₂(w^B). Then, the verifier algorithm V verifies whether or not the equality of = H₂(w^B) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (F(x + r^A) + F^C(x)) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 1, the verifier algorithm V sets (w^B, z^A) &lt;- σ. Also, the verifier algorithm V calculates F^c &lt;- G₂(w^B). Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁ (F^c(z^A), z^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of = H₂ (w^B) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 2, the verifier algorithm V sets (F^D, z^A) &lt;- σ. Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁ (F^D (z^A) - y, z^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (F^D) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The specific example of the present technique has been described above.

[2-5: Efficient Algorithm]

Next, a method of streamlining the algorithm according to the present technique will be described. The second-order polynomial set (f₁(x), ..., f_m(x)) may be expressed in the following Formula (10). Here, x is x₁, ..., x_n. Further, A₁, ..., A_m are an nxn matrix. Further, each of b₁, ..., b_m is an n×1 vector.

[Math 9] <maths id="math0010" num="(10)"><math display="block"><mi>F</mi><mfenced><mi>x</mi></mfenced><mo>=</mo><mfenced><mtable><mtr><mtd><msub><mi>f</mi><mn>1</mn></msub><mfenced><mi>x</mi></mfenced></mtd></mtr><mtr><mtd><mo>⋮</mo></mtd></mtr><mtr><mtd><msub><mi>f</mi><mi>m</mi></msub><mfenced><mi>x</mi></mfenced></mtd></mtr></mtable></mfenced><mo>=</mo><mfenced><mtable><mtr><mtd><msup><mi>x</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mn>1</mn></msub><mo>⁢</mo><mi>x</mi><mo>+</mo><msubsup><mi>b</mi><mn>1</mn><mi>T</mi></msubsup><mo>⁢</mo><mi>x</mi></mtd></mtr><mtr><mtd><mo>⋮</mo></mtd></mtr><mtr><mtd><msup><mi>x</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>m</mi></msub><mo>⁢</mo><mi>x</mi><mo>+</mo><msubsup><mi>b</mi><mi>m</mi><mi>T</mi></msubsup><mo>⁢</mo><mi>x</mi></mtd></mtr></mtable></mfenced></math><img file="EP2743902A1_D0010.tif" /></maths>

When this expression is used, a multivariate polynomial F can be expressed as in the following formula (11) and formula (12). From the following formula (13), it can easily be confirmed that this expression is satisfied.

[Math 10] <maths id="math0011" num="(11)"><math display="block"><mi>F</mi><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><mi>y</mi></mfenced><mo>=</mo><mi>F</mi><mfenced><mi>x</mi></mfenced><mo>+</mo><mi>F</mi><mfenced><mi>y</mi></mfenced><mo>+</mo><msub><mi>F</mi><mi>b</mi></msub><mfenced><mi>x</mi><mi>y</mi></mfenced></math><img file="EP2743902A1_D0011.tif" /></maths><maths id="math0012" num="(12)"><math display="block"><msub><mi>F</mi><mi>b</mi></msub><mfenced><mi>x</mi><mi>y</mi></mfenced><mo>=</mo><mfenced><mtable><mtr><mtd><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><mfenced separators=""><msubsup><mi>A</mi><mn>1</mn><mi>T</mi></msubsup><mo>+</mo><msub><mi>A</mi><mn>1</mn></msub></mfenced><mo>⁢</mo><mi>x</mi></mtd></mtr><mtr><mtd><mo>⋮</mo></mtd></mtr><mtr><mtd><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><mfenced separators=""><msubsup><mi>A</mi><mi>m</mi><mi>T</mi></msubsup><mo>+</mo><msub><mi>A</mi><mi>m</mi></msub></mfenced><mo>⁢</mo><mi>x</mi></mtd></mtr></mtable></mfenced></math><img file="EP2743902A1_D0012.tif" /></maths><maths id="math0013" num="(13)"><math display="block"><mtable columnalign="left"><mtr><mtd><msub><mi>f</mi><mi>l</mi></msub><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><mi>y</mi></mfenced></mtd><mtd><mo>=</mo><msup><mfenced separators=""><mi>x</mi><mo>+</mo><mi>y</mi></mfenced><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><mi>y</mi></mfenced><mo>+</mo><msubsup><mi>b</mi><mi>l</mi><mi>T</mi></msubsup><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><mi>y</mi></mfenced></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><msup><mi>x</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>x</mi><mo>+</mo><msup><mi>x</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>y</mi><mo>+</mo><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>x</mi><mo>+</mo><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>y</mi><mo>+</mo><msubsup><mi>b</mi><mi>l</mi><mi>T</mi></msubsup><mo>⁢</mo><mi>x</mi><mo>+</mo><msubsup><mi>b</mi><mi>l</mi><mi>T</mi></msubsup><mo>⁢</mo><mi>y</mi></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>x</mi></mfenced><mo>+</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>y</mi></mfenced><mo>+</mo><msup><mi>x</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>y</mi><mo>+</mo><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>x</mi></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>x</mi></mfenced><mo>+</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>y</mi></mfenced><mo>+</mo><msup><mi>x</mi><mi>T</mi></msup><mo>⁢</mo><msup><mfenced><msubsup><mi>A</mi><mi>l</mi><mi>T</mi></msubsup></mfenced><mi>T</mi></msup><mo>⁢</mo><mi>y</mi><mo>+</mo><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>x</mi></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>x</mi></mfenced><mo>+</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>y</mi></mfenced><mo>+</mo><msup><mfenced separators=""><msubsup><mi>A</mi><mi>l</mi><mi>T</mi></msubsup><mo>⁢</mo><mi>x</mi></mfenced><mi>T</mi></msup><mo>⁢</mo><mi>y</mi><mo>+</mo><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>x</mi></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>x</mi></mfenced><mo>+</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>y</mi></mfenced><mo>+</mo><msup><mi>y</mi><mi>T</mi></msup><mfenced separators=""><msubsup><mi>A</mi><mi>l</mi><mi>T</mi></msubsup><mo>⁢</mo><mi>x</mi></mfenced><mo>+</mo><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><msub><mi>A</mi><mi>l</mi></msub><mo>⁢</mo><mi>x</mi></mtd></mtr><mtr><mtd><mspace width="2em" /></mtd><mtd><mo>=</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>x</mi></mfenced><mo>+</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><mi>y</mi></mfenced><mo>+</mo><msup><mi>y</mi><mi>T</mi></msup><mo>⁢</mo><mfenced separators=""><msubsup><mi>A</mi><mi>l</mi><mi>T</mi></msubsup><mo>+</mo><msub><mi>A</mi><mi>l</mi></msub></mfenced><mo>⁢</mo><mi>x</mi></mtd></mtr></mtable></math><img file="EP2743902A1_D0013.tif" /></maths>

When dividing F(x + y) into a first portion dependent on x, a second portion dependent on y, and a third portion dependent on both x and y in this way, the term F_b(x, y) corresponding to the third portion becomes bilinear with respect to x and y. Using this property enables the construction of an efficient algorithm.

For example, use the vector to that is an element of the set Kⁿ and the vector e₀ that is an element of the set K^m to express the multivariate polynomial F^A(x), which is used to mask the multivariate polynomial F(x + r), as F^A(x) = F_b(x, t) + e. In this case, the sum of the multivariate polynomial F(x + r) and F^A(x) is expressed as in formula (14) below.

Here, when t^A = r + t, e^A = F(r) + e, the multivariate polynomial F^B(x) = F(x + r) + F^A(x) can be expressed by the vector t₁ which is an element of the set Kⁿ and the vector e₁ that is an element of the set K^m. For this reason, when "F^A (x) = F_b (x, t) + e" is set, F^A and F^B can be expressed by using a vector in Kⁿ and a vector in K^m, and thus a data size necessary for communication can be considerably reduced. Specifically, communication efficiency can be improved to the degree of thousands to tens of thousands of times.

[Math 11] <maths id="math0014" num="(14)"><math display="block"><mtable columnalign="left"><mtr><mtd><mi>F</mi><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><mi>r</mi></mfenced><mo>+</mo><msup><mi>F</mi><mi>A</mi></msup><mfenced><mi>x</mi></mfenced></mtd></mtr><mtr><mtd><mo>=</mo><mi>F</mi><mfenced><mi>x</mi></mfenced><mo>+</mo><mi>F</mi><mfenced><mi>r</mi></mfenced><mo>+</mo><msub><mi>F</mi><mi>b</mi></msub><mfenced><mi>x</mi><mi>r</mi></mfenced><mo>+</mo><msub><mi>F</mi><mi>b</mi></msub><mfenced><mi>x</mi><mi>t</mi></mfenced><mo>+</mo><mi>e</mi></mtd></mtr><mtr><mtd><mo>=</mo><mi>F</mi><mfenced><mi>x</mi></mfenced><mo>+</mo><msub><mi>F</mi><mi>b</mi></msub><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>,</mo><mi>r</mi><mo>+</mo><mi>t</mi></mfenced><mo>+</mo><mi>F</mi><mfenced><mi>r</mi></mfenced><mo>+</mo><mi>e</mi></mtd></mtr></mtable></math><img file="EP2743902A1_D0014.tif" /></maths>

According to this modification, information related to r is not leaked from F^B (or F^A) at all. For example, when e^A and t^A (or e and t) are given, it is difficult to know information of r unless e and t (or e^A and t^A) are known. Accordingly, even when this modification is applied to the present technique, the zero knowledge is guaranteed. Next, an efficient algorithm related to the present technique will be described with reference to <figref idref="f0007 f0008 f0009">FIGS. 8 to 10</figref>. Since the structure of the key generation algorithm Gen does not change, a detailed description thereof will be omitted herein.

(Structure Example 1 of Efficient Algorithm: FIG. 8)

First of all, a structure of an efficient algorithm illustrated in <figref idref="f0007">FIG. 8</figref> will be described.

Operation #1:

The prover algorithm P arbitrarily selects the number w. Next, the prover algorithm P applies the number w to the pseudo random number generator G₁ and generates the vector r that is an element of the set Kⁿ and the number w^A. In other words, the prover algorithm P calculates (r,w^A) &lt;- G₁(w). Next, the prover algorithm P applies the number w^A to the pseudo random number generator G₂ and generates two vectors, the vector t that is an element of the set Kⁿ and the vector e that is an element of the set K^m. In other words, the prover algorithm P calculates (t,e) &lt;- G₂(w^A). Next, the prover algorithm P calculates z &lt;- s-r. This calculation corresponds to an operation of masking the secret key s using the vector r. Further, the prover algorithm P calculates t^A &lt;- r+t. Next, the prover algorithm P calculates e^A &lt;- F(r)+e.

Operation #1 (continued):

Next, the prover algorithm P calculates F_b(z,t) based on Formula (14), and calculates a hash value c₁ of F_b(z,t)+e and z. In other words, the prover algorithm P calculates c₁ &lt;- H₁(F_b(z,t)+e,z). Further, the prover algorithm P generates a hash value c₂ of the number w^A. In other words, the prover algorithm P calculates &lt;-H₂(w^A). Further, the prover algorithm P generates a hash value c₃ of the two vectors t^A and e^A. In other words, the prover algorithm P calculates c₃ &lt;- H₃(t^A,e^A). H₁(...), H₂(...), and H₃(...) are hash functions. The message (c₁,c₂,c₃) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

Upon receiving the message (c₁, c₂, c₃), the verifier algorithm V selects which verification pattern to use from among three verification patterns. For example, the verifier algorithm V may select a numerical value from among three numerical values {0, 1, 2} representing verification patterns, and set the selected numerical value in a challenge d. This challenge d is sent to the prover algorithm P.

Operation #3:

Upon receiving the challenge d, the prover algorithm P generates a response σ to send to the verifier algorithm V in response to the received challenge d. In the case where d = 0, the prover algorithm P generates a response σ = w. In the case where d = 1, the prover algorithm P generates a response σ = (w^A, z). In the case where d = 2, the prover algorithm P generates a response σ = (t^A, t^A, z). The response σ generated in operation #3 is sent to the verifier algorithm V.

Operation #6:

Upon receiving the response σ, the verifier algorithm V executes the following verification process using the received response σ.

In the case where d = 0, the verifier algorithm V calculates (r^A, r^B) &lt;- G₁(σ). Also, the verifier algorithm V calculates (t^B, e^B &lt;- G₂(w^B). Then, the verifier algorithm V verifies whether or not the equality of = H₂(w^B) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (r^A + t^B, F(r^A) + e^B) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 1, the verifier algorithm V sets (w^B, z^A) &lt;- σ. Also, the verifier algorithm V calculates (t^B, e^B) &lt;- G₂(w^B). Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁ (F_b(z^A, t^B) + e^B, z^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of = H₂ (w^B) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 2, the verifier algorithm V sets (t^C, e^C, z^A) &lt;- σ. Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁ (F(z^A) + F_b (z^A, t^C) + e^C - y, z^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (t^C, e^C) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The structure example 1 of the efficient algorithm has been described above. By using the efficient algorithm, the data size necessary for communication is significantly reduced. Further, since F(x+r) need not be calculated, the calculation efficiency is improved as well.

(Structure Example 2 of Efficient Algorithm: FIG. 9)

Next, a structure of an efficient algorithm illustrated in <figref idref="f0008">FIG. 9</figref> will be described. Even when the structure illustrated in <figref idref="f0008">FIG. 9</figref> is applied, similarly to when the structure illustrated in <figref idref="f0007">FIG. 8</figref> is applied, the effect that the communication efficiency and the calculation efficiency are improved is obtained. Here, a difference with the structure illustrated in <figref idref="f0007">FIG. 8</figref> will be described.

In operation #3 of the algorithm illustrated in <figref idref="f0007">FIG. 8</figref>, when d = 0, σ is set to w, but information that can be restored by (r,t,e) may be used as σ set when d = 0. For example, as illustrated in <figref idref="f0008">FIG. 9</figref>, in operation #3, (w^A,t^A) may be used as σ set when d = 0. Here, when this modification is performed, it is necessary to modify a part of verification content performed by the verifier algorithm V in operation #4. Specifically, in operation #4, when d = 0, in the verification content performed by the verifier algorithm V, verification of c₃ = H₃(r^A+t^B,F(r^A)+e^B) is replaced with verification of c₃ = H₃(t^A,F(t^A-t^B)+e^B).

The structure example 2 of the efficient algorithm has been described above.

(Structure Example 3 of Efficient Algorithm: FIG. 10)

Next, a structure of an efficient algorithm illustrated in <figref idref="f0009">FIG. 10</figref> will be described.

Operation #1:

The prover algorithm P arbitrarily generates the vector r, t that is an element of the set Kⁿ, and the vector e₀ that is an element of the set K^m. Subsequently, the prover algorithm P calculates r^A &lt;- s ― r. This calculation is equivalent to masking the secret key s with the vector r. Additionally, the prover algorithm P calculates t^A &lt;- r - t. Subsequently, the prover algorithm P calculates e^A &lt;- F(r) - e.

Operation #1 (continued):

Subsequently, the prover algorithm P calculates c₁ &lt;- H₁ (F_b (r^A, t) + e, r^A. Subsequently, the prover algorithm P calculates &lt;- H₂ (t, e). Subsequently, the prover algorithm P calculates c₃ &lt;- H₃ (t^A, e^A). H₁(...), H₂(...), and H₃(...) are hash functions. The message (c₁, c₂, c₃) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

Upon receiving the message (c₁, c₂, c₃), the verifier algorithm V selects which verification pattern to use from among three verification patterns. For example, the verifier algorithm V may select a numerical value from among three numerical values {0, 1, 2} representing verification patterns, and set the selected numerical value in a challenge d. This challenge d is sent to the prover algorithm P.

Operation #3:

Upon receiving the challenge d, the prover algorithm P generates a response σ to send to the verifier algorithm V in response to the received challenge d. In the case where d = 0, the prover algorithm P generates a response σ = (r, t^A, e^A). In the case where d = 1, the prover algorithm P generates a response σ = (r^A, t, e). In the case where d = 2, the prover algorithm P generates a response σ = (r^A, t^A, e^A). The response σ generated in operation #3 is sent to the verifier algorithm V.

Operation #4:

Upon receiving the response σ, the verifier algorithm V executes the following verification process using the received response σ.

In the case where d = 0, the verifier algorithm V verifies whether or not the equality of c₂ = H₂ (r - t^A, F(r) - e^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (t^A, e^A) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 1, the verifier algorithm V verifies whether or not the equality of c₁ = H₁ (F_b, (r^A, t) + e, r^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of = H₂ (t, e) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 2, the verifier algorithm V verifies whether or not the equality of c₁ = H₁ (y - F(r^A) - F_b (t^A, r^A) - e^A, r^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (t^A, e^A) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The structure example 3 of the efficient algorithm has been described above. By using the efficient algorithm, the data size necessary for communication is significantly reduced. Further, since F(x+r) need not be calculated, the calculation efficiency is improved as well.

(Parallelization of The Efficient Algorithm: FIG. 11)

Next, a method of parallelizing the efficient algorithm will be described with reference to <figref idref="f0010">FIG. 11</figref>. The structure (hereinafter referred to as a "parallelized algorithm") illustrated in <figref idref="f0010">FIG. 11</figref> is one in which the efficient algorithm related to the structure example 3 is parallelized.

Operation #1:

The prover algorithm P executes processes (1) to (6) for i = 1 to N. <ul id="ul0006" list-style="none" compact="compact"><li>Process (1): The prover algorithm P arbitrarily generates the vectors r_i, t;that are elements of the set Kⁿ, and the vector e_i that is an element of the set K^m.</li><li>Process (2): The prover algorithm P calculates r_i^A &lt;- s - r_i. This calculation is equivalent to masking the secret key s with the vector r_i. Additionally, the prover algorithm P calculates t_i^A &lt;- r_i + t_i.</li><li>Process (3): The prover algorithm P calculates e_i^A &lt;- F(r_i) - e_i.</li><li>Process (4): The prover algorithm P calculates c₁,_i &lt;- H₁ (F_b(r_i^A, t_i) + e_i, r_i^A).</li><li>Process (5): The prover algorithm P calculates c₂,_i &lt;- H₂ (t_i, e;).</li><li>Process (6): The prover algorithm P calculates c₃,_i &lt;- H₃ (t_i^A, e_i^A).</li></ul>

Operation #1 (continued):

After executing the above processes (1) to (6) for i = 1 to N, the prover algorithm P calculates Cmt &lt;- H(c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, c₃, _N). H(...), H₁(...), H₂(...), and H₃(...) are hash functions. The hash value Cmt generated in operation #1 is sent to the verifier algorithm V. In this way, the message (c₁, ₁, ₁, c_{3 1}, ..., c₁, _N, c₂, _N, c₃, _N) is converted into a hash value before being sent to the verifier algorithm V, thus enabling a reduction in the communication volume.

Operation #2:

Upon receiving the hash value Cmt, the verifier algorithm V selects which verification pattern to use from among three verification patterns, for each of i = 1 to N. For example, the verifier algorithm V may, for each of i = 1 to N, select a numerical value from among three numerical values {0, 1, 2} representing verification patterns, and set the selected numerical value in a challenge d_i. The challenges d₁, ..., d_N are sent to the prover algorithm P.

Operation #3:

Upon receiving the challenges d₁, ..., d_N, the prover algorithm P generates responses Rsp₁, ..., Rsp_N to send to the verifier algorithm V in response to each of the received challenges d₁, ..., d_N. In the case where d_i = 0, the prover algorithm P generates σ_i = (r_i, t_i^A, e_i^A). Further, the prover algorithm P generates Rsp_i = (σ_i, c₁, _i). In the case where d_i = 1, the prover algorithm P generates σ_i = (r_i^A, t_i, e_i). Further, the prover algorithm P generates Rsp_i = (σ_i, c₃, _i). In the case where Ch_i = 2, the prover algorithm P generates σ_i = (r_i^A, t_i^A, e_i^A). Further, the prover algorithm P generates Rsp_i = (σ_i, c₂, i).

The responses Rsp₁, ..., Rsp_N generated in operation #3 are sent to the verifier algorithm V.

Operation #4:

Upon receiving the responses Rsp₁, ..., Rsp_N, the verifier algorithm V executes the following processes (1) to (3) for i = 1 to N, using the received responses Rsp₁, ..., Rsp_N. Herein, the verifier algorithm V executes the process (1) for the case where d_i = 0, the process (2) in the case where Ch_i = 1, and the process (3) in the case where d_i = 2.

Process (1): In the case where d_i = 0, the verifier algorithm V retrieves (r_i, t_i^A, e_i^A, c_1,i) from Rsp_i. Subsequently, the verifier algorithm V calculates c_2,i = H₂ (r_i-t_i^A, F(r_i) - e_i^A). In addition, the verifier algorithm V calculates c_3,i = H₃ (t_i^A, e_i^A). The verifier algorithm V then stores (c₁, _i, c₂, _i, c₃, _i).

Process (2): In the case where d_i = 1, the verifier algorithm V retrieves (r_i^A, t_i, e_i, c₃, _i) from Rsp_i. Subsequently, the verifier algorithm V calculates c₁, _i = H₁ (F_b (r_i^A, t_i) + e_i, r_i^A). In addition, the verifier algorithm V calculates c₂, _i = H₂ (t_i, e_i). The verifier algorithm V then stores (c₁, _i, c₂, _i, c₃, _i).

Process (3): In the case where d_i = 2, the verifier algorithm V retrieves (r_i^A, t_i^A, e_i^A, c₂, _i) from Rsp_i. Subsequently, the verifier algorithm V calculates c₁, _i = H₁ (y - F(r_i^A) - F_b(t_i^A, r_i^A) - e_i^A, r_i^A). In addition, the verifier algorithm V calculates c₃, _i = H₃ (t_i^A, e_i^A). The verifier algorithm V then stores (c₁, _i, c₂, _i, c₃, _i).

After executing the above processes (1) to (3) for i = 1 to N, the verifier algorithm V verifies whether or not the equality of Cmt = H(c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, c₃, _N) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where the verification succeeds, and outputs the value 0 to indicate authentication failure in the case where the verification fails.

The parallelization of the efficient algorithm has been described above. The parallelized algorithm illustrated in <figref idref="f0010">FIG. 11</figref> includes include a contrivance in which a message is converted into a hash value before being sent. This contrivance improves communication efficiency.

[2-6: Modification into Digital Signature Scheme]

Here, a method of modifying the public-key authentication scheme according to the present technique into a digital signature scheme will be introduced. When a prover in a model of a public-key authentication scheme matches a signer in a digital signature scheme, an approximation to the model of the digital signature scheme can easily be understood in that only a prover can convince a verifier. Based on this idea, a method of modifying the public-key authentication scheme according to the present technology into a digital signature scheme will be descried.

(2-6-1: Transforming Method)

Here, a method of transforming the structure example 3 of the efficient algorithm into the algorithm of the digital signature scheme will be described as an example. The algorithm of the structure example 3 is roughly expressed by the following four operations #1 to #4 as illustrated in <figref idref="f0011">FIG. 12</figref>.

Operation #1 includes a process (1) of generating a_i = (r_i, t_i, e_i, r_i^A, t_i^A, e_i^A, c₁, _i, c₂, _i, c₃, _i) and a process (2) of calculating Cmt &lt;- H(c₁, ₁, c₂, ₁, c₃, ₁,..., c₁, _N, c₂, _N, c₃, _N). Cmt generated in operation #1 by the prover algorithm P is sent to the verifier algorithm V.

Operation #2 includes a process of selecting d₁, ..., d_N. d₁, ..., d_N selected in operation #2 by the verifier algorithm V are sent to the prover algorithm P.

Operation #3 includes a process of generating Rsp₁, ..., Rsp_N using d₁, ..., d_N and a₁ ..., a_N. This process is expressed as Rsp_i &lt;- Select (d;, a_i). Rsp₁, ..., Rsp_N generated in operation #3 by the prover algorithm P are sent to the verifier algorithm V.

Operation #4 includes a process (1) of reproducing c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, c₃, _N using d₁, ..., d_N and Rsp₁, ..., Rsp_N and a process (2) of verifying Cmt = H(c₁, ₁, c₂, ₂, C₃, ₃, ..., c₁, _N, c₂, _N, c₃, _N) using the reproduced c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, C3, N.

The algorithm of the public-key authentication scheme expressed with the foregoing operation #1 to operation #4 is modified into a signature generation algorithm Sig and a signature verifying algorithm Ver illustrated in <figref idref="f0011">FIG. 12</figref>.

(Signature Generation Algorithm Sig)

First, the structure of the signature generation algorithm Sig will be described. The signature generation algorithm Sig includes the following processes (1) to (5).

Process (1): The signature generation algorithm Sig generates a_i = (r_i, t_i, e_i, r_i^A, t_i^A, e_i^A, e_i^A, c₁, _i, c₂, _i, c₃, _i).

Process (2): The signature generation algorithm Sig calculates Cmt &lt;- H(c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, c₃, _N). Here, M is a document to which a signature is attached.

Process (3): The signature generation algorithm Sig calculates (d₁, ..., d_N) &lt;-H(M, Cmt). Here, M is a document to which a signature is attached.

Process (4): The signature generation algorithm Sig calculates Rsp_i &lt;- Select (d_i, a_i).

Process (5): The signature generation algorithm Sig sets (Cmt, Rsp₁, ..., Rsp_N) as a signature.

(Signature Verifying Algorithm Ver)

Next, the structure of the signature verifying algorithm Ver will be described. The signature verifying algorithm Ver includes the following processes (1) to (3).

Process (1): The signature verifying algorithm Ver calculates (d₁, ..., d_N) &lt;-H(M, Cmt).

Process (2): The signature verifying algorithm Ver generates c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, c₃, _N using d₁, ..., d_N and Rsp₁, ..., Rsp_N.

Process (3): The signature verifying algorithm Ver verifies Cmt = H(c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, c₃, _N) using the reproduced c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, c₃, _N.

As described above, by matching the prover in the model of the public-key authentication scheme with the signer in the digital signature scheme, the algorithm of the public-key authentication scheme can be modified into the algorithm of the digital signature scheme.

(2-6-2: Streamlining of Digital Signature Algorithm)

Here, when the structure of the signature generation algorithm Sig illustrated in <figref idref="f0012">FIG. 13</figref> is focused on, it can be realized that calculation of a hash value has been performed in the processes (2) and (3). Further, when the structure of the signature verifying algorithm Ver is focused on, it can be realized that the same calculation of a hash value as the process (3) of the signature generation algorithm Sig has been performed in the process (1). When the configurations of the signature generation algorithm Sig and the signature verifying algorithm Ver are improved focusing on these processes, as illustrated in <figref idref="f0012">FIG. 13</figref>, calculation efficiency can be further improved.

(Signature Generation Algorithm Sig)

First, the improved structure of the signature generation algorithm Sig will be described. The signature generation algorithm Sig includes the following processes (1) to (4).

Process (1): The signature generation algorithm Sig generates a_i = (r_i, t_i, e_i, r_i^A, t_i^A, e_i^A, c₁, _i, c₂, _i, c₃, _i).

Process (2): The signature generation algorithm Sig calculates (d₁, ..., d_N) &lt;-H(M, c₁, ₁, c₂, ₂, c₃, ₃, ..., c₁, _N, c₂, _N, c₃, _N). Here, M is a document to which a signature is attached.

Process (3): The signature generation algorithm Sig calculates Rsp_i &lt;- Select (d_i, a_i).

Process (4): The signature generation algorithm Sig sets (d₁, ..., d_N, Rsp₁, ..., Rsp_N) as a signature.

(Signature Verifying Algorithm Ver)

Next, the structure of the improved signature verifying algorithm Ver will be described. The signature verifying algorithm Ver includes the following processes (1) and (2).

Process (1): The signature verifying algorithm Ver generates c₁, ₁, c₂, ₂, c₃, ₃, ..., c₁, _N, c₂, _N, c₃, _N using d₁, ..., d_N and Rsp₁, ..., Rsp_N.

Process (2): The signature verifying algorithm Ver verifies (d₁, ..., d_N) = H(M, c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, _N, c₂, _N, c₃, _N) using the reproduced c₁, ₁, c₂, ₁, c₃, ₁, ..., c₁, N, c₂, _N, c₃, N.

By improving the structures of the signature generation algorithm Sig and the signature verifying algorithm Ve, as described above, the calculation of a hash value in each algorithm is reduced by one time. As a result, calculation efficiency can be further improved.

[2-7: Form of Multi-Order Multivariate Simultaneous Equation]

As described above, the present technique is a scheme in which the security is based on the difficulty in solving the multi-order multivariate simultaneous equation. Further, the feature of the present technique lies in that a complicated multi-order multivariate simultaneous equation can be used. In the above description, there is no special limitation to the form of the multi-order multivariate simultaneous equation, but it is desirable to use a multi-order multivariate simultaneous equation including an encryption element technique in which the difficulty is sufficiently compensated in an expression. Next, a specific example of a multi-order multivariate simultaneous equation to which the present technique can be applied will be introduced.

(2-7-1: Form Related to Common Key Block Cipher)

A common key block cipher technique such as ES, DES, or KATAN is an element technique which is frequently analyzed and high in security and reliability. The common key block cipher can be expressed by a multi-order multivariate simultaneous equation having a key, a plain text, and a cipher text of a common key block cipher as variables. In the multi-order multivariate simultaneous equation, when values are given to the variables representing the plain text and the cipher text, the multi-order multivariate simultaneous equation becomes an equation having only a variable representing a key as a variable.

Solving the multi-order multivariate simultaneous equation expressing the common key block cipher corresponds to restoring the key of the common key block cipher from the plain text and the cipher text. In other words, as long as the security of the common key block cipher is maintained, the difficulty in finding a solution of the multi-order multivariate simultaneous equation expressing the common key block cipher is secured. For this reason, when a multi-order multivariate simultaneous equation expressing a certain common key block cipher scheme is applied to the present technique, a public-key authentication scheme having the security equivalent to the security of the common key block cipher scheme is implemented.

Here, when the common key block cipher is expressed by a multi-order multivariate simultaneous equation having variables such as a key, a plain text, and a cipher text, since an order of a polynomial increases, the size of data for expressing a simultaneous equation increases. In this regard, a variable representing an internal state in each round is introduced in addition to a key, a plain text, and a cipher text. By introducing this variable, it is possible to reduce the order of the multi-order multivariate simultaneous equation expressing the common key block cipher. For example, appropriate values are substituted for the variables representing the plain text and the cipher text, and a simultaneous equation related to the key and the variable representing the internal state is introduced. When this method is employed, the number of variables increases, but the order decreases, and thus an expression of the simultaneous equation becomes compact.

(2-7-2: Form Related to Hash Function)

Similarly, a multi-order multivariate simultaneous equation related to a hash function such as SHA-1 or SHA-256 can be applied to the present technique. The hash function can be expressed by a multi-order multivariate simultaneous equation having a message which is an input of the hash function and a hash value which is an output thereof as variables. In the multi-order multivariate simultaneous equation, when an appropriate value is given to the variable representing the hash value, a multi-order multivariate simultaneous equation related to a variable representing a corresponding input is obtained.

Solving the multi-order multivariate simultaneous equation corresponds to restoring a value of a message serving as the basis from the hash value. In other words, as long as the security (unidirectional characteristic) of the hash function is maintained, the difficulty in solving the multi-order multivariate simultaneous equation expressing the hash function is guaranteed. For this reason, when a multi-order multivariate simultaneous equation expressing a certain hash function is applied to the present technique, a public-key authentication scheme based on the security of the hash function is implemented.

Here, when a hash function is expressed by a multi-order multivariate simultaneous equation having an input message and a hash value as variables, since an order of a polynomial increases, the size of data expressing a simultaneous equation increases. In this regard, a variable representing an internal state is introduced in addition to an input message and a hash value. By introducing this variable, it is possible to reduce an order of a multi-order multivariate simultaneous equation expressing a hash function. For example, an appropriate value is substituted for the variable representing the hash value, and a simultaneous equation related to the input message and the variable representing the internal state is introduced. When this method is employed, the number of variables increases, but the order decreases, and thus an expression of the simultaneous equation becomes compact

(2-7-3: Form Related to Stream Cipher)

Similarly, a multi-order multivariate simultaneous equation related to a stream cipher such as Trivium can be applied to the present technique. The stream cipher can be expressed by a multi-order multivariate simultaneous equation related to a variable representing an initial internal state of the stream cipher and a variable representing a stream to be output. In this case, when an appropriate value is given to the variable representing the output stream, a multi-order multivariate simultaneous equation related to a variable representing a corresponding initial internal state is obtained.

Solving the multi-order multivariate simultaneous equation corresponds to restoring a variable representing an initial internal state serving as a basis from a value of an output stream. In other words, as long as the security of the stream cipher is guaranteed, the difficulty in solving the multi-order multivariate simultaneous equation expressing the stream cipher is secured. For this reason, when a multi-order multivariate simultaneous equation expressing a certain stream cipher is applied to the present technique, a public-key authentication scheme based on the security of the stream cipher is implemented.

Here, when a stream cipher is expressed by a multi-order multivariate simultaneous equation having an initial internal state and an output stream as variables, an order of a polynomial increases, and thus the size for expressing a simultaneous equation increases. In this regard, a variable representing an internal state in each round is introduced in addition to an initial internal state and an output stream. By introducing this variable, it is possible to reduce an order of a multi-order multivariate simultaneous equation expressing a stream cipher. For example, when an appropriate value is substituted for the variable representing the output stream, a simultaneous equation related to the initial internal state and the variable representing the internal state in a round is introduced. When this method is employed, the number of variables increases, but the order decreases, and thus an expression of the simultaneous equation becomes compact.

The specific examples of the multi-order multivariate simultaneous equations applicable to the present technique have been described above.

[2-8: Serial Parallel Hybrid Algorithm]

In order to make a probability of a successful forgery negligibly small, the interactive protocol needs to be performed multiple times as described above. Further, as the method of performing the interactive protocol multiple times, the serial method and the parallel method have been introduced. Particularly, the parallel method has been described in connection with the specific parallelized algorithm. Here, a hybrid type algorithm in which the serial method is combined with the parallel method will be introduced.

(Hybrid Structure 1)

A hybrid type algorithm (hereinafter referred to as a "parallel serial algorithm") will be described with reference to <figref idref="f0013">FIG. 14. FIG. 14</figref> illustrates a basic structure of the present technique, a serialized algorithm in which the basic structure is serialized, a parallelized algorithm in which the basic structure is parallelized, and a parallel serial algorithm.

In the basic structure, at the first pass, a message (c₁,c₂,c₃) is sent from the prover to the verifier. At the second pass, the challenge d is sent from the verifier to the prover. At the third pass, the response σ is sent from the prover to the verifier.

When the basic structure is parallelized, at the first pass, messages (c_1,1,c_2,1,c_3,1, ..., c_1,N,c_2,N,c_3,N) of N times are sent from the prover to the verifier. At the second pass, challenges (d₁, ..., d_N) of N times are sent from the verifier to the prover. At the third pass, responses (σ₁, ..., σ_N) of N times are sent from the prover to the verifier. The parallelized algorithm related to the present technique guarantees the security against the passive attack. Further, the number of interactivities is merely three times. Further, since messages of N times sent at the first pass are collected with one hash value, the communication efficiency can be improved.

Meanwhile, when the basic structure is serialized, at the first pass, the message (c_1,1,c_2,1,c_3,1) of one time is sent from the prover to the verifier. At the second pass, the challenge d₁ of one time is sent from the verifier to the prover. At the third pass, the response σ₁ of one time is sent from the prover to the verifier. At the fourth pass, the message (c_1,2,c_2,2,c_3,2) of one time is sent from the prover to the verifier. At the fifth pass, the challenge d₂ of one time is sent from the verifier to the prover. At the sixth pass, the response σ₂ of one time is sent from the prover to the verifier. Similarly, the interactivity is repetitively performed until the response σ_N is sent from the prover to the verifier. The serialized algorithm guarantees the security against the active attack. Further, it is possible to prove that the forgery possibility is reliably reduced.

Further, the parallel serial algorithm is an algorithm having characteristics of the parallelized algorithm and characteristics of the serialized algorithm. In the parallel serial algorithm illustrated in <figref idref="f0013">FIG. 14</figref>, at the first pass, messages (c_1,1,c_2,1,c_3,1, ..., c_1,N,c_2,N,c_3,N) of N times are sent from the prover to the verifier. At the second pass, the challenge d₁ of one time is sent from the verifier to the prover. At the third pass, the response σ₁ of one time is sent from the prover to the verifier. Accordingly, the challenge d₂, ..., d_N and the response σ₂, ..., σ_N are exchanged between the prover and the verifier.

The parallel serial algorithm based on the present technique guarantees the security against the passive attack. Further, the number of interactivities is merely 2N+1. Further, as messages of N times to be sent at the first pass are converted into one hash value, the communication efficiency can be improved.

(Hybrid Structure 2)

Another hybrid type algorithm (hereinafter referred to as a "serial parallel algorithm") will be described with reference to <figref idref="f0014">FIG. 15. FIG. 15</figref> illustrates a basic structure related to the present technique, a serialized algorithm in which the basic structure is serialized, a parallelized algorithm in which the basic structure is parallelized, and a serial parallel algorithm. The structures and characteristics of the basic structure, the serialized algorithm, and the parallelized algorithm are the same as described above.

The serial parallel algorithm illustrated in <figref idref="f0014">FIG. 15</figref> is an algorithm having both the characteristics of the parallelized algorithm and the characteristics of the serialized algorithm. In the serial parallel algorithm illustrated in <figref idref="f0014">FIG. 15</figref>, at the first pass, a message (c_1,1,c_2,1,c_3,1) of one time is sent from the prover to the verifier. At the second pass, a challenge d₁ of one time is sent from the verifier to the prover. Thereafter, messages (c_1,2,c_2,2,c_3,2), ..., (c_1,N,c_2,N,c_3,N) and challenges d₂, ..., dN are exchanged between the prover and the verifier. After the challenge d_N is sent from the verifier to the prover, the responses σ₁, ..., σ_N of N times are sent from the prover to the verifier.

The serial parallel algorithm based on the present technique guarantees the security against the active attack. Further, the number of interactivities is merely 2N+1.

The hybrid type algorithm based on the present technique has been described above.

The first embodiment of the present technology has been described above.

<3: Second Embodiment>

Next, a second embodiment of the present technology will be described. The 3-pass public-key authentication scheme has been described until now. In the present embodiment, a 5-pass public-key authentication scheme (hereinafter referred to as a "present technique") will be described. The present technique is a scheme of securing soundness of the public-key authentication scheme by setting 2q verification patterns of the verifier.

In the 3-pass public-key authentication scheme according to the first embodiment, the probability of the false verification per one interactive protocol is 2/3, but in the present technique, the probability of the false verification per one interactive protocol is 1/2+1/q as will be described later. Here, q is an order of a ring to be used. Thus, when the order of the ring is sufficiently large, as illustrated in <figref idref="f0038">FIG. 39</figref>, according to the present technique, the probability of the false verification each time can be reduced, and the probability of the false verification can be sufficiently reduced by executing the interactive protocol a small number of times.

The interactive protocol related to the 5-pass public-key authentication scheme may be considered to be lower in efficiency than the interactive protocol related to the 3-pass public-key authentication scheme. However, in the 5-pass public-key authentication scheme, when the order of the ring is sufficiently large, the probability of the false verification per one interactive protocol is close to 1/2, and thus a small number of executions of the interactive protocol is necessary for achieving the same security level.

For example, when the probability of the false verification is desired to be equal to or less than 1/2ⁿ, the interactive protocol has to be executed n/(log3-1) = 1.701n times or more in the 3-pass public-key authentication scheme. On the other hand, the interactive protocol has to be executed n/(1-log(1+1/q)) times or more in the 5-pass public-key authentication scheme. Accordingly, as illustrated in <figref idref="f0038">FIG. 39</figref>, when q = 24, communication traffic necessary to realize the same security level is less in the 5-pass public-key authentication scheme than in the 3-pass public-key authentication scheme.

[3-1: Algorithm of Public-Key Authentication Scheme]

Next, an algorithm structure related to the 5-pass public-key authentication scheme (the present technique) will be described with reference to <figref idref="f0015">FIG. 16. FIG. 16</figref> is an explanatory diagram for describing a structure of the algorithm according to the present technique.

(Key Generation Algorithm Gen)

The key generation algorithm Gen generates m of multivariate polynomials f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n) defined in a ring k and a vector s = (s₁, ..., s_n) that is an element of the set Kⁿ. Next, the key generation algorithm Gen calculates y = (y₁, ..., y_m) &lt;- (f₁(s), ..., f_m(s)). Also, the key generation algorithm Gen sets (f₁ ..., f_m, y) as the public key pk and sets s as the secret key. Hereinafter, a vector(x₁, ..., x_n) is represented by x and a set of multivariate polynomials (f₁(x), ..., f_m(x)) is represented by F(x).

(Prover Algorithm P, Verifier Algorithm V)

Next, processes performed by the prover algorithm P and the verifier algorithm V during the interactive protocol will be described with reference to <figref idref="f0015">FIG. 16</figref>. During the foregoing interactive protocol, a prover does not leak information on the secret key s at all to a verifier and expresses to the verifier that "she herself knows s satisfying y = F(s)." On the other hand, the verifier verifies whether or not the prover knows s satisfying y = F(s). The public key pk is assumed to be made known to the verifier. Also, the secret key s is assumed to be secretly managed by the prover. Hereinafter, the description will be made with reference to the flowchart illustrated in <figref idref="f0015">FIG. 16</figref>.

Operation #1:

First of all, the prover algorithm P arbitrarily selects a number w. Next, the prover algorithm P generates a vector r which is an element of the set Kⁿ and a pair of n-variate polynomials F^A(x) = (f₁^A (x), ..., f_m^A (x)) by applying the number w to a pseudo-random number generator G. That is, the prover algorithm P calculates (r, F^A) &lt;- G(w). Subsequently, the prover algorithm P calculates z &lt;- s - r. This calculation is equivalent to masking the secret key s with the vector r.

Operation #1 (continued):

Next, the prover algorithm P generates a hash value c₁ of F^A(z) and z. In other words, the prover algorithm P calculates c₁ &lt;- H₁(F^A(z),z). Further, the prover algorithm P generates a hash value c₂ of the number w. In other words, the prover algorithm P calculates c₂ &lt;- H₂(w). H₁(...) and H₂(...) are hash functions. The message (c₁,c₂) generated in operation #1 is sent to the verifier. At this time, it should be noted that information related to s, information related to r, and information related to z are not leaked to the verifier at all.

Operation #2:

The verifier algorithm V randomly selects one number α from the origins of q rings K and sends the selected number α to the prover algorithm P.

Operation #3:

Upon receiving the number α, the prover algorithm P calculates F^B(x) &lt;-aF(x + r) + F^A(x). This calculation is equivalent to masking the multivariate polynomial F(x+r₀) for x with the multivariate polynomial F^A (x). The multivariate polynomial F^B generated in operation #3 is sent to the verifier algorithm V. At this time, it should be noted that the information on z is not at all leaked to the verifier in the case where d = 0, and the information on r is not at all leaked to the verifier in the case where d = 1.

Operation #4:

Upon receiving the multivariate polynomial F^B, the verifier algorithm V selects which verification pattern to use from between two verification patterns. For example, the verifier algorithm V may select a numerical value from between two numerical values {0, 1} representing verification patterns, and set the selected numerical value in a challenge d. This challenge d is sent to the prover algorithm P.

Operation #5:

Upon receiving the challenge d, the prover algorithm P generates a response σ to send to the verifier algorithm V in response to the received challenge d. In the case where d = 0, the prover algorithm P generates a response σ = w. In the case where d = 1, the prover algorithm P generates a response <b>σ</b> = z. The response σ generated in operation #5 is sent to the verifier algorithm V.

Operation #6:

Upon receiving the response σ, the verifier algorithm V executes the following verification process using the received response σ.

In the case where d = 0, the verifier algorithm V calculates (r^A,F^C) &lt;- G(σ). Then, the verifier algorithm V verifies whether or not the equality of c₂ = H₂ (σ) holds. In addition, the verifier algorithm V verifies whether or not the equality of F^B(x) = αF (x + r^A) + F^C (x) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 1, the verifier algorithm V sets z^A &lt;- σ. Also, the verifier algorithm V verifies whether or not the equality of c₁ = H₁ (F^C (z^A) - ay, z^A) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The example of the each algorithm structure related to the present technique has been described above.

(Soundness according to the present technique)

The soundness of the present technique is ensured from the fact that F₁^D, F₂^D, F^C, r ^A and z^A satisfying the following formula (15) to formula (17) can be calculated from the content of a response when the prover algorithm P appropriately makes the response to the challenge d = 0 and 1 with respect to (c₁, c₂) and two (α1, α2) selected by the verifier algorithm V

[Math 12] <maths id="math0015" num="(15)"><math display="block"><msubsup><mi>F</mi><mn>1</mn><mi>D</mi></msubsup><mfenced><mi>x</mi></mfenced><mo>=</mo><msub><mi>α</mi><mn>1</mn></msub><mo>⁢</mo><mi>F</mi><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><msup><mi>r</mi><mi>A</mi></msup></mfenced><mo>+</mo><msup><mi>F</mi><mi>C</mi></msup><mfenced><mi>x</mi></mfenced></math><img file="EP2743902A1_D0015.tif" /></maths><maths id="math0016" num="(16)"><math display="block"><msubsup><mi>F</mi><mn>2</mn><mi>D</mi></msubsup><mfenced><mi>x</mi></mfenced><mo>=</mo><msub><mi>α</mi><mn>2</mn></msub><mo>⁢</mo><mi>F</mi><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><msup><mi>r</mi><mi>A</mi></msup></mfenced><mo>+</mo><msup><mi>F</mi><mi>C</mi></msup><mfenced><mi>x</mi></mfenced></math><img file="EP2743902A1_D0016.tif" /></maths><maths id="math0017" num="(17)"><math display="block"><msubsup><mi>F</mi><mn>1</mn><mi>D</mi></msubsup><mfenced><msup><mi>z</mi><mi>A</mi></msup></mfenced><mo>-</mo><msub><mi>α</mi><mn>1</mn></msub><mo>⁢</mo><mi>y</mi><mo>=</mo><msubsup><mi>F</mi><mn>2</mn><mi>D</mi></msubsup><mfenced><msup><mi>z</mi><mi>A</mi></msup></mfenced><mo>-</mo><msub><mi>α</mi><mn>2</mn></msub><mo>⁢</mo><mi>y</mi></math><img file="EP2743902A1_D0017.tif" /></maths>

By ensuring the foregoing soundness of the present technique, the fact that forgery with a probability higher than 1/2 + 1/q is not possible is ensured as long as the problem of solving the multi-order multivariate simultaneous equations is not solved. That is, to appropriately make the response to all of the challenges d = 0 and 1 of the verifier, the falsifier has to calculate F₁^D, F₂^D, F^C, r^A and z^A satisfying the foregoing formula (15) and formula (17). In other words, the falsifier has to calculate s satisfying F(s) = y. Accordingly, the falsifier may not succeed the forgery with a probability higher than 1/2 + 1/q as long as the problem of solving the multi-order multivariate simultaneous equations is not solved. Further, by repeatedly executing the foregoing interactive protocol a sufficiently large number of times, the probability of a successful forgery becomes negligibly small.

(Modified Example)

The key generation algorithm Gen calculates y &lt;- F(s), and sets (F,y) as the public key. However, the key generation algorithm Gen may be configured to set (y₁, ..., y_m) &lt;- F(s), calculate (f₁^*(x), ..., f_m^*(x)) &lt;- (f₁(x)-y₁, ..., f_m(x)-y_m), and set (f₁^*, ..., f_m^*) as the public key. In the case of this modification, the interactive protocol can be performed at y=0 between the prover algorithm P and the verifier algorithm V.

Further, the prover algorithm P may separately calculate a hash value of F^B(z) and a hash value of z and send each hash value to the verifier as a message.

Further, the prover algorithm P applies the number w to the pseudo random number generator G₁ and generates the vector r and the number w^A. Further, the prover algorithm P applies the number w^A to the pseudo random number generator G₂ and generates the multivariate polynomial F^A(x). However, the prover algorithm P may be configured to perform identity mapping on G₁ and calculate w = (r,F^A) from the beginning. In this case, the number w need not be applied to G₁. This is similarly applied to G₂.

The modified example of the present technique has been described above.

[3-2: Extended Algorithm]

Next, an algorithm of a public-key authentication scheme (hereinafter referred to as an "extended technique") extended from the present technique will be described with reference to <figref idref="f0016">FIG. 17. FIG. 17</figref> is an explanatory diagram for describing the flow of the interactive protocol based on the extended technique.

The extended technique described herein is a scheme of converting the multivariate polynomial F^B to be sent at the third pass into a single hash value c₃ and sending the hash value c₃ to the verifier. Through this extension, it is possible to halve communication traffic when the multivariate polynomial F^B having a large expression size is sent to the verifier algorithm V during the interactive protocol, and it is possible to reduce an average size of data to be exchanged. Next, a structure of each algorithm in the extension scheme will be described in detail.

(Key Generation Algorithm Gen)

The key generation algorithm Gen generates multivariate polynomials f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n) defined in a ring k and a vector s = (s₁, ..., s_n) that is an element of the set Kⁿ. Next, the key generation algorithm Gen calculates y = (y₁, ..., y_m) &lt;- f₁(s), ..., f_m(s). Also, the key generation algorithm Gen sets (f₁ ..., f_m, y) as the public key pk and sets s as the secret key. Hereinafter, a vector(x₁, ..., x_n) is represented by x and a set of multivariate polynomials (f₁(x, ..., f_m(x)) is represented by F(x).

(Prover Algorithm P, Verifier Algorithm V)

Next, processes performed by the prover algorithm P and the verifier algorithm V during the interactive protocol will be described with reference to <figref idref="f0016">FIG. 17</figref>. During the foregoing interactive protocol, a prover does not leak information on the secret key s at all to a verifier and expresses to the verifier that "she herself knows s satisfying y = F(s)." On the other hand, the verifier verifies whether or not the prover knows s satisfying y = F(s). The public key pk is assumed to be made known to the verifier. Also, the secret key s is assumed to be secretly managed by the prover. Hereinafter, the description will be made with reference to the flowchart illustrated in <figref idref="f0003">FIG. 4</figref>.

Operation #1:

At first, the prover algorithm P arbitrarily selects a number w. Subsequently, the prover algorithm P generates a vector r which is an element of the set Kⁿ and a multivariate polynomial F^A(x) by applying the number w to a pseudo-random number generator G. That is, the prover algorithm P calculates (r, F^A) &lt;-G(w). Subsequently, the prover algorithm P calculates z &lt;- s - r. This calculation is equivalent to masking the secret key s with the vector r.

Operation #1 (continued):

Subsequently, the prover algorithm P generates F⁴ (z) and a hash value c₁ of z. That is, the prover algorithm P calculates c₁ &lt;- H₁ (F^A (z), z). Also, the prover algorithm P generates a hash value c₂ of the number w. That is, the prover algorithm P calculates c₂ &lt;- H₂ (w). H₁(...) and H₂(...) described above are hash functions. The messages (c₁, c₂) generated in operation #1 are sent to the verifier algorithm V.

Operation #2:

Upon receiving the messages (c₁, c₂), the verifier algorithm V randomly selects one number α from the origins of q rings K and sends the selected number α to the prover algorithm P.

Operation #3:

The prover algorithm P that has received the number α calculates F^B(x) &lt;-αF(x+r)+F^A(x). This calculation corresponds to an operation of masking the multivariate polynomial F(x+r) for x using the multivariate polynomial F^A(x). Further, the prover algorithm P generates a hash value c₃ of the multivariate polynomial set F^B. In other words, the prover algorithm P calculates c₃ &lt;- H₃(F^B(x)). H₃(...) is a hash function. The message c₃ generated in operation #3 is sent to the verifier.

Operation #4:

Upon receiving the multivariate polynomial F₂, the verifier algorithm V selects which verification pattern to use from between two verification patterns. For example, the verifier algorithm V may select a numerical value from between two numerical values {0, 1} representing verification patterns, and set the selected numerical value in a challenge d. This challenge d is sent to the prover algorithm P.

Operation #5:

Upon receiving the challenge d, the prover algorithm P generates a response α to send to the verifier algorithm V in response to the received challenge d. In the case where d = 0, the prover algorithm P generates a response σ = w. In the case where d = 1, the prover algorithm P generates a response σ = (z, F^B). The response σ generated in operation #5 is sent to the verifier algorithm V.

Operation #6:

Upon receiving the response σ, the verifier algorithm V executes the following verification process using the received response σ.

In the case where d = 0, the verifier algorithm V calculates (r^A, F^C) &lt;- G(σ). Then, the verifier algorithm V verifies whether or not the equality of c₂ = H₂ (σ) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (αF (x + r^A) + F^C (x)) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d = 1, the verifier algorithm V calculates (z^A, F^C) &lt;- σ. Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁ (F^C (z^A) - αy, z^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₂ = H₂ (F^C (x)) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The process performed by each algorithm during the interactive protocol of the extension scheme has been described above. Through this extension, it is possible to halve communication traffic when the multivariate polynomial F^B having a large expression size is sent to the verifier algorithm V during the interactive protocol, and it is possible to reduce an average size of data to be exchanged.

[3-3: Parallelized Algorithm]

As described above, applying the interactive protocol related to the present technology and the extended technique makes it possible to keep the probability of a successful forgery to (1/2 + 1/q) or less. Consequently, executing the interactive protocol twice makes it possible to keep the probability of a successful forgery to (1/2 + 1/q)² or less. Furthermore, if the interactive protocol is executed N times, the probability of a successful forgery becomes (1/2 + 1/q)^N, and if N is set to a sufficiently large number (N = 80, for example), the probability of a successful forgery becomes negligibly small.

Conceivable methods of executing an interactive protocol multiple times include a serial method in which the exchange of message, challenge, and response is sequentially repeated multiple times, and a parallel method in which multiple messages, challenges, and responses are exchanged in a single exchange, for example. Here, a method of extending the interactive protocol according to the present technique to an interactive protocol (hereinafter referred to as a "parallelized algorithm") related to the parallel method will be described. For example, the parallelized algorithm is illustrated in <figref idref="f0017">FIG. 18</figref>. Next, the details of the parallelized algorithm will be described with reference to <figref idref="f0017">FIG. 18</figref>.

(Key Generation Algorithm Gen)

The key generation algorithm Gen generates multivariate polynomials f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n) defined in a ring k and a vector s = (s₁, ..., s_n) that is an element of the set Kⁿ. Next, the key generation algorithm Gen calculates y = (y₁, ..., y_m) &lt;- (f₁(s), ..., f_m(s)). Also, the key generation algorithm Gen sets (f₁ ..., f_m, y) as the public key pk and sets s as the secret key. Hereinafter, a vector(x₁, ..., x_n) is represented by x and a set of multivariate polynomials (f₁(x), ..., f_m(x)) is represented by F(x).

(Prover Algorithm P, Verifier Algorithm V)

Next, a process performed by the prover algorithm P and a process performed by the verifier algorithm V during the interactive protocol will be described with reference to <figref idref="f0017">FIG. 18</figref>.

During the foregoing interactive protocol, a prover does not leak information on the secret key s at all to a verifier and expresses to the verifier that "she herself knows s satisfying y = F(s)." On the other hand, the verifier verifies whether or not the prover knows s satisfying y = F(s). The public key pk is assumed to be made known to the verifier. Also, the secret key s is assumed to be secretly managed by the prover. Hereinafter, the description will be made with reference to the flowchart illustrated in <figref idref="f0017">FIG. 18</figref>.

Operation #1:

First of all, the prover algorithm P performs the following processes (1) to (5) for i = 1 to N. <ul id="ul0007" list-style="none" compact="compact"><li>Process (1): The prover algorithm P arbitrarily selects a number w_i.</li><li>Process (2): The prover algorithm P applies the number w_i to the pseudo random number generator G and generates a vector r_i that is an element of the set Kⁿ and a polynomial set F_i^A(x). In other words, the prover algorithm P calculates (r_i,F_i^A) &lt;- G(w_i).</li><li>Process (3): The prover algorithm P calculates z_i &lt;- s-r_i. This calculation corresponds to an operation of masking the secret key s using the vector r_i.</li><li>Process (4): The prover algorithm P calculates a hash value c_1,i of F_iA(z_¡) and z_i. In other words, the prover algorithm P calculates c_1,i &lt;- H₁(F_i^A(z_i),z_i).</li><li>Process (5): The prover algorithm P generates a hash value c_2,i of a number w_i^A. In other words, the prover algorithm P calculates c_2,i &lt;- H₂(w_i^A).</li></ul>

After processes (1) to (5) are performed for i = 1 to N, the message (c_1,i,c_2,i) (i = 1 to N) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

The verifier algorithm V that has received the message (c_1,i,c_2,i) (i = 1 to N) randomly selects N numbers α₁, ..., α_N from the origins of q rings K. Then, the verifier algorithm V sends the selected numbers α₁, ..., α_N to the prover algorithm P.

Operation #3:

The prover algorithm P that has received the numbers α₁, ..., α_N calculates F_i^B(x) &lt;- α_iF(x+r_i)+F_i^A(x) for i = 1 to N. This calculation corresponds to an operation of masking the multivariate polynomial F(x+r_i) for x using the multivariate polynomial F_i^A(x). Then, the prover algorithm P sends the multivariate polynomial F₁^B, ..., F_N^B to the verifier algorithm V.

Operation #4:

Upon receiving the multivariate polynomial F₁^B, ..., F_N^B, the verifier algorithm V selects which verification pattern to use from between two verification patterns for i = 1 to N. For example, the verifier algorithm V may select a numerical value from between two numerical values {0, 1} representing verification patterns for i = 1 to N, and set the selected numerical value in a challenge d_i. The challenges d_i is sent to the prover algorithm P.

Operation #5:

The prover algorithm P that has received the challenge d_i (i = 1 to N) generates a response σ_i to be sent to the verifier algorithm V in response to the challenge d_i. Here, the prover algorithm P performs the following processes (1) and (2) for i = 1 to N. <ul id="ul0008" list-style="none" compact="compact"><li>Process (1): When d_i = 0, the prover algorithm P generates the response σ_i=w_i.</li><li>Process (2): When d_i = 1, the prover algorithm P generates the response σ_i=z_i.</li></ul>

After processes (1) and (2) are performed, the response σ_i (i = 1 to N) is sent to the verifier algorithm V.

Operation #6:

Upon receiving the response σ_i (i = 1 to N), the verifier algorithm V executes the verification process using the received response σ_i. Note that the following processes are executed for i = 1 to N

In the case where d_i = 0, the verifier algorithm V calculates (r_i^A, F_i^C) &lt;-G(σ_i). Then, the verifier algorithm V verifies whether or not the equality of c_{2, i} = H₂ (σ_i) holds. In addition, the verifier algorithm V verifies whether or not the equality of F_i^B (x) = α_iF(x + r_i^A) + F_i^C (x) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d_i = 1, the verifier algorithm V calculates z_i^A &lt;- σ_i. Also, the verifier algorithm V verifies whether or not the equality of c_{1, i} = H₁ (F_i^C (z_i^A) - α_iy, z₁) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The method of performing the interactive protocol of the present technique in parallel has been described above. As described above, as the interactive protocol of the present technique is repetitively performed, the probability of a successful forgery becomes negligibly small. Further, it is possible to similarly parallelize the extension scheme.

(Modified Example)

Further, the structure of the interactive protocol may be modified such that the hash value H (c_1,1,c_1,2, ..., c_N,1,_cN,2) may be sent instead of sending (c_1,1,c_1,2, ..., c_N,1,c_N,2) to the verifier algorithm V after operation #1. In the case of this modification, a single hash value is sent at the first pass as a message, and thus it is possible to significantly reduce communication traffic. However, since there is a message that is hardly restored by the verifier algorithm V even using information sent from the prover algorithm P, it is necessary to send the corresponding message together when the response is sent. Through this structure, in the case of the n-time parallel repetition structure, it is possible to reduce the number of pieces of information to be sent by N-1.

(Parallelized Algorithm Related to Extension Scheme)

Here, a structure of the parallelized algorithm related to the extension scheme will be described with reference to <figref idref="f0018">FIG. 19</figref>. The structure of the key generation algorithm Gen is the same as in the parallelized algorithm related to the present technique, and thus a detailed description thereof will be omitted.

Operation #1:

First of all, the prover algorithm P performs the following processes (1) to (5) for i = 1 to N. <ul id="ul0009" list-style="none" compact="compact"><li>Process (1): The prover algorithm P arbitrarily selects a number w_i.</li><li>Process (2): The prover algorithm P applies the number w_i to the pseudo random number generator G and generates a vector r_i that is an element of the set Kⁿ and a multivariate polynomial set F_i^A(x). In other words, the prover algorithm P calculates (r_i,F_¡^A) &lt;- G(w_i).</li><li>Process (3): The prover algorithm P calculates z_i &lt;- s-r_i. This calculation corresponds to an operation of masking the secret key s using the vector r_i.</li><li>Process (4): The prover algorithm P generates a hash value c_1,i of Fi^A(z_i) and z_i. In other words, the prover algorithm P calculates c_1,I &lt;- H₁(F_i^A(z_i),z_i).</li><li>Process (5): The prover algorithm P generates a hash value c_2,i of the number w_i. In other words, the prover algorithm P calculates c_2,I &lt;- H₂(w_i).</li></ul>

After processes (1) to (5) are performed for i = 1 to N, the message (c_1,i,c_2,i) (i = 1 to N) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

The verifier algorithm V that has received the message (c_1,i,c_2,i) (i = 1 to N) randomly selects n numbers α₁, ..., α_N from the origins of q rings K. Then, the verifier algorithm V sends the selected numbers α₁, ..., α_N to the prover.

Operation #3:

The prover algorithm P that has received the numbers α₁, ..., α_N calculates F_i^B(x) &lt;- α_iF(x+r_i)+F_i^A(x) for i = 1 to N. This calculation corresponds to an operation of masking the multivariate polynomial F(x+r_i) for x using the multivariate polynomial F_i^A(x). Next, the prover algorithm P generates a hash value c₃ of the multivariate polynomials F₁^B, ..., F_N^B. In other words, the prover algorithm P calculates c₃ &lt;- H₃(F₁^B, ..., F_N^B). H₃(...) is a hash function. The message c₃ generated in operation #3 is sent to the verifier algorithm V.

Operation #4:

Upon receiving the message c₃, the verifier algorithm V selects which verification pattern to use from among two verification patterns, for each of i = 1 to N. For example, the verifier algorithm V may, for each of i = 1 to N, select a numerical value from among two numerical values {0, 1} representing verification patterns, and set the selected numerical value in a challenge d_i. The challenges d_i are sent to the prover algorithm P.

Operation #5:

The prover algorithm P that has received the challenge d_i (i = 1 to N) generates a response σ_i to be sent to the verifier algorithm V in response to the challenge d_i. Here, the prover algorithm P performs the following processes (1) and (2) for i = 1 to N. <ul id="ul0010" list-style="none" compact="compact"><li>Process 1: When d_i = 0, the prover algorithm P generates the response σ_i = w_i.</li><li>Process 2: When d_i = 1, the prover algorithm P generates the response σ_i=(z_i,F_i^B).</li></ul>

After processes (1) and (2) are performed, the response σ_i (i = 1 to N) is sent to the verifier algorithm V.

Operation #6:

Upon receiving the response σ_i (i = 1 to N), the verifier algorithm V executes the verification process using the received response σ. Note that the following processes are executed for i = 1 to N

In the case where d_i = 0, the verifier algorithm V calculates (r_i^A, F_i^C) &lt;- G(σ_i). Also, the verifier algorithm V calculates F_i^D &lt;- α_iF(x + r_i^A) + F_i^C(x). Then, the verifier algorithm V verifies whether or not the equality of c_{2, i} = H₂(σ_i) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (F₁^D, ..., F_N^D) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where d_i = 1, the verifier algorithm V sets (z_i^A, F_i^D) &lt;- σ_i. Then, the verifier algorithm V verifies whether or not the equality of c_1,i = H₁ (F_iD (z_i^A) - α_iy, z_i^A) holds. In addition, the verifier algorithm V verifies whether or not the equality of c₃ = H₃ (F₁^D, ..., F_N^D) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The structure of the parallelized algorithm related to the extension scheme has been described above.

(Suitable Parameter Setting Method)

Similarly to the interactive protocol according to the first embodiment, the interactive protocol according to the present embodiment guarantees the security level against the passive attack. However, when the method of repetitively performing the interactive protocol in parallel is applied, a condition which will be described below is necessary to prove that the security level against the active attack is guaranteed.

The interactive protocol is one in which the prover proves that "the prover is aware of s causing y = F(s)" to the verifier through an interactivity using a set of a key pair (a public key y and a secret key s ) without leaking information of the secret key s to the verifier at all. For this reason, when interactivity accepted by verification is performed, it is difficult to deny a probability that information representing that "the prover has used s at the time of interactivity" is known by the verifier. In addition, collision resistance is not guaranteed in the multivariate polynomial F. For this reason, when the above-described interactive protocol is repetitively performed in parallel, it is difficult to unconditionally prove that the security against an active attack is reliably guaranteed.

In this regard, the inventors of the present technology have reviewed a method of preventing information representing that "the prover has used s at the time of interactivity" from being known by the verifier even when interactivity accepted by verification is performed. Further, the inventors of the present technology have devised a method of proving that the security against an active attack is guaranteed even when the above-described interactive protocol is repetitively performed in parallel. This method is a setting condition providing method of setting the number m of multivariate polynomials f₁, ..., f_m used as the public key to a value sufficiently smaller than the number n of variables. For example, m and n are set such that 2^m-n « 1 (for example, when n = 160 and m = 80, 2^-80&lt;&lt; 1).

In the above-described scheme in which difficulty in solving multi-order multivariate simultaneous equations is a basis of security, it is difficult to generate another secret key s₂ corresponding to a public key pk even when a secret key s₁ and the corresponding public key pk are given. For this reason, when it is guaranteed that there are two or more secret keys s for the public key pk, it is possible to prevent information representing that "the prover has used s at the time of interactivity" from being known by the verifier even when interactivity accepted by verification is performed. In other words, when such guarantee can be given, the security against the active attack can be guaranteed even when the interactive protocol is repetitively performed in parallel.

When a function F: Kⁿ -&gt; K^m configured with m multi-order polynomials with n variables (where n &gt; m) is considered with reference to <figref idref="f0039">FIG. 40</figref>, the number of elements in a domain of definition having no second pre-image is |K|^m-1 at the most. For this reason, when |K|^m-n is set to be sufficiently small, a probability that an element in a domain of definition having no second pre-image is selected can be made negligibly small. In other words, when the number m of multi-order polynomials f₁, ..., f_m with n variables is set to a value sufficiently smaller than the number n of variables, it can be guaranteed that there are two or more secret keys s for the public key pk. Consequently, even when interactivity accepted by verification is performed, it is possible to prevent the information representing that "the prover has used s at the time of interactivity" from being known by a verifier, and the security against the active attack is guaranteed even when the interactive protocol is repetitively performed in parallel.

As described above, as the setting condition for setting the number m of multi-order polynomials f₁, ..., f_m with n variables to a value sufficiently smaller than the number n of variables (where n &gt; m and preferably 2^m-n &lt;&lt; 1), the security can be guaranteed when the interactive protocol is repetitively performed in parallel.

[3-4: Specific Example (when Second-Order Polynomial Is Used)]

Next, an example in which a second-order polynomial with n variables is used as the multivariate polynomial F will be described with reference to <figref idref="f0019">FIG. 20. FIG. 20</figref> is an explanatory diagram for describing a specific example of the present technique.

(Key Generation Algorithm Gen)

The key generation algorithm Gen generates m of second-order polynomials f₁(x₁, ..., x_n), ..., f_m(x₁, ..., x_n) defined in a ring k and a vector s = (s₁, ..., s_n) that is an element of the set Kⁿ. Next, the key generation algorithm Gen calculates y = (y₁, ..., y_m) &lt;- (f₁(s), ..., f_m(s)). Also, the key generation algorithm Gen sets (f₁ ..., f_m, y) as the public key pk and sets s as the secret key. Hereinafter, a vector(x₁, ..., x_n) is represented by x and a set of second-order polynomials (f₁(x), ..., f_m(x)) is represented by F(x).

(Prover Algorithm P, Verifier Algorithm V)

Next, a process performed by the prover algorithm P and a process performed by the verifier algorithm V during the interactive protocol will be described with reference to <figref idref="f0019">FIG. 20</figref>.

Operation #1:

First of all, the prover algorithm P arbitrarily selects a number w. Next, the prover algorithm P applies the number w to the pseudo random number generator G, and generates a vector r that is an element of the set Kⁿ and a multivariate polynomial set F^A(x)= (f₁^A(x), ..., f_m^A(x)). In other words, the prover algorithm P calculates (r,F^A) &lt;- G(w). Next, the prover algorithm P calculates z &lt;- s-r. This calculation corresponds to an operation of masking the secret key s using the vector r. Here, the second-order polynomial f_i^A(x) is expressed as in the following Formula (18).

[Math 13] <maths id="math0018" num="(18)"><math display="block"><msubsup><mi>f</mi><mi>i</mi><mi>A</mi></msubsup><mfenced><mi>x</mi></mfenced><mo>=</mo><mstyle displaystyle="false"><mstyle displaystyle="true"><munder><mo>∑</mo><mi>j</mi></munder></mstyle><msubsup><mi>b</mi><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow><mi>A</mi></msubsup></mstyle><msub><mi>x</mi><mi>j</mi></msub></math><img file="EP2743902A1_D0018.tif" /></maths>

Operation #1 (continued):

Next, the prover algorithm P generates a hash value c₁ of F^A(z) and z. In other words, the prover algorithm P calculates c₁ &lt;- H₁(F^A(z),z). Further, the prover algorithm P generates a hash value c₂ of the number w. In other words, the prover algorithm P calculates c₂ &lt;- H₂(w). H₁(...) and H₂(...) are hash functions. The message (c₁,c₂) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

The verifier algorithm V that has received the message (c₁,c₂) randomly selects a number α from q rings K, and sends the selected number α to the prover algorithm P.

Operation #3:

The prover algorithm P that has received the number α calculates F^B(x) &lt;-αF(x+r)+F^A(x). This calculation corresponds to an operation of masking the multivariate polynomial F(x+r) for x using the multivariate polynomial F^A(x). The multivariate polynomial F^B generated in operation #3 is sent to the verifier algorithm V.

Operation #4:

The verifier algorithm V that has received the multivariate polynomial F^B selects a verification pattern to be used from two verification patterns. For example, the verifier algorithm V selects a numerical value from two numerical values {0,1} representing the types of the verification patterns, and selects the selected numerical value to the challenge d. The challenge d is sent to the prover algorithm P.

Operation #5:

The prover algorithm P that has received the challenge d generates a response σ to be sent to the verifier algorithm V in response to the received challenge d. When d = 0, the prover algorithm P generates the response σ = w. When d = 1, the prover algorithm P generates the response σ = z. The response σ generated in operation #5 is sent to the verifier algorithm V.

Operation #6:

The verifier algorithm V that has received the response σ performs the following verification process using the received response σ.

When d = 0, the verifier algorithm V calculates (r^A,F^C) &lt;- G(σ). Then, the verifier algorithm V verifies whether or not the equality of c₂ = H₂(σ) holds. Further, the verifier algorithm V verifies whether or not the equality of F^B(x) = αF(x+r^A)+F^C(x) holds. The verifier algorithm V outputs a value 1 representing authentication success when the verifications succeed, and outputs a value 0 representing an authentication failure when the verifications fail.

When d = 1, the verifier algorithm V performs z^A &lt;- σ. Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁(F^B(z^A)-αy,z^A) holds. The verifier algorithm V outputs a value 1 representing authentication success when the verification succeeds, and outputs a value 0 representing an authentication failure when the verification fails.

The specific example of the present technique has been described above.

[3-5: Efficient Algorithm]

Next, a method of streamlining the algorithm according to the present technique will be described. Similarly to the streamlining method described in the first embodiment, the multivariate polynomial F^A(x) used to mask the multivariate polynomial F(x+r) is expressed by F^A(x)=F_b(x, t)+e using the two vectors, the vector t that is an element of the set Kⁿ and the vector e that is an element of the set K^m. Using this expression, a relation expressed by the following Formula (19) is obtained on the multivariate polynomial F(x+r).

[Math 14] <maths id="math0019" num="(19)"><math display="block"><mtable columnalign="left"><mtr><mtd><mi>α</mi><mo>⁢</mo><mi>F</mi><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>+</mo><mi>r</mi></mfenced><mo>+</mo><msup><mi>F</mi><mi>A</mi></msup><mfenced><mi>x</mi></mfenced></mtd></mtr><mtr><mtd><mo>=</mo><mi>α</mi><mo>⁢</mo><mi>F</mi><mfenced><mi>x</mi></mfenced><mo>+</mo><mi>α</mi><mo>⁢</mo><mi>F</mi><mfenced><mi>r</mi></mfenced><mo>+</mo><mi>α</mi><mo>⁢</mo><msub><mi>F</mi><mi>b</mi></msub><mfenced><mi>x</mi><mi>r</mi></mfenced><mo>+</mo><msub><mi>F</mi><mi>b</mi></msub><mfenced><mi>x</mi><mi>t</mi></mfenced><mo>+</mo><mi>e</mi></mtd></mtr><mtr><mtd><mo>=</mo><mi>α</mi><mo>⁢</mo><mi>F</mi><mfenced><mi>x</mi></mfenced><mo>+</mo><msub><mi>F</mi><mi>b</mi></msub><mo>⁢</mo><mfenced separators=""><mi>x</mi><mo>,</mo><mi>α</mi><mo>⁢</mo><mi>r</mi><mo>+</mo><mi>t</mi></mfenced><mo>+</mo><mi>α</mi><mo>⁢</mo><mi>F</mi><mfenced><mi>r</mi></mfenced><mo>+</mo><mi>e</mi></mtd></mtr></mtable></math><img file="EP2743902A1_D0019.tif" /></maths>

Thus, when t^A = αr+t and e^A = αF(r)+e, the masked multivariate polynomial F^B(x) = αF(x+r)+F^A(x) can be expressed by two vectors, the vector t^A that is an element of the set Kⁿ and the vector e^A that is an element of the set K^m. For this reason, when F^A(x) = F_b(x,t)+e is set, F^A and F^B can be expressed using a vector of Kⁿ and a vector of K^m, and thus the size of data necessary for communication can be significantly reduced. Specifically, communication cost can be reduced by about several thousands to tens of thousands of times.

Through this modification, information related to r₀ is not at all leaked from F₂ (or F₁). For example, even when e^A and t^A (or e and t) are given, the information of r is not known at all unless e and t (or e^A and t^A) are known. Thus, the zero knowledge is guaranteed even when this modification is performed. Next, the efficient algorithm related to the present technique will be described with reference to <figref idref="f0020 f0021 f0022 f0023 f0024 f0025 f0026">FIGS. 21 to 27</figref>. Since the structure of the key generation algorithm Gen does not change, a detailed description thereof will be omitted.

(Structure Example 1 of Efficient Algorithm: FIG. 21)

First of all, a structure of an efficient algorithm illustrated in <figref idref="f0020">FIG. 21</figref> will be described.

Operation #1:

First of all, the prover algorithm P arbitrarily selects a number w. Next, the prover algorithm P applies the number w to the pseudo random number generator G and generates the vectors r and t that are elements of the set of Kⁿ, and the vector e that is an element of the set of K^m. In other words, the prover algorithm P calculates (r,t,e) &lt;- G(w). Next, the prover algorithm P calculates z &lt;- s-r. This calculation corresponds to an operation of masking the secret key s using the vector r.

Operation #1 (continued):

Next, the prover algorithm P generates a hash value c₁ of F_b(z,t)+e and z. In other words, the prover algorithm P calculates c₁ &lt;- H₁(F_b(z,t)+e,z). Further, the prover algorithm P generates a hash value c₂ of the number w. In other words, the prover algorithm P calculates c₂ &lt;- H₂(w). H₁(...) and H₂(...) are hash functions. The message (c₁,c₂) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

The verifier algorithm V that has received the message (c₁,c₂) randomly selects a number α from q rings K, and sends the selected number α to the prover algorithm P.

Operation #3:

The prover algorithm P that has received the number α calculates t^A &lt;- ar+t. Further, the prover algorithm P calculates e^A &lt;- aF(r)+e. Then, the prover algorithm P sends t^A and e^A to the verifier algorithm V.

Operation #4:

The verifier algorithm V that has received t^A and e^A selects a verification pattern to be used from two verification patterns. For example, the verifier algorithm V selects a numerical value from two numerical values {0,1} representing the types of the verification patterns, and selects the selected numerical value to the challenge d. The challenge d is sent to the prover algorithm P.

Operation #5:

The prover algorithm P that has received the challenge d generates a response σ to be sent to the verifier algorithm V in response to the received challenge d. When d = 0, the prover algorithm P generates the response σ = w. When d = 1, the prover algorithm P generates the response σ = z. The response σ generated in operation #5 is sent to the verifier algorithm V.

Operation #6:

The verifier algorithm V that has received the response σ performs the following verification process using the received response σ.

When d = 0, the verifier algorithm V calculates (r^A,t^B,e^B) &lt;- G(σ). Then, the verifier algorithm V verifies whether or not the equality of c₂ = H₂(σ) holds. Further, the verifier algorithm V verifies whether or not the equality of t^A = αr^A+t^B holds. Further, the verifier algorithm V verifies whether or not the equality of e^A = αF(r^A)+e^B holds. The verifier algorithm V outputs a value 1 representing authentication success when the verifications succeed, and outputs a value 0 representing an authentication failure when the verifications fail.

When d = 1, the verifier algorithm V performs z^A &lt;- σ. Then, the verifier algorithm V verifies whether or not the equality of c₁ = H₁(α(F(z^A)-y)+F_b(z^A,t^A)+e^A,z^A) holds. The verifier algorithm V outputs a value 1 representing authentication success when the verification succeeds, and outputs a value 0 representing an authentication failure when the verification fails.

The structure example 1 of the efficient algorithm has been described above. Using this efficient algorithm, the data size necessary for communication is significantly reduced. Further, since it is unnecessary to calculate F(x+r), calculation efficiency is improved as well.

(Structure Example 2 of Efficient Algorithm: FIG. 22)

Next, a structure of an efficient algorithm illustrated in <figref idref="f0021">FIG. 22</figref> will be described. When the structure illustrated in <figref idref="f0021">FIG. 22</figref> is applied, similarly to when the structure illustrated in <figref idref="f0019">FIG. 20</figref> is applied, the effect that the communication efficiency and the calculation efficiency are improved is obtained. Here, a difference with the structure illustrated in <figref idref="f0019">FIG. 20</figref> will be described.

In operation #5 of the algorithm illustrated in <figref idref="f0019">FIG. 20</figref>, when d = 0, σ is set to w, but information that can be restored by (r,t,e) may be used as σ set when d = 0. For example, as illustrated in <figref idref="f0021">FIG. 22</figref>, in operation #5, r may be used as σ set when d = 0. Here, when this modification is performed, it is necessary to modify the calculation c₂ &lt;- H₂(w) in operation #1 to c₂ &lt;- H₂(r,t,e). Specifically, in operation #6, when d = 0, the verification content performed by the verifier algorithm V is replaced with verification of c₂ = H₂(r,t^A-αr,e^A-αF(r)).

The structure example 2 of the efficient algorithm has been described above.

(Structure Example 3 of Efficient Algorithm: FIG. 23)

Next, a structure of an efficient algorithm illustrated in <figref idref="f0022">FIG. 23</figref> will be described. When the structure illustrated in <figref idref="f0022">FIG. 23</figref> is applied, similarly to when the structure illustrated in <figref idref="f0019">FIG. 20</figref> is applied, the effect that the communication efficiency and the calculation efficiency are improved is obtained. Here, a difference with the structure illustrated in <figref idref="f0021">FIG. 22</figref> will be described.

In operation #3 of the algorithm illustrated in <figref idref="f0021">FIG. 22</figref>, the calculation of t^A &lt;- ar+t is performed, but this calculation may be modified into a calculation of t^A &lt;-α(r+t) as illustrated in <figref idref="f0022">Fig. 23</figref>. For example, as illustrated in <figref idref="f0021">FIG. 22</figref>, in operation #5, r may be used as σ set when d = 0. When this modification is performed, in operation #6, when d = 0, the verification content performed by the verifier algorithm V is replaced with verification of c₂ = H₂(r,α^-1t^A-r,e^A-αF(r)).

The structure example 3 of the efficient algorithm has been described above.

(Structure Example 4 of Efficient Algorithm: FIG. 24)

Next, a structure of an efficient algorithm illustrated in <figref idref="f0023">FIG. 24</figref> will be described. When the structure illustrated in <figref idref="f0023">FIG. 24</figref> is applied, similarly to when the structure illustrated in <figref idref="f0019">FIG. 20</figref> is applied, the effect that the communication efficiency and the calculation efficiency are improved is obtained. Here, a difference with the structure illustrated in <figref idref="f0021">FIG. 22</figref> will be described.

In operation #3 of the algorithm illustrated in <figref idref="f0021">FIG. 22</figref>, the calculation of e^A &lt;- aF(r)+e is performed, but this calculation may be modified into a calculation of e^A &lt;- a(F(r)+e) as illustrated in <figref idref="f0023">Fig. 24</figref>. When this modification is performed, in operation #6, when d = 0, the verification content performed by the verifier algorithm V is replaced with verification of c₂ = H₂(r,t^A-αr,e^A-α^-1e^A-F(r)).

The structure example 4 of the efficient algorithm has been described above.

(Structure Example 5 of Efficient Algorithm: FIG. 25)

Next, a structure of an efficient algorithm illustrated in <figref idref="f0024">FIG. 25</figref> will be described. When the structure illustrated in <figref idref="f0024">FIG. 25</figref> is applied, similarly to when the structure illustrated in <figref idref="f0019">FIG. 20</figref> is applied, the effect that the communication efficiency and the calculation efficient are improved is obtained. Here, a difference with the structure illustrated in <figref idref="f0021">FIG. 22</figref> will be described.

In operation #5 of the algorithm illustrated in <figref idref="f0021">FIG. 22</figref>, when d = 0, σ is set to r, but information that can be restored by (r,t,e) using (t^A,e^B) may be used as σ set when d = 0. For example, as illustrated in <figref idref="f0024">FIG. 25</figref>, in operation #5, t may be used as σ set when d = 0. Here, when this modification is performed, α is selected from α that is an element of the set _RK\{0} in operation #2 Specifically, in operation #6, when d = 0, the verification content performed by the verifier algorithm V is replaced with verification of c₂ = H₂(α^-1(t^A-t),t,e^A-αF(α^-1(t⁴-t))).

The structure example 5 of the efficient algorithm has been described above.

(Structure Example 6 of Efficient Algorithm: FIG. 26)

Next, a structure of an efficient algorithm illustrated in <figref idref="f0025">FIG. 26</figref> will be described. When the structure illustrated in <figref idref="f0025">FIG. 26</figref> is applied, similarly to when the structure illustrated in <figref idref="f0019">FIG. 20</figref> is applied, the effects that the communication efficiency and the calculation efficient are improved are obtained. Here, a difference with the structure illustrated in <figref idref="f0024">FIG. 25</figref> will be described.

In operation #3 of the algorithm illustrated in <figref idref="f0024">FIG. 25</figref>, the calculation of t^A &lt;- ar+t is performed, but this calculation may be modified into a calculation of t^A &lt;-α(r+t) as illustrated in <figref idref="f0025">Fig. 26</figref>. When this modification is performed, in operation #6, when d = 0, the verification content performed by the verifier algorithm V is replaced with verification of c₂ = H₂(α^-1t^A-t,t,e^A-αF(α^-1t^A-t)).

The structure example 6 of the efficient algorithm has been described above.

(Structure Example 7 of The Efficient Algorithm: FIG. 27)

Next, a structure of an efficient algorithm illustrated in <figref idref="f0026">FIG. 27</figref> will be described. When the structure illustrated in <figref idref="f0026">FIG. 27</figref> is applied, similarly to when the structure illustrated in <figref idref="f0019">FIG. 20</figref> is applied, the effect that the communication efficiency and the calculation efficient are improved is obtained. Here, a difference with the structure illustrated in <figref idref="f0024">FIG. 25</figref> will be described.

In operation #3 of the algorithm illustrated in <figref idref="f0024">FIG. 25</figref>, the calculation of e^A &lt;- aF(r)+e is performed, but this calculation may be modified into a calculation of e^A &lt;- a(F(r)+e) as illustrated in <figref idref="f0026">Fig. 27</figref>. When this modification is performed, in operation #6, when d = 0, the verification content performed by the verifier algorithm V is replaced with verification of c₂ = H₂(α^-1(t^A-t),t,α^-1e^A-αF(α^-1(t^A-t))).

The structure example 7 of the efficient algorithm has been described above.

(Parallelization of Efficient Algorithm: FIG. 29)

Next, a method of parallelizing the efficient algorithm will be described with reference to <figref idref="f0028">FIG. 29</figref>. A structure (hereinafter referred to as a "parallelized algorithm") illustrated in <figref idref="f0028">FIG. 29</figref> is one in which the efficient algorithm illustrated in <figref idref="f0027">FIG. 28</figref> is parallelized. The efficient algorithm illustrated in <figref idref="f0027">FIG. 28</figref> has substantially the same structure as the efficient algorithm illustrated in <figref idref="f0021">FIG. 22</figref>. The description will proceed with a flowchart illustrated in <figref idref="f0028">FIG. 29</figref>.

Operation #1:

The prover algorithm P performs the following processes (1) to (4) for i = 1 to N. <ul id="ul0011" list-style="none" compact="compact"><li>Process (1): The prover algorithm P arbitrarily selects the vectors r_i and t_i that are elements of the set Kⁿ, and e_i that is an element of the set K^m.</li><li>Process (2): The prover algorithm P calculates r_i^A &lt;- s-r_i. This calculation corresponds to an operation of masking the secret key s using the vector r_i.</li><li>Process (3): The prover algorithm P calculates c_1,i &lt;- H₁(r_i,t_i,e_i).</li><li>Process (4): The prover algorithm P calculates c_2,i &lt;- H₂(ri^A,F_b(r_i^A,t_i)+e_i).</li></ul>

The message (c_1,1,c_2,1, ..., c_1,N,c_2,N) generated in operation #1 is sent to the verifier algorithm V.

Operation #2:

Upon receiving the messages (c₁, ₁, c2, _1, ..., c₁, _N, c2, _N), the verifier algorithm V randomly selects one number α_i from the origins of q rings K, for each of i = 1 to N, and sends the selected number α_i to the prover algorithm P.

Operation #3:

Upon receiving the number α_i (i = 1 to N), the prover algorithm P calculates t_i^A &lt;- α_i r_i - t_¡ for i = 1 to N. Additionally, the prover algorithm P calculates e_i^A &lt;- a; F(r_i) - e_i for i = 1 to N. Then, the prover algorithm P sends t₁^A, ..., t_N^A and e₁^A, ..., e_N^A to the verifier algorithm V.

Operation #4:

Upon receiving t₁^A ..., t_N^A and e₁^A, ..., e_N^A, the verifier algorithm V selects which verification pattern to use from between two verification patterns for i = 1 to N. For example, the verifier algorithm V may select a numerical value from between two numerical values {0, 1} representing verification patterns, and set the selected numerical value in a challenge d_i. This challenge d_i (i = 1 to N) is sent to the prover algorithm P.

Operation #5:

Upon receiving the challenge d_i (where i = 1 to N), the prover algorithm P generates a response d_i to send to the verifier algorithm V in response to the received challenge d_i for i = 1 to N. In the case where d_i = 0, the prover algorithm P generates a response σ_i = r_i. In the case where d_i = 1, the prover algorithm P generates a response σ_i = r_i^A. The response σ_i generated in operation #5 is sent to the verifier algorithm V.

Operation #4:

The verifier algorithm V that has received the response σ_i (i = 1 to N) performs the following verification process using the received response σ_i (i = 1 to N). The following process is performed for i = 1 to N.

In the case where di = 0, the verifier algorithm V executes r_i &lt;- σ_i. Then, the verifier algorithm V verifies whether or not the equality of c₁, _i = H₁ (r_i, α_ir_i - t_i^A, α_iF(r₁) - e_i^A) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

In the case where di = 1, the verifier algorithm V executes r_i^A &lt;- σ_i. Then, the verifier algorithm V verifies whether or not the equality of c₂, _i = H₂ (r_i^A, α_{i (y} - F(r_i^A)) - Fb (ti^A, r_i^A) holds. The verifier algorithm V outputs the value 1 to indicate authentication success in the case where these verifications all succeed, and outputs the value 0 to indicate authentication failure in the case where a verification fails.

The parallelization of the efficient algorithm has been described above.

(Streamlining Of Parallelized Algorithm: FIG. 30)

The parallelized algorithm illustrated in <figref idref="f0028">FIG. 29</figref> can be streamlined as illustrated in <figref idref="f0029">FIG. 30</figref>. As illustrated in <figref idref="f0029">FIG. 30</figref>, the parallelized algorithm is configured to convert a message (c_1,1,c_2,1, ..., c_1,N,c_2,N) into a hash value c and send the hash value c from the prover algorithm P to the verifier algorithm V at the first pass in operation #1. Further, the parallelized algorithm is configured to generate a response σ_i = (r_i,c_2,i) when d_i = 0 and generate a response σ_i =(r_i^A,c_1,i) when d_i =1 in operation #5. Further, the parallelized algorithm is configured to perform the following process in operation #6.

Operation #6:

First of all, the verifier algorithm V performs processes (1) and (2) for i = 1 to N. Practically, when d_i = 0, process (1) is performed, and when d_i = 1, process (2) is performed. <ul id="ul0012" list-style="none" compact="compact"><li>Process (1): When d_i = 0, the verifier algorithm V performs (r_i,c_2,i) &lt;- σ_i. Further, the verifier algorithm V calculates c_1,i = H₁(r_i,α_ir_i-t_i^A,α_iF(r_i)-e_i^A). Then, the verifier algorithm V holds (c_1,i,c_2,i).</li><li>Process (2): When d_i = 1, the verifier algorithm V performs (r_i^A,c_1,i) &lt;- σ_i. Further, the verifier algorithm V calculates c_2,i = H₂(r_i^A,α_i(y-F(r_i^A))-F_b(t_i^A,r_i^A)-e_i^A). Then, the verifier algorithm V holds (c_1,i,c_2,i).</li></ul>

After processes (1) and (2) are performed for i = 1 to N, the verifier algorithm V verifies whether or not the equality of c = H(c_1,1,c_2,1, ..., c_1,N,c_2,N) holds. The verifier algorithm V outputs a value 1 representing authentication success when the verification succeeds, and outputs a value 0 representing an authentication failure when the verification fails.

The streamlining of the parallelized algorithm has been described above.

(Further Streamlining Of Parallelized Algorithm: FIG. 31)

The parallelized algorithm illustrated in <figref idref="f0029">FIG. 30</figref> can be further streamlined as illustrated in <figref idref="f0030">FIG. 31</figref>. As illustrated in <figref idref="f0030">FIG. 31</figref>, the parallelized algorithm is configured to convert (t₁^A,e₁^A, ..., t_N^A,e_N^A) into a hash value v and send the hash value v from the prover algorithm P to the verifier algorithm V at the third pass in operation #3. Further, the parallelized algorithm is configured to generate a response σ_i = (r_i,t_i,e_i,c₂,_i) when d_i = 0 and generate a response σ_i = (r_i^A ,t_i^A,e_i^A,c_1,i) when d_i =1 in operation #5. Further, the parallelized algorithm is configured to perform the following process in operation #6.

Operation #6:

First of all, the verifier algorithm V performs processes (1) and (2) for i = 1 to N. Practically, when d_i = 0, process (1) is performed, and when d_i = 1, process (2) is performed. <ul id="ul0013" list-style="none" compact="compact"><li>Process (1): When d_i = 0, the verifier algorithm V performs (r_i,t_i,e_i,C_2,i) &lt;- σ_i. Then, the verifier algorithm V calculates c_1,i=H₁(r_i,t_i,e_i). Further, the verifier algorithm V calculates t_i^A &lt;- α_ir_i-t_i and e_i^A &lt;- α_iF(r_i)-e_i. Then, the verifier algorithm V holds (c_1,i,c_2,i) and (t_i^A,e_i^A).</li><li>Process (2): When d_i = 1, the verifier algorithm V performs (r_i^A,t_i^A,e_i^A,c_1,i) &lt;- σ_i. Then, the verifier algorithm V calculates c_2,1 = H₂(r_i^A,α_i (y-F(ri^A))-F_b(r_i^A,t_i^A)-e_i^A). Then, the verifier algorithm V holds (c_1,i,c_2,i) and (t_i^A,e_i^A),</li></ul>

After processes (1) and (2) are performed for i = 1 to N, the verifier algorithm V verifies whether or not the equality of c = H(c_1,1,c_2,1, ..., c_1,N,c_2,N) holds. Further, the verifier algorithm V verifies whether or not the equality of v = H(t₁^A,e₁^A, ..., t_N^A,e_N^A) holds. The verifier algorithm V outputs a value 1 representing authentication success when the verifications succeed, and outputs a value 0 representing an authentication failure when the verifications fail.

The structure of further streamlining the parallelized algorithm has been described above. As described above, as a plurality of pieces of information exchanged between the prover algorithm P and the verifier algorithm V are converted into a hash value, it is possible to reduce the size of communication data of the third pass. Further, as the structure of the algorithm is modified to generate r_i, t_i, and e_i from a single random number seed in the algorithm, an expectation value of a communication data size can be reduced. Further, when a limitation is set so that the number of 0s selected as the challenge d_i is equal to the number of selected 1s, a communication data size is reliably reduced.

For example, when (q,n,m,N) is set to (2⁴45,30,88), in the algorithm illustrated in <figref idref="f0029">FIG. 30</figref>, the public key occupies 120 bits, the secret key occupies 180 bits, and a communication data size occupies 42840 bits. Meanwhile, in the algorithm illustrated in <figref idref="f0030">FIG. 31</figref>, when (q,n,m,N) is set to (2⁴,45,30,88), the public key occupies 120 bits, the secret key occupies 180 bits, and a communication data size occupies 27512 bits. As the streamlining of the parallelized algorithm is further performed as described above, it is possible to remarkably reduce a communication data size.

[3-6: Serial Parallel Hybrid Algorithm]

In order to make a probability of a successful forgery negligibly small, the interactive protocol needs to be performed multiple times as described above. Further, as the method of performing the interactive protocol multiple times, the serial method and the parallel method have been introduced. Particularly, the parallel method has been described in connection with the specific parallelized algorithm. Here, a hybrid type algorithm in which the serial method is combined with the parallel method will be introduced.

(Hybrid Structure 1)

A hybrid type algorithm (hereinafter referred to as a "parallel serial algorithm") will be described with reference to <figref idref="f0031">FIG. 32. FIG. 32</figref> illustrates a basic structure related to the present technique, a serialized algorithm in which the basic structure is serialized, a parallelized algorithm in which the basic structure is parallelized, and a parallel serial algorithm.

In the basic structure, at the first pass, a message (c₁,c₂,) is sent from the prover to the verifier. At the second pass, a number α is sent from the verifier to the prover. At the third pass, the vectors t^A and e^A are sent from the prover to the verifier. At the fourth pass, the challenge d is sent from the verifier to the prover. At the fifth pass, the response σ is sent from the prover to the verifier.

When the basic structure is parallelized, at the first pass, messages (c_1,1,c_2,1, ..., c_1,N,c_2,N) of N times are sent from the prover to the verifier. At the second pass, numbers (α₁, ..., α_N) of N times are sent from the verifier to the prover. At the third pass, the vectors (t₁^A, ..., t_N^A,e₁^A, ..., e_N^A) of N times are sent from the prover to the verifier. At the fourth pass, challenges (d₁, ..., d_N) of N times are sent from the verifier to the prover. At the fifth pass, responses (σ₁, ..., σ_N) of N times are sent from the prover to the verifier.

The parallelized algorithm related to the present technique guarantees the security against the passive attack. Further, the number of interactivities is merely 5 times. Further, as messages of N times to be sent at the first pass or the vectors of N times to be sent at the third pass are converted into one hash value, the communication efficiency can be improved.

Meanwhile, when the basic structure is serialized, at the first pass, a message (c_1,1,c_2,1) of one time is sent from the prover to the verifier. At the second pass, a number α₁ of one time is sent from the verifier to the prover. At the third pass, a vector (t₁^A,e₁^A) of one time is sent from the prover to the verifier. At the fourth pass, a challenge d₁ of one time is sent from the verifier to the prover. At the fifth pass, a response σ₁ of one time is sent from the prover to the verifier. Similarly, interactivity is repetitively performed until a response σ_N is sent from the prover to the verifier. The serialized algorithm guarantees the security against the active attack. Further, it is possible to prove that a probability of false verification is reliably reduced.

The parallel serial algorithm is an algorithm having both the characteristics of the parallelized algorithm and the characteristics of the serialized algorithm. In the parallel serial algorithm illustrated in <figref idref="f0031">FIG. 32</figref>, at the first pass, messages (c_1,1,c_2,1, ..., c_1,N,c_2,N) of N times are sent from the prover to the verifier. At the second pass, a number α₁ of one time is sent from the verifier to the prover. At the third pass, a vector (t₁^A,e₁^A) of one time is sent from the prover to the verifier. At the fourth pass, a challenge d₁ of one time is sent from the verifier to the prover. At the fifth pass, a response σ₁ of one time is sent from the prover to the verifier. Thereafter, α₂, ..., α_N, t₂^A,e₂^A, ..., t_N^A,e_N^A, d₂, ..., d_N, and σ₂, ..., σ_N are exchanged between the prover and the verifier.

The parallel serial algorithm based on the present technique guarantees the security against the passive attack. Further, the number of interactivities is merely 4N+1 times. Further, when messages of N times sent at the first pass are collected with one hash value, the communication efficiency can be improved.

(Hybrid Structure 2)

Another parallel serial algorithm will be described with reference to <figref idref="f0032">FIG. 33. FIG. 33</figref> illustrates a basic structure related to the present technique, a serialized algorithm in which the basic structure is serialized, a parallelized algorithm in which the basic structure is parallelized, and a parallel serial algorithm. The structures and characteristics of the basic structure, the serialized algorithm, and the parallelized algorithm are the same as described above.

The parallel serial algorithm illustrated in <figref idref="f0032">FIG. 33</figref> is an algorithm having both the characteristics of the parallelized algorithm and the characteristics of the serialized algorithm. In this parallel serial algorithm, at the first pass, messages (c_1,1,c_2,1, ..., c_1,N,c_2,N) of N times are sent from the prover to the verifier. At the second pass, numbers (α₁, ..., α_N) of N times are sent from the verifier to the prover. At the third pass, the vectors (t₁^Ae₁^A, ..., t_N^A,e_N^A) of N times are sent from the prover to the verifier. At the fourth pass, a challenge d₁ of one time is sent from the verifier to the prover. At the fifth pass, a response σ₁ of one time is sent from the prover to the verifier. Thereafter, d₂, ..., dN and σ₂, ..., σ_N are exchanged between the prover and the verifier.

The parallel serial algorithm based on the present technique guarantees the security against the passive attack. Further, the number of interactivities is merely 2N+3 times. Further, as messages of N times to be sent at the first pass are converted into one hash value, the communication efficiency can be improved.

(Hybrid Structure 3)

Another hybrid type algorithm (hereinafter referred to as a "serial parallel algorithm") will be described with reference to <figref idref="f0033">FIG. 34. FIG. 34</figref> illustrates a basic structure related to the present technique, a serialized algorithm in which the basic structure is serialized, a parallelized algorithm in which the basic structure is parallelized, and a serial parallel algorithm. The structures and characteristics of the basic structure, the serialized algorithm, and the parallelized algorithm are the same as described above.

The serial parallel algorithm illustrated in <figref idref="f0033">FIG. 34</figref> is an algorithm having both the characteristics of the parallelized algorithm and the characteristics of the serialized algorithm. In this serial parallel algorithm, at the first pass, a message (c_1,1,c_2,1) of one time is sent from the prover to the verifier. At the second pass, a number α₁ of one time is sent from the verifier to the prover. At the third pass, a vector (t₁^A,e₁^A) of one time is sent from the prover to the verifier. At the fourth pass, a challenge d₁ of is sent from the verifier to the prover. Thereafter, c_1,2,c_2,2, ..., c_1,N,c_2,N, α₂, ..., α_N, t₂^A,e₂⁴, ..., t_N^A,e_N^A, and d₂, ..., d_N are exchanged between the prover and the verifier. Finally, responses (σ₁...,σ_N) of N times are sent from the prover to the verifier.

The serial parallel algorithm based on the present technique guarantees the security against the active attack. Further, the number of interactivities is merely 4N+1 times.

(Hybrid Structure 4)

Another serial parallel algorithm will be described with reference to <figref idref="f0034">FIG. 35. FIG. 35</figref> illustrates a basic structure related to the present technique, a serialized algorithm in which the basic structure is serialized, a parallelized algorithm in which the basic structure is parallelized, and a serial parallel algorithm. The structures and characteristics of the basic structure, the serialized algorithm, and the parallelized algorithm are the same as described above.

The serial parallel algorithm illustrated in <figref idref="f0034">FIG. 35</figref> is an algorithm having both the characteristics of the parallelized algorithm and the characteristics of the serialized algorithm. In this serial parallel algorithm, at the first pass, a message (c_1,1,c_2,1) of one time is sent from the prover to the verifier. At the second pass, a number α₁ of one time is sent from the verifier to the prover. Thereafter, c_1,2,c_2,2, ..., c_1,N,c_2,N and α₂, ..., α_N are exchanged between the prover and the verifier. After α_N is exchanged, the vectors (t₁^A,e₁^A, ..., t_N^A, e_N^A) of N times are sent from the prover to the verifier. Next, challenges (d₁, ..., d₁) of N times are sent from the verifier to the prover. Finally, responses (σ₁...,σ_N) of N times are sent from the prover to the verifier.

The serial parallel algorithm based on the present technique guarantees the security against the passive attack. Further, the number of interactivities is merely 2N+3 times.

The hybrid type algorithms based on the present technique have been described above.

The second embodiment of the present technology has been described above. A form of the multivariate simultaneous equations is the same as in the first embodiment.

<4: Extension of Efficient Algorithm>

Meanwhile, the efficient algorithms according to the first and second embodiments have the structure in which the second-order multivariate polynomial expressed by the following Formula (20) is used as the public key (or the system parameter). However, the efficient algorithms can be extended to have a structure in which a third- or higher-order multivariate polynomial is used as the public key (or the system parameter).

[4-1: High-Order Multivariate Polynomial]

For example, a structure in which a third- or higher-order multivariate polynomial (see the following Formula (21)) defined on a field of an order q = p^k is used as the public key (or the system parameter) will be considered.

[Math 15] <maths id="math0020" num="(20)"><math display="block"><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced><mo>=</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>⁢</mo><msub><mi>x</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>b</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi></mrow></msub><mo>⁢</mo><msub><mi>x</mi><mi>i</mi></msub></math><img file="EP2743902A1_D0020.tif" /></maths><maths id="math0021" num="(21)"><math display="block"><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced><mo>=</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>t</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>⁢</mo><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>⁢</mo><msubsup><mi>x</mi><mi>j</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>b</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>s</mi></mrow></msub><mo>⁢</mo><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup></math><img file="EP2743902A1_D0021.tif" /></maths>

In the efficient algorithms according to the first and second embodiments, the multivariate polynomial f₁ is available as the public key when the following Formula (22) is bilinear for (x₁, ..., x_n) and (y₁, ..., y_n). In the multivariate polynomial expressed by Formula (20), bilinearity can be easily found (underlined parts are linear on each of x_i and y_i as expressed in the following Formula (23). Further, in the multivariate polynomial expressed by Formula (21), bilinearity can be similarly found as expressed in the following Formula (24). The underlined part in the following Formula (24) represents bilinearity in a field GF(p) of the order p. Thus, when the multivariate polynomial expressed by Formula (21) is used as the public key of the efficient algorithm according to the second embodiment, a number α to be sent to the verifier after operation #2 of the algorithm needs to be limited to an element of GF(p).

[Math 16] <maths id="math0022" num="(22)"><math display="block"><msub><mi>f</mi><mi>l</mi></msub><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mn>1</mn></msub><mo>+</mo><msub><mi>y</mi><mn>1</mn></msub><mo>,</mo><mo>⋯</mo><mo>,</mo><msub><mi>x</mi><mi>n</mi></msub><mo>+</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced><mo>-</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced><mo>-</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>y</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced></math><img file="EP2743902A1_D0022.tif" /></maths><maths id="math0023" num="(23)"><math display="block"><mtable columnalign="left"><mtr><mtd><msub><mi>f</mi><mi>l</mi></msub><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mn>1</mn></msub><mo>+</mo><msub><mi>y</mi><mn>1</mn></msub><mo>,</mo><mo>⋯</mo><mo>,</mo><msub><mi>x</mi><mi>n</mi></msub><mo>+</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced></mtd><mtd><mo>=</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mi>i</mi></msub><mo>+</mo><msub><mi>y</mi><mi>i</mi></msub></mfenced><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mi>j</mi></msub><mo>+</mo><msub><mi>y</mi><mi>j</mi></msub></mfenced><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>b</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi></mrow></msub><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mi>i</mi></msub><mo>+</mo><msub><mi>y</mi><mi>i</mi></msub></mfenced></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub><mo>+</mo><msub><mi>x</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>y</mi><mi>j</mi></msub><mo>+</mo><msub><mi>y</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub><mo>+</mo><msub><mi>y</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>y</mi><mi>j</mi></msub></mfenced><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>b</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi></mrow></msub><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mi>i</mi></msub><mo>+</mo><msub><mi>y</mi><mi>i</mi></msub></mfenced></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced><mo>+</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>y</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>⁢</mo><munder><mfenced separators=""><msub><mi>x</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>y</mi><mi>j</mi></msub><mo>+</mo><msub><mi>y</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub></mfenced><mo>̲</mo></munder></mtd></mtr></mtable></math><img file="EP2743902A1_D0023.tif" /></maths><maths id="math0024" num="(24)"><math display="block"><mtable columnalign="left"><mtr><mtd><msub><mi>f</mi><mi>l</mi></msub><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mn>1</mn></msub><mo>+</mo><msub><mi>y</mi><mn>1</mn></msub><mo>,</mo><mo>⋯</mo><mo>,</mo><msub><mi>x</mi><mi>n</mi></msub><mo>+</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced></mtd><mtd><mo>=</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>t</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>⁢</mo><msup><mfenced separators=""><msub><mi>x</mi><mi>i</mi></msub><mo>+</mo><msub><mi>y</mi><mi>i</mi></msub></mfenced><msup><mi>p</mi><mi>s</mi></msup></msup><mo>⁢</mo><msup><mfenced separators=""><msub><mi>x</mi><mi>j</mi></msub><mo>+</mo><msub><mi>y</mi><mi>j</mi></msub></mfenced><msup><mi>p</mi><mi>t</mi></msup></msup><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>b</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>s</mi></mrow></msub><mo>⁢</mo><msup><mfenced separators=""><msub><mi>x</mi><mi>i</mi></msub><mo>+</mo><msub><mi>y</mi><mi>i</mi></msub></mfenced><msup><mi>p</mi><mi>s</mi></msup></msup></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>t</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>⁢</mo><mfenced separators=""><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>+</mo><msubsup><mi>y</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup></mfenced><mo>⁢</mo><mfenced separators=""><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup><mo>+</mo><msubsup><mi>y</mi><mi>i</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup></mfenced><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>b</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>s</mi></mrow></msub><mo>⁢</mo><mfenced separators=""><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>+</mo><msubsup><mi>y</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup></mfenced></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>t</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>⁢</mo><mfenced separators=""><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>⁢</mo><msubsup><mi>x</mi><mi>j</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup><mo>+</mo><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>⁢</mo><msubsup><mi>y</mi><mi>j</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup><mo>+</mo><msubsup><mi>y</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>⁢</mo><msubsup><mi>x</mi><mi>j</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup><mo>+</mo><msubsup><mi>y</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>⁢</mo><msubsup><mi>y</mi><mi>j</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup></mfenced><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>b</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>s</mi></mrow></msub><mo>⁢</mo><mfenced separators=""><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>+</mo><msubsup><mi>y</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup></mfenced></mtd></mtr><mtr><mtd><mspace width="1em" /></mtd><mtd><mo>=</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced><mo>+</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>y</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>s</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>t</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>k</mi><mo>-</mo><mn>1</mn></mrow></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>,</mo><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>⁢</mo><munder><mfenced separators=""><msubsup><mi>x</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>⁢</mo><msubsup><mi>y</mi><mi>j</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup><mo>+</mo><msubsup><mi>y</mi><mi>i</mi><msup><mi>p</mi><mi>s</mi></msup></msubsup><mo>⁢</mo><msubsup><mi>x</mi><mi>j</mi><msup><mi>p</mi><mi>t</mi></msup></msubsup></mfenced><mo>̲</mo></munder></mtd></mtr></mtable></math><img file="EP2743902A1_D0024.tif" /></maths>

For the above reason, it is possible to constitute an algorithm in which a third- or higher-order multivariate polynomial expressed by Formula (21) is used as the public key by extending the efficient algorithms according to the first and second embodiments.

Next, a relation between the multivariate polynomial (hereinafter, referred to as a "second-order polynomial") expressed by Formula (20) and the multivariate polynomial (hereinafter referred to as a "multi-order polynomial") expressed by Formula (20) will be reviewed. Here, an nk-variable second-order polynomial defined on a field of an order q = p and an n-variable multi-order polynomial defined on a field of an order q = p^k are considered. In this case, difficulty in solving a simultaneous equation configured with mk second-order polynomials is equivalent to difficulty in solving a simultaneous equation configured with m multi-order polynomials. For example, a simultaneous equation configured with 80 80-variable second-order polynomials defined on a field of an order 2 is equivalent in solving difficulty to 10 10-variable multi-order polynomials defined on a field of an order 2⁸.

In other words, when an element of GF(p^k) and an element of GF(p)^k are considered to be the same by isomorphic mapping, there is a function expressed by m n-variable multi-order polynomial sets defined on a field of an order q = p^k which is equivalent to a function expressed by mk nk-variable second-order polynomial sets defined on a field of an order q = p. For example, when an element of GF(2⁸) and an element of GF(2)⁸ are considered to be the same by isomorphic mapping, there is a function expressed by 10 10-variable multi-order polynomial sets defined on a field of an order 2⁸ which is equivalent to a function expressed by 80 80-variable second-order polynomial sets defined on a field of an order 2. Thus, it is possible to arbitrarily select whether to use the second-order polynomial or the multi-order polynomial.

Here, let us review calculation efficiency when the second-order polynomial is used as calculation efficiency when the multi-order polynomial is used.

When the nk-variable second-order polynomial defined on a field of an order 2 is used, an operation included in the algorithm is performed on nk 1-bit variables. In other words, an operation unit is 1 bit. Meanwhile, when the n-variable multi-order polynomial defined on a field of an order 2^k, an operation included in the algorithm is performed on n k-bit variables. In other words, an operation unit is k bits. k (k = 2,3,4,...) can be arbitrarily set. Thus, when implemented, by setting k to an appropriate value, it is possible to improve the calculation efficiency. For example, when an algorithm is implemented on a 32-bit architecture, a structure in which an operation is performed in units of 32 bits is higher in calculation efficiency than a structure in which an operation is performed in units of one bit.

As the efficient algorithms according to the first and second embodiments are extended so that the multi-order polynomial can be used as the public key as described above, it is possible to adjust an operation unit according to an architecture on which it is implemented. As a result, the calculation efficiency can be improved.

[4-2: Extension Scheme (Addition of High-Order Term)]

Meanwhile, as a method of using a third- or higher-order multi-order polynomial, a method of adding a third- or higher-order term to a second-order polynomial is considered as well. For example, as expressed in the following Formula (25), a method of adding a fourth-order term to the second-order polynomial expressed by Formula (20) is considered. When the multi-order polynomial f₁ is defined as in the following Formula (25), a term g₁(x,y) defined by the following Formula (26) is expressed as in the following Formula (27). In the following, the term g₁(x,y) is referred to as a "polar form."

[Math 17] <maths id="math0025" num="(25)"><math display="block"><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced><mo>=</mo><msub><mi>x</mi><mn>1</mn></msub><mo>⁢</mo><msub><mi>x</mi><mn>2</mn></msub><mo>⁢</mo><msub><mi>x</mi><mn>3</mn></msub><mo>⁢</mo><msub><mi>x</mi><mn>4</mn></msub><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>⁢</mo><msub><mi>x</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><msub><mi>b</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi></mrow></msub><mo>⁢</mo><msub><mi>x</mi><mi>i</mi></msub></math><img file="EP2743902A1_D0025.tif" /></maths><maths id="math0026" num="(26)"><math display="block"><msub><mi>g</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub><msub><mi>y</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced><mo>=</mo><msub><mi>f</mi><mi>l</mi></msub><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mn>1</mn></msub><mo>+</mo><msub><mi>y</mi><mn>1</mn></msub><mo>,</mo><mo>⋯</mo><mo>,</mo><msub><mi>x</mi><mi>n</mi></msub><mo>+</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced><mo>-</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>y</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced><mo>-</mo><msub><mi>f</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub></mfenced></math><img file="EP2743902A1_D0026.tif" /></maths><maths id="math0027" num="(27)"><math display="block"><mtable><mtr><mtd><msub><mi>g</mi><mi>l</mi></msub><mfenced><msub><mi>x</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>x</mi><mi>n</mi></msub><msub><mi>y</mi><mn>1</mn></msub><mo>⋯</mo><msub><mi>y</mi><mi>n</mi></msub></mfenced><mo>=</mo><mfenced separators=""><msub><mi>x</mi><mn>1</mn></msub><mo>+</mo><msub><mi>y</mi><mn>1</mn></msub></mfenced><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mn>2</mn></msub><mo>+</mo><msub><mi>y</mi><mn>2</mn></msub></mfenced><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mn>3</mn></msub><mo>+</mo><msub><mi>y</mi><mn>3</mn></msub></mfenced><mo>⁢</mo><mfenced separators=""><msub><mi>x</mi><mn>4</mn></msub><mo>+</mo><msub><mi>y</mi><mn>4</mn></msub></mfenced></mtd></mtr><mtr><mtd><mo>-</mo><msub><mi>x</mi><mn>1</mn></msub><mo>⁢</mo><msub><mi>x</mi><mn>2</mn></msub><mo>⁢</mo><msub><mi>x</mi><mn>3</mn></msub><mo>⁢</mo><msub><mi>x</mi><mn>4</mn></msub><mo>-</mo><msub><mi>y</mi><mn>1</mn></msub><mo>⁢</mo><msub><mi>y</mi><mn>2</mn></msub><mo>⁢</mo><msub><mi>y</mi><mn>3</mn></msub><mo>⁢</mo><msub><mi>y</mi><mn>4</mn></msub><mo>+</mo><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mstyle displaystyle="true"><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover></mstyle><mfenced separators=""><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>+</mo><msub><mi>a</mi><mrow><mi>l</mi><mo>,</mo><mi>j</mi><mo>,</mo><mi>i</mi></mrow></msub></mfenced><mo>⁢</mo><msub><mi>x</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>y</mi><mi>j</mi></msub></mtd></mtr></mtable></math><img file="EP2743902A1_D0027.tif" /></maths>

As expressed in Formula (27), the term g₁(x,y) is not bilinear. In this regard, 6 terms x_ix_j having two variables selected from four variables x₁, x₂, x₃, and x₄ and 3 terms x_ix_jx_k having three variables selected from four variables x₁, x₂, x₃, and x₄ are expressed by four variables t¡_j, t_ij^A, t_ijk, and t_ijk^A as in the following Formulas (28) and (29). When this expression is used, the efficient algorithm can be implemented using the third- or higher-order multivariate polynomial. In the example expressed in Formula (25), a fourth-order term is added to the second-order polynomial, a third-order (for example, x₁x₂x₃) or a fifth- or higher-order term (for example, x₁x₂x₃x₄x₅) may be added instead of the fourth-order term. By adding a third- or higher-order term, it is possible to improve robustness of an equation.

[Math 18] <maths id="math0028" num="(28)"><math display="block"><msub><mi>x</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub><mo>=</mo><msub><mi>t</mi><mi mathvariant="italic">ij</mi></msub><mo>+</mo><msubsup><mi>t</mi><mi mathvariant="italic">ij</mi><mi>A</mi></msubsup></math><img file="EP2743902A1_D0028.tif" /></maths><maths id="math0029" num="(29)"><math display="block"><msub><mi>x</mi><mi>i</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>j</mi></msub><mo>⁢</mo><msub><mi>x</mi><mi>k</mi></msub><mo>=</mo><msub><mi>t</mi><mi mathvariant="italic">ijk</mi></msub><mo>+</mo><msubsup><mi>t</mi><mi mathvariant="italic">ijk</mi><mi>A</mi></msubsup></math><img file="EP2743902A1_D0029.tif" /></maths>

<5: Mechanism for Increasing Robustness >

Here, a mechanism for further increasing robustness of the algorithms according to the first and second embodiments will be introduced.

[5-1: Method of Setting System Parameters]

How to set coefficients of the multivariate polynomials and a random number seed (hereinafter, referred to as coefficients and the like of the multivariate polynomials) used to generate the coefficients have not been described above. The coefficients and the like of the multivariate polynomials may be parameters common to a system or may be parameters different for each user.

However, when the coefficients and the like of the multivariate polynomials are set to parameters common to a system, it may be necessary to update the setting of the entire system if weakness for the multivariate polynomials is found. Additionally, average robustness (difficulty of solving) is analyzed for the multivariate polynomials having randomly selected coefficients, but it is difficult to ensure sufficient robustness for the multivariate polynomials having certain specific coefficients.

Accordingly, the inventors of the present technology have devised a structure in which coefficients of multivariate polynomials are generated by using a character string or the like selected by each user in a seed of a pseudo-random number generator and generating the coefficients of the multivariate polynomials. For example, conceivable methods include a method of using an e-mail address of a user in a seed and a method of using a character string in which an e-mail address, an update date, and the like are combined in a seed. When such methods are used, an influence is limited only to a user using the multivariate polynomials having the coefficients even if weakness is found in the multivariate polynomials having the coefficients generated from a given character string. Additionally, since the multivariate polynomials are changed merely by changing a character string, the weakness can easily be resolved.

The method of setting system parameters has been described above. In the foregoing description, a character string has been given as an example, but a different number string or a different sign string may be used for each user.

[5-2: Method of Responding to Irregular Challenge]

Next, a method of responding to an irregular challenge will be described.

(5-2-1: Responding Method by Prover)

As illustrated in <figref idref="f0035">FIG. 36</figref>, the verifier is likely to provide a false challenge during the interactive protocol. In the example of <figref idref="f0035">FIG. 36</figref>, the prover sends a message (c₁,c₂,c₃) to the verifier, the verifier sends a challenge d = 0 to the prover, and then a response σ corresponding to the challenge d =0 is sent from the prover to the verifier. This process is a normal interactivity.

However, in the example of <figref idref="f0035">FIG. 36</figref>, the verifier further requests the prover to send a response σ corresponding to a challenge d = 1. If the prover sends the response σ corresponding to the challenge d = 1 to the verifier in response to the request, the secret key is leaked to the verifier. The leakage of the secret key is likely to occur practically. For example, the verifier may feign that the challenge d = 0 was sent rather than the challenge d = 1 at the second pass and may further challenge the response Rsp responding to the challenge d = 1. On the other hand, the prover may misunderstand that bits of the challenge d sent at the second pass turn into different bits due to a communication error.

In this regard, the inventors of the present technology have devised a method of avoiding the leakage of the secret key. Specifically, the inventors of the present technology have devised a method of deciding whether interactivity is to be terminated or resumed from the first pass using a new random number when the prover requests responses corresponding to two or more challenges d on a single message. When this method is applied, the secret key is not leaked even when the verifier falsely requests responses corresponding to two or more challenges d.

The technique of preventing the secret key from being leaked by the irregular challenge has been described. Here, the 3-pass basic structure has been described as an example, but the same technique can be applied to the serial method, the parallel method, or the hybrid type algorithm, and in this case, the security can be improved. Of course, this technique is similarly applied even to the 5-pass algorithm.

(5-2-2: Responding Method by Verifier)

Further, as illustrated in <figref idref="f0036">FIG. 37</figref>, the prover may falsely request retransmission of the challenge d. In the example of <figref idref="f0036">FIG. 37</figref>, the prover sends a message (c₁,c₂,c₃) to the verifier, the verifier sends a challenge d = 0 to the prover, and then the prover requests retransmission of the challenge d. In response to this request, when the verifier randomly selects the challenge d again, the challenge d = 1 different from the challenge d = 0 which has been sent is likely to be selected. In this case, the challenge d = 1 is sent from the verifier to the prover. In the example of <figref idref="f0036">FIG. 37</figref>, the prover sends the response σ corresponding to the challenge d = 1 to the verifier.

However, there is a possibility of the prover being able to respond to the challenge d = 1 but not to the challenge d = 0. In other words, it is difficult to deny the risk of the prover committing forgery. For example, the prover may request to the verifier to retransmit the challenge d since the challenge d was lost. However, the verifier may think that the previously sent challenge was lost due to a communication error and retransmit the challenge d in response to the prover's request. Then, when the retransmitted challenge d is different from the previously transmitted challenge d, forgery succeeds.

As can be understood from the example of <figref idref="f0036">FIG. 37</figref>, when the challenge d is randomly selected, the prover faces a risk of forgery. In this regard, the inventors of the present technology have devised a method of preventing a risk of forgery. In this method, the interactive protocol is improved such that the verifier terminates interactivity or resends the same challenge d as the previous challenge without generating a new random number when the prover requests transmission of the challenge d again on a single message. When this method is applied, it is possible to prevent a risk of forgery using a retransmission request of the challenge d.

The method of preventing forgery from being successfully by an irregular challenge has been described above. Here, the 3-pass basic structure has been described as an example, but the same technique can be applied even to the serial method, the parallel method, or the hybrid type algorithm, and in this case, the security can be improved. This technique is similarly applied to the 5-pass algorithm.

<6: Hardware Configuration>

Each algorithm described above can be performed by using, for example, the hardware configuration of the information processing apparatus shown in <figref idref="f0037">FIG. 38</figref>. That is, processing of each algorithm can be realized by controlling the hardware shown in <figref idref="f0037">FIG. 38</figref> using a computer program. Additionally, the mode of this hardware is arbitrary, and may be a personal computer, a mobile information terminal such as a mobile phone, a PHS or a PDA, a game machine, a contact or contactless IC chip, a contact or contactless IC card, or various types of information appliances. Moreover, the PHS is an abbreviation for Personal Handy-phone System. Also, the PDA is an abbreviation for Personal Digital Assistant.

As shown in <figref idref="f0037">FIG. 38</figref>, this hardware mainly includes a CPU 902, a ROM 904, a RAM 906, a host bus 908, and a bridge 910. Furthermore, this hardware includes an external bus 912, an interface 914, an input unit 916, an output unit 918, a storage unit 920, a drive 922, a connection port 924, and a communication unit 926. Moreover, the CPU is an abbreviation for Central Processing Unit. Also, the ROM is an abbreviation for Read Only Memory. Furthermore, the RAM is an abbreviation for Random Access Memory.

The CPU 902 functions as an arithmetic processing unit or a control unit, for example, and controls entire operation or a part of the operation of each structural element based on various programs recorded on the ROM 904, the RAM 906, the storage unit 920, or a removable recording medium 928. The ROM 904 is means for storing, for example, a program to be loaded on the CPU 902 or data or the like used in an arithmetic operation. The RAM 906 temporarily or perpetually stores, for example, a program to be loaded on the CPU 902 or various parameters or the like arbitrarily changed in execution of the program.

These structural elements are connected to each other by, for example, the host bus 908 capable of performing high-speed data transmission. For its part, the host bus 908 is connected through the bridge 910 to the external bus 912 whose data transmission speed is relatively low, for example. Furthermore, the input unit 916 is, for example, a mouse, a keyboard, a touch panel, a button, a switch, or a lever. Also, the input unit 916 may be a remote control (hereinafter, remote control) that can transmit a control signal by using an infrared ray or other radio waves.

The output unit 918 is, for example, a display device such as a CRT, an LCD, a PDP or an ELD, an audio output device such as a speaker or headphones, a printer, a mobile phone, or a facsimile, that can visually or auditorily notify a user of acquired information. Moreover, the CRT is an abbreviation for Cathode Ray Tube. The LCD is an abbreviation for Liquid Crystal Display. The PDP is an abbreviation for Plasma Display Panel. Also, the ELD is an abbreviation for ElectroLuminescence Display.

The storage unit 920 is a device for storing various data. The storage unit 920 is, for example, a magnetic storage device such as a hard disk drive (HDD), a semiconductor storage device, an optical storage device, or a magneto-optical storage device. The HDD is an abbreviation for Hard Disk Drive.

The drive 922 is a device that reads information recorded on the removable recording medium 928 such as a magnetic disk, an optical disk, a magneto-optical disk, or a semiconductor memory, or writes information in the removable recording medium 928. The removable recording medium 928 is, for example, a DVD medium, a Blu-ray medium, an HD-DVD medium, various types of semiconductor storage media, or the like. Of course, the removable recording medium 928 may be, for example, an electronic device or an IC card on which a non-contact IC chip is mounted. The IC is an abbreviation for Integrated Circuit.

The connection port 924 is a port such as an USB port, an IEEE1394 port, a SCSI, an RS-232C port, or a port for connecting an externally connected device 930 such as an optical audio terminal. The externally connected device 930 is, for example, a printer, a mobile music player, a digital camera, a digital video camera, or an IC recorder. Moreover, the USB is an abbreviation for Universal Serial Bus. Also, the SCSI is an abbreviation for Small Computer System Interface.

The communication unit 926 is a communication device to be connected to a network 932, and is, for example, a communication card for a wired or wireless LAN, Bluetooth(registered trademark), or WUSB, an optical communication router, an ADSL router, or a device for contact or non-contact communication. The network 932 connected to the communication unit 926 is configured from a wire-connected or wirelessly connected network, and is the Internet, a home-use LAN, infrared communication, visible light communication, broadcasting, or satellite communication, for example. Moreover, the LAN is an abbreviation for Local Area Network. Also, the WUSB is an abbreviation for Wireless USB. Furthermore, the ADSL is an abbreviation for Asymmetric Digital Subscriber Line.

<7: Summary>

Lastly, the technical contents according to the embodiment of the present technology will be briefly described. The technical contents stated here can be applied to various information processing apparatuses, such as a personal computer, a mobile phone, a game machine, an information terminal, an information appliance, a car navigation system, and the like. Further, the function of the information processing apparatus described below can be realized by using a single information processing apparatus or using a plurality of information processing apparatuses. Furthermore, a data storage means and an arithmetic processing means which are used for performing a process by the information processing apparatus described below may be mounted on the information processing apparatus, or may be mounted on a device connected via a network.

The elements of the information processing apparatus are implemented as follows. For example, the information processing apparatus described in the following (1) can show the verifier that it is aware of the secret key s without leaking information of the secret key s to the verifier at all by performing the interactive protocol with the verifier using the multi-order multivariate polynomial set F as the public key. In other words, the information processing apparatus described in the following (1) has an authentication function of the public-key authentication scheme in which safety is based on difficulty in solving the multi-order multivariate simultaneous equation.

Further, the information processing apparatus described in the following (1) uses not information common to the entire system, but information differing according to a user, when a multi-order multivariate polynomial set F is generated. Accordingly, even when the multi-order multivariate polynomial set F is not available, it is possible to make the disadvantageous effects minimum. In other words, the security is improved. The application of the technology according to the following (2) to (29) can realize the equal or higher security to or than the security realized by use of the information processing apparatus described in the following (1).

(1)

An information processing apparatus including: <ul id="ul0014" list-style="none" compact="compact"><li>a message generating unit that generates a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ;</li><li>a message providing unit that provides the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)); and</li><li>a response providing unit that provides the verifier with response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 3) verification patterns,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(2)

The information processing apparatus according to (1), wherein the multi-order multivariate polynomial set F is set in a manner that F_b(x,y) defined as F_b(x,y) = F(x+y)-F(x)-F(y) is bilinear for x and y.

(3)

The information processing apparatus according to (1) or (2), wherein the message generating unit generates messages of N times (where N ≥ 2), wherein the message providing unit provides the verifier with the messages of N times through single interactivity, and wherein the response providing unit provides the verifier with the response information of N times corresponding to verification patterns selected by the verifier on the respective messages of N times through single interactivity.

(4)

The information processing apparatus according to (1) or (2), wherein the message generating unit generates messages of N times (where N ≥ 2) and generates a single hash value based on the messages of N times, wherein the message providing unit provides the verifier with the hash value, and wherein the response providing unit provides the verifier with the response information of N times corresponding to the verification patterns selected by the verifier on the respective messages of N times and a part of messages through single interactivity, the part of messages not being obtained even when an operation prepared for a verification pattern corresponding to the response information in advance is performed using the public keys and the response information.

(5)

An information processing apparatus including: <ul id="ul0015" list-style="none" compact="compact"><li>an information holding unit that holds a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s));</li><li>a message acquiring unit that acquires a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ;</li><li>a pattern information providing unit that provides a prover that has provided the message with information on a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns;</li><li>a response acquiring unit that acquires response information corresponding to the selected verification pattern from the prover; and</li><li>a verifying unit that verifies whether the prover holds the vector s based on the message, the multi-order multivariate polynomial set F, the vector y, and the response information,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(6)

The information processing apparatus according to (5), wherein the multi-order multivariate polynomial set F is set in a manner that F_b(x,y) defined as F_b(x,y) = F(x+y)-F(x)-F(y) is bilinear for x and y.

(7)

The information processing apparatus according to (5) or (6), wherein the message acquiring unit acquires the messages of N times (where N ≥ 2) through single interactivity, wherein the pattern information providing unit selects verification patterns on the respective messages of N times, and provides the prover with information on the selected verification patterns of N times through single interactivity, wherein the response acquiring unit acquires the response information of N times corresponding to the selected verification patterns of N times from the prover through single interactivity, and wherein the verifying unit determines that the prover holds the vector s, when verifications on all the messages of N times succeed.

(8)

The information processing apparatus according to (5) or (6), wherein the message acquiring unit acquires a single hash value generated based on the messages of N times (where N ≥ 2), wherein the response acquiring unit acquires the response information corresponding to the selected verification pattern and a part of messages from the prover, the part of messages not being obtained even when an operation prepared for a verification pattern corresponding to the response information in advance is performed using, the public keys and the response information from the prover, and wherein the verifying unit verifies whether the prover holds the vector s based on the hash value, the part of messages, the public keys, and the response information.

(9)

An information processing apparatus including: <ul id="ul0016" list-style="none" compact="compact"><li>a message generating unit that generates a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ;</li><li>a message providing unit that provides the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)); and</li><li>an interim information generating unit that generates third information using first information randomly selected by the verifier and second information obtained when the message is generated;</li><li>an interim information providing unit that provides the verifier with the third information; and</li><li>a response providing unit that provides the verifier with response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 2) verification patterns,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys, the first information, the third information, and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(10)

The information processing apparatus according to (9), wherein the multi-order multivariate polynomial set F is set in a manner that F_b(x,y) defined as F_b(x,y)=F(x+y)-F(x)-F(y) is bilinear for x and y.

(11)

The information processing apparatus according to (9) or (10), wherein the message generating unit generates messages of N times (where N ≥ 2), wherein the message providing unit provides the verifier with the messages of N times through single interactivity, wherein the interim information generating unit generates the third information of N times using the first information selected by the verifier on the respective messages of N times and the second information of N times obtained when the messages are generated, wherein the interim information providing unit provides the verifier with the third information of N times through single interactivity, and wherein the response providing unit provides the verifier with the response information of N times corresponding to the verification patterns selected by the verifier on the respective messages of N times through single interactivity.

(12)

The information processing apparatus according to (9) or (10), wherein the message generating unit generates messages of N times (where N ≥ 2) and generates a single hash value based on the messages of N times, wherein the message providing unit provides the verifier with the hash value, wherein the interim information generating unit generates the third information of N times using the first information selected by the verifier on the respective messages of N times and the second information of N times obtained when the messages are generated, wherein the interim information providing unit provides the verifier with the third information of N times through single interactivity, and wherein the response providing unit provides the verifier with the response information of N times corresponding to the verification patterns selected by the verifier on the respective messages of N times and a part of messages through single interactivity, the part of messages not being obtained even when an operation prepared for a verification pattern corresponding to the response information in advance is performed using the public keys and the response information.

(13)

An information processing apparatus including: <ul id="ul0017" list-style="none" compact="compact"><li>an information holding unit that holds a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s));</li><li>a message acquiring unit that acquires a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ;</li><li>an information providing unit that provides a prover that has provided the message with randomly selected first information;</li><li>an interim information acquiring unit that acquires third information generated by the prover using the first information and second information obtained when the message is generated;</li><li>a pattern information providing unit that provides the prover with information on a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns;</li><li>a response acquiring unit that acquires response information corresponding to the selected verification pattern from the prover; and</li><li>a verifying unit that verifies whether the prover holds the vector s based on the message, the first information, the third information, the multi-order multivariate polynomial set F, and the response information,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys, the first information, the third information, and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(14)

The information processing apparatus according to (13), wherein the multi-order multivariate polynomial set F is set in a manner that F_b(x,y) defined as F_b(x,y)=F(x+y)-F(x)-F(y) is bilinear for x and y.

(15)

The information processing apparatus according to (13) or (14), wherein the message acquiring unit acquires the messages of N times (where N ≥ 2) through single interactivity wherein the information providing unit randomly selects the first information on the respective messages of N times and provides the prover with the selected first information of N times through single interactivity, wherein the interim information acquiring unit acquires the third information of N times generated by the prover using the first information of N times and the second information of N times obtained when the messages of N times are generated, wherein the pattern information providing unit selects verification patterns on the respective messages of N times, and provides the prover with information on the selected verification patterns of N times through single interactivity, wherein the response acquiring unit acquires the response information of N times corresponding to the selected verification patterns of N times from the prover through single interactivity, and wherein the verifying unit determines that the prover holds the vector s, when verifications on all the messages of N times succeed.

(16)

The information processing apparatus according to (13) or (14), wherein the message acquiring unit acquires a single hash value generated based on the messages of N times (where N ≥ 2), wherein the information providing unit randomly selects the first information on the respective messages of N times and provides the prover with the selected first information of N times through single interactivity, wherein the interim information acquiring unit acquires the third information of N times generated by the prover using the first information of N times and the second information of N times obtained when the messages of N times are generated, wherein the pattern information providing unit selects verification patterns on the respective messages of N times, and provides the prover with information on the selected verification patterns of N times through single interactivity, wherein the response acquiring unit acquires the response information corresponding to the selected verification pattern and a part of messages from the prover, the part of messages not being obtained even when an operation prepared for a verification pattern corresponding to the response information in advance is performed using the public keys, the first information, the third information, and the response information, and wherein the verifying unit verifies whether the prover holds the vector s based on the hash value, the part of messages, the public keys, and the response information, and determines that the prover holds the vector s, when verifications on all the messages of N times succeed.

(17)

An information processing method including: <ul id="ul0018" list-style="none" compact="compact"><li>generating a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m} defined on a ring K and a vector s that is an element of a set Kⁿ;</li><li>providing the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)); and</li><li>providing the verifier with response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 3) verification patterns,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(18)

An information processing method performed by an information processing apparatus that holds a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), the information processing method including: <ul id="ul0019" list-style="none" compact="compact"><li>acquiring a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ;</li><li>providing a prover that has provided the message with information on a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns;</li><li>acquiring response information corresponding to the selected verification pattern from the prover; and</li><li>verifying whether the prover holds the vector s based on the message, the multi-order multivariate polynomial set F, the vector y, and the response information,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(19)

An information processing method including: <ul id="ul0020" list-style="none" compact="compact"><li>generating a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ;</li><li>providing the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s));</li><li>generating third information using first information randomly selected by the verifier and second information obtained when the message is generated;</li><li>providing the verifier with the third information; and</li><li>providing the verifier with response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 2) verification patterns,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys, the first information, the third information, and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(20)

An information processing method performed by an information processing apparatus that holds a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)), the information processing method including: <ul id="ul0021" list-style="none" compact="compact"><li>acquiring a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ;</li><li>providing a prover that has provided the message with randomly selected first information;</li><li>acquiring third information generated by the prover using the first information and second information obtained when the message is generated;</li><li>providing the prover with information of a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns;</li><li>a response acquiring unit that acquires response information corresponding to the selected verification pattern from the prover; and</li><li>verifying whether the prover holds the vector s based on the message, the first information, the third information, the multi-order multivariate polynomial set F, and the response information,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys, the first information, the third information, and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(21)

The information processing apparatus according to any one of (1) to (16), wherein m and n have a relation of m &lt; n.

(22)

The information processing apparatus according to (21), wherein m and n have a relation of 2^m-n &lt;&lt; 1.

(23)

An information processing apparatus (signature generating apparatus) including: <ul id="ul0022" list-style="none" compact="compact"><li>a message generating unit that generates a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ;</li><li>a message providing unit that provides the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s));</li><li>a pattern selecting unit that selects one verification pattern from among k (where k ≥ 3) verification patterns based on a numerical value obtained by inputting a document M and the message to a one-way function;</li><li>a response generating unit that generates response information corresponding to the selected verification pattern; and</li><li>a signature providing unit that provides the verifier with the message and the response information as a signature,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are public keys, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public keys and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(24)

A program causing a computer to perform: <ul id="ul0023" list-style="none" compact="compact"><li>a message generating function of generating a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ;</li><li>a message providing function of providing the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)); and</li><li>a response providing function of providing response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 3) verification patterns to the verifier,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are a public key, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public key and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(25)

A program causing a computer to perform: <ul id="ul0024" list-style="none" compact="compact"><li>an information holding function of holding a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s));</li><li>an information acquiring function of acquiring a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ;</li><li>a pattern information providing function of providing a prover that has provided the message with information of one verification pattern randomly selected from among k (where k ≥ 3) verification patterns;</li><li>a response acquiring function of acquiring response information corresponding to the selected verification pattern from the prover; and</li><li>a verifying function of verifying whether the prover holds the vector s based on the message, the multi-order multivariate polynomial set F, the vector y, and the response information,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are a public key, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public key and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(27)

A program causing a computer to perform: <ul id="ul0025" list-style="none" compact="compact"><li>a message generating function of generating a message based on a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector s that is an element of a set Kⁿ;</li><li>a message providing function of providing the message to a verifier holding the multi-order multivariate polynomial set F and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s)); and</li><li>an information generating function of generating third information using first information randomly selected by the verifier and second information obtained when the message is generated;</li><li>an interim information providing function of providing the verifier with the third information; and</li><li>a response providing function of providing response information corresponding to a verification pattern selected by the verifier from among k (where k ≥ 3) verification patterns to the verifier,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are a public key, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public key, the first information, the third information, and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(28)

A program causing a computer to perform: <ul id="ul0026" list-style="none" compact="compact"><li>an information holding function of holding a multi-order multivariate polynomial set F=(f₁,...,f_m) defined on a ring K and a vector y=(y₁,...,y_m)=(f₁(s),...,f_m(s));</li><li>an information acquiring function of acquiring a message generated based on the multi-order multivariate polynomial set F and a vector s that is an element of a set Kⁿ;</li><li>an information providing unit that provides a prover that has provided the message with randomly selected first information;</li><li>an interim information acquiring function of acquiring third information generated by the prover using the first information and second information obtained when the message is generated;</li><li>a pattern information providing function of providing the prover with information of a single verification pattern randomly selected from among k (where k ≥ 3) verification patterns;</li><li>a response acquiring function of acquiring response information corresponding to the selected verification pattern from the prover; and</li><li>a verifying function of verifying whether the prover holds the vector s based on the message, the first information, the third information, the multi-order multivariate polynomial set F, and the response information,</li></ul> wherein the vector s is a secret key, wherein the multi-order multivariate polynomial set F and the vector y are a public key, wherein the message is information obtained by performing an operation prepared for a verification pattern corresponding to the response information in advance using the public key, the first information, the third information, and the response information, and wherein the multi-order multivariate polynomial set F is generated using information differing according to a user who generates the public keys.

(29)

A computer readable recording medium recording a program according to any one of (24) to (28) is provided.

(Remarks)

The prover algorithm P is an example of a message generating unit, a message providing unit, a response providing unit, an interim information generating unit, and an interim information providing unit. Further, the verifier algorithm V is an example of an information holding unit, an information acquiring unit, a pattern information providing unit, a response acquiring unit, a verifying unit, and an interim information acquiring unit.

The preferred embodiments of the present invention have been described above with reference to the accompanying drawings, whilst the present invention is not limited to the above examples, of course. A person skilled in the art may find various alternations and modifications within the scope of the appended claims, and it should be understood that they will naturally come under the technical scope of the present invention.

Reference Signs List

<dl id="dl0001" compact="compact"><dt>Gen</dt><dd>key generation algorithm</dd><dt>P</dt><dd>prover algorithm</dd><dt>V</dt><dd>verifier algorithm</dd><dt>Sig</dt><dd>signature generation algorithm</dd><dt>Ver</dt><dd>signature verifying algorithm</dd></dl>