The present invention relates to cryptographic technologies and, in particular, relates to a secure computation technique.
One of secret sharing schemes is Shamir's secret sharing scheme (see, for example, Non-patent Literature 1 and so forth).
Non-patent Literature 1: A. Shamir, “How to Share a Secret”, Communications of the ACM, November 1979, Volume 22, Number 11, pp. 612-613.
Secure computation devices can perform secure computation using shares obtained in accordance with Shamir's secret sharing scheme without changing them. However, when these shares are distributed among N secure computation devices in accordance with the secret sharing scheme, the total amount of data of the shares is N orders of magnitude larger than the amount of data of plaintext. Thus, if these shares are transmitted to the N secure computation devices without being changed, the total amount of communication data is also N orders of magnitude larger than the amount of data of the plaintext.
An object of the present invention is to provide a technique for generating shares whose total amount of communication data is smaller than that of shares in accordance with Shamir's secret sharing scheme and which can be converted into shares in accordance with Shamir's secret sharing scheme or a technique for converting shares, whose total amount of communication data is smaller than that of shares in accordance with Shamir's secret sharing scheme, into shares in accordance with Shamir's secret sharing scheme.
A share generating device obtains N seeds s0, . . . , sN−1, obtains a function value y=g(x, e)∈Fm of plaintext x∈Fm and a function value e, and obtains information containing a member yi∈Fm(i) and N−1 seeds sd, where d∈{0, . . . , N−1} and d≠i, as a share SSi of the plaintext x in secret sharing and outputs the share SSi. It is to be noted that N is an integer greater than or equal to 2, m is an integer greater than or equal to 1, m(i) is an integer greater than or equal to 0, i=0, . . . , N−1 holds, P is a function, the range of the function P belongs to a set Fm whose members are sequences of in elements of field F, P(s0), . . . , P(sN−1)∈Fm are function values of the seeds s0, . . . , sN−1, e=f(P(s0), P(sN−1))∈Fm is a function value of the function values P(s0), . . . , P(sN−1)∈Fm, and the function value y is expressed by members y0∈Fm(0), . . . , yN−1∈Fm(N−1) which satisfy m=m(0)+ . . . +m(N−1).
Each share converting device Ai included in N share converting devices A0, . . . , AN−1 accepts a share SSi, possesses an arbitrary value ti∈Fm(i) jointly with another share converting device Ai−1 mod N, obtains a share [yi]u∈Fm(i) of each share converting device Au by secret-sharing a member yi in accordance with Shamir's secret sharing scheme on the assumption that the arbitrary value ti is a share [yi]i−1 mod N of the share converting device Ai−1 mod N and outputs the share [yi]u, accepts shares [yd]i, obtains function values P(sd)∈Fm of seeds sd, converts a set SETi of the function values P(sd), where d∈{0, . . . , N−1} and d≠i, which is a share of a function value e=f(P(s0), . . . , P(sN−1))∈Fm with respect to function values P(s0), . . . , P(sN−1) of N seeds s0, . . . , sN−1, into a share [e]i of the function value e in accordance with Shamir's secret sharing scheme, and obtains a share [x]i of x=g−1(y, e) in accordance with Shamir's secret sharing scheme by secure computation using a share [y]i, which is expressed by shares [y0]i, . . . , [yN−1]i, and the share [e]i. It is to be noted that u=0, . . . , N−1 holds and the share [y]i is a share of a function value y=g(x, e)∈Fm with respect to plaintext x and the function value e.
A share generating device can generate shares whose total amount of communication data is smaller than that of shares in accordance with Shamir's secret sharing scheme and which can be converted into shares in accordance with Shamir's secret sharing scheme. A share converting device can convert shares, whose total amount of communication data is smaller than that of shares in accordance with Shamir's secret sharing scheme, into shares in accordance with Shamir's secret sharing scheme.
Hereinafter, embodiments of the present invention will be described with reference to the drawings.
First, a first embodiment will be described.
<Configuration>
As illustrated in
As illustrated in
As illustrated in
<Share Generation Method>
A share generation method which is performed by the share generating device 11 of the present embodiment will be described using
First, the seed generation unit 111 (
Plaintext x∈Fm to be secret-shared and the seeds s0, . . . , sN−1 output from the seed generation unit 111 are input to the arithmetic unit 112. It is to be noted that in is an integer greater than or equal to 1. For instance, in is an integer greater than or equal to 2 or an integer greater than or equal to 3. The arithmetic unit 112 obtains a function value y=g(x, e)∈Fm of the plaintext x∈Fm and a function value e=f(P(s0), . . . , P(sN−1)) ∈ Fm and outputs the function value y. It is to be noted that P is a function. The range of the function P belongs to a set Fm whose members are sequences of m elements of field F. One example of the set Fm is a set of in-dimensional vectors, whose members are in elements of field F. The domain of definition of the function P may be any domain of definition; for example, the domain of definition of the function P belongs to the set Fw. For instance, w<m holds. An example of the function P is a pseudo random number generating function. P(s0), . . . , P(sN−1)∈Fm are function values (for example, pseudo random numbers) of the seeds s0, . . . , sN−1. g:Fm×2→Fm is a linear function (a function with linearity) that maps elements of two sets Fm to elements of one set Fm. For example, y=x−e∈Fm holds. However, this does not limit the present invention. For instance, a value which is obtained by an operation expressed by a formula obtained by multiplying part or all of the terms of x−e by a constant may be used as y, a value which is obtained by an operation expressed by a formula obtained by replacing part or all of the terms of x−e with an inverse element may be used as y, a value which is obtained by an operation expressed by a formula obtained by replacing part or all of the terms of x−e with an inverse element and then multiplying part or all of the terms by a constant may be used as y, or a value which is obtained by an operation expressed by a formula obtained by adding a constant term to x−e may be used as y. The function value e=f(P(s0), . . . , P(sN−1)) is a function value of function values P(s0), . . . , P(sN−1)∈Fm. f:Fm×n→Fm is a linear function that maps elements of n sets Fm to elements of one set Fm. For instance, e=f(P(s0), . . . , P(sN−1))=Σ0≤i<NP(si)=P(s0)+ . . . +P(sN−1)∈Fm holds. However, this does not limit the present invention. For example, a value which is obtained by an operation expressed by a formula obtained by multiplying part or all of the terms of P(s0)+ . . . +P(sN−1) by a constant may be used as e, a value which is obtained by an operation expressed by a formula obtained by replacing part or all of the terms of P(s0)+ . . . +P(sN−1) with an inverse element may be used as e, a value which is obtained by an operation expressed by a formula obtained by replacing part or all of the terms of P(s0)+ . . . +P(sN−1) with an inverse element and then multiplying part or all of the terms by a constant may be used as e, or a value which is obtained by an operation expressed by a formula obtained by adding a constant term to P(s0)+ . . . +P(sN−1) may be used as e (Step S112).
The function value y∈Fm is input to the division unit 113. The division unit 113 divides the function value y into N members y0, . . . , yN−1 and outputs the members y0, . . . , yN−1. It is to be noted that, for i=0, . . . , N−1, yi∈Fm(i) holds, m(i) is an integer greater than or equal to 0 (for example, m(i) is an integer greater than or equal to 1), m≥N holds, and m=m(0)+ . . . +m(N−1) is satisfied. For instance, it is also possible to make m(0)= . . . =m(N−1)=m/N hold if m is a multiple of N. However, irrespective of whether or not in is a multiple of N, all of m(0), . . . , m(N−1) may not be identical with one another. For example, at least part of m(0), . . . , m(N−1) may be 0. It is to be noted that γ ∈F0 represents a null value. If m(i)=0, yi∈Fm(i) is a null value. The function value y is expressed by members y0 ∈ Fm(0), . . . , yN−1∈Fm(N−1) (for example, a sequence of y0, . . . , yN−1). For instance, the function value y is expressed as a sequence y0| . . . |yN−1 obtained by arranging y0∈Fm(0), . . . , yN−1∈Fm(N−1). If m=1, only one of m(0), . . . , m(N−1) is 1 and the others are 0. In this case, the division unit 113 does not have to divide the function value y, and outputs any one of the members y0, . . . , yN−1 as the function value y and all of the other members as null values (Step S113).
The members y0, . . . , yN−1 output from the division unit 113 and the seeds s0, . . . , sN−1 output from the seed generation unit 111 are input to the share generation unit 116. The share generation unit 116 assigns a member yi and N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, to each share converting device 12-Ai (i=0, . . . , N−1), and obtains information containing the member yi and the N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, as a share SSi of the plaintext x in secret sharing and outputs the share SSi. It is to be noted that, if i≠0 and i≠N−1, the N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, are seeds s0, . . . , si−1, si+1, . . . , sN−1. If i=0, the N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, are seeds s1, . . . , sN−1. If i=N−1, the N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, are seeds s0, . . . , sN−2. Each share SSi is a share of each share converting device 12-Ai (i=0, . . . , N−1). Each share SSi may contain other information, but does not contain a member yd, where d ∈{0, . . . , N−1} and d≠i, and a seed si. It is to be noted that information containing the member yi∈F0, which is a null value, and the N−1 seeds sd means information indicating that the member yi is a null value and containing the N−1 seeds sd. The information containing the member yi∈F0, which is a null value, and the N−1 seeds sd contains the N−1 seeds sd, but does not actually contain the member yi. The size of the seeds s1, . . . , sN−1 and N do not depend on m. In (2, N)-Shamir's secret sharing, the order of magnitude of the total share size that relates to the data size in of the plaintext x is O(Nm); in the present embodiment, the order of magnitude of the total share size that relates to the data size in of the plaintext x is just O(m). The size of each share is O(m/N). For example, the total amount of data of shares SS0, . . . , SSN−1 is less than N times the amount of data of the plaintext x. For instance, the amount of data of each share SSi is smaller than the amount of data of the plaintext x (Step S116).
Each share SSi output from the share generation unit 116 is input to the communication unit 117. The communication unit 117 outputs each share SSi to each share converting device 12-A, (i=0, . . . , N−1). Each output share SSi is transmitted to each share converting device 12-A, through the network. That is, the share SS0 is transmitted to the share converting device 12-A0, the share SS1 is transmitted to the share converting device 12-A1, . . . , and the share SSN−1 is transmitted to the share converting device 12-AN−1 (Step S117).
<Share Conversion Method>
A share conversion method which is performed by each share converting device 12-Ai of the present embodiment will be described using
The share SSi output from the share generating device 11 and containing the member yi and the N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, is received (accepted) by the communication unit 1201-A1 (a first input unit) of the share converting device 12-Ai (
The joint possession unit 1202-Ai possesses an arbitrary value ti∈ Fm(i) jointly with a joint possession unit 1202-A1−1 mod N of another share converting device 12-Ai−1 mod N. That is, the joint possession unit 1202-Ai and the joint possession unit 1202-Ai−1 mod N obtain the same arbitrary value ti. The joint possession unit 1202-Ai and the joint possession unit 1202-Ai−1 mod N may jointly possess the arbitrary value ti by transmitting the arbitrary value ti or information for identification of the arbitrary value ti to the joint possession unit 1202-Ai−1 mod N from the joint possession unit 1202-Ai, the joint possession unit 1202-Ai and the joint possession unit 1202-Ai−1 mod N may jointly possess the arbitrary value ti by transmitting the arbitrary value t1 or information for identification of the arbitrary value ti to the joint possession unit 1202-Ai from the joint possession unit 1202-Ai−1 mod N, or joint possession of the arbitrary value ti may be achieved as a result of the joint possession unit 1202-Ai and the joint possession unit 1202-Ai−1 mod N jointly possessing a common seed value and executing the same processing using the common seed value. The arbitrary value ti may be a random number (a pseudo random number or a true random number), a value obtained by other processing, or a value selected from a plurality of predetermined values. Joint possession of the arbitrary value ti∈Fm(i) may be performed when Step S1201-Ai is executed, in response to a request from the other joint possession unit 1202-Ai−1 mod N, or in response to other events, or may be performed in advance. The joint possession unit 1202-Ai outputs the obtained arbitrary value ti. If the member yi is a null value, the arbitrary value ti is also set at a null value (Step S1202-Ai).
The member yi contained in the share SSi and the arbitrary value ti output from the joint possession unit 1202-Ai are input to the secret sharing unit 1203-Ai. The secret sharing unit 1203-Ai obtains a share [yi]u∈Fm(i) (a Shamir share) of each share converting device 12-Au (u=0, . . . , N−1) by secret-sharing the member yi in accordance with Shamir's secret sharing scheme and outputs the share [yi]u. It is to be noted that the arbitrary value ti is assumed to be a share [yi]i−1 mod N of the share converting device 12-Ai−1 mod N. Shamir's secret sharing scheme of the embodiment is a 2-out-of-N threshold sharing scheme, in which, given any two different shares, plaintext can be reconstructed; however, given any one piece of share information, information on the plaintext cannot be obtained at all. In the 2-out-of-N threshold sharing scheme, if the secret-shared member yi and one share [yi]i−1 mod N=ti are determined, another share can be obtained. For instance, on the assumption that the arbitrary value ti is the share [yi]i−1 mod N of the share converting device 12-Ai−1 mod N, the secret sharing unit 1203-Ai identifies an equation (for example, identifies a coefficient of each term of the equation) which holds between the member yi, the share [yi]i−1 mod N=ti, and another share [yi]u′∈Fm(i) (u′ ∈{0, . . . , N−1} and u′≠i−1 mod N) using Lagrange's interpolation formula and generates the other share [yi]u′ ∈Fm(i) by solving the equation. The communication unit 1201-Ai (a first output unit) outputs (transmits) shares [yi]d obtained in the secret sharing unit 1203-Ai to the other N−1 share converting devices 12-Ad (d ∈ {0, . . . , N−1} and d≠i). Since the share converting device 12-Ai and the share converting device 12-Ai−1 mod N already jointly possess the share [yi]i−1 mod N=ti (Step S1202-Ai), further transmission of the share [yi]i−1 mod N=ti to the share converting device 12-Ai−1 mod N may be omitted. If the member yi is a null value, the share [yi]u is also set at a null value. The communication unit 1201-Ai (a second input unit) receives (accepts) shares [yd]i output (transmitted) from the other share converting devices 12-Ad in a similar manner (Step S1203-Ai).
The share [yi]i of the share converting device 12-Ai, which has been output from the secret sharing unit 1203-Ai, and the shares [yd]i transmitted from the other share converting devices 12-Ad (d ∈{0, . . . , N−1} and d≠i) are input to the secure computation unit 1206-Ai (a first secure computation unit). The secure computation unit 1206-Ai obtains a share [y]i∈Fm by joining (concatenating) shares [y0]i, . . . , [yN−1]i to one another by publicly known secure computation and outputs the share [y]i. The share [y]i is a share of the function value y in accordance with Shamir's secret sharing scheme. The function value y is what is obtained by joining the N members y0, . . . , yN−1. For example, a sequence y0| . . . |yN−1 obtained by arranging y0∈Fm(0), . . . , yN−1∈Fm(N−1) is y. To obtain the share [y]i∈Fm by joining the shares [y0]i, . . . , [yN−1]i in accordance with Shamir's secret sharing scheme by secure computation, it is only necessary to use, for instance, a sequence of the shares [y0]i, . . . , [yN−1]i as a share [y]. That is, the share [y] is expressed by shares [y0]i∈Fm(0), . . . , [yN−1]i∈Fm(N−1). For example, a sequence [y0]i| . . . |[yN−1]i obtained by arranging the shares [y0]i, . . . , is the share [y] (Step S1206-Ai).
The N−1 seeds sd contained in the share SSi are input to the arithmetic unit 1207-Ai. The arithmetic unit 1207-Ai obtains N−1 function values P(sd) ∈Fm (for example, pseudo random numbers) of the N−1 seeds sd and outputs the N−1 function values P(sd) (d ∈{0, . . . , N−1} and d≠i). The function P which is used for this operation is the same as the function P for obtaining the function value y in the arithmetic unit 112 of the share generating device 11. A set SETi of the N−1 function values P(sd), where d ∈{0, . . . , N−1} and d≠i (that is, the set SETi has the N−1 function values P(sd), where d ∈{0, . . . , N−1} and d≠i, as members thereof), is a share of the function value e=f(P(s0), . . . , P(sN−1)) ∈Fm with respect to function values P(s0), . . . , P(sN−1) of the N seeds s0, . . . , sN−1. That is, if there are at least two different sets, sets SETi′ and SETi″ (i′, i″ ∈{0, . . . , N−1} and i′≠i″), the function value e=f(P(s0), . . . , P(sN−1)) can be reconstructed. In other words, the set SETi is a (2, N)-replication secret sharing share of the function value e (Step S1207-Ai).
The set SETi of the N−1 function values P(sd), where d ∈{0, . . . , N−1} and d≠i, is input to the Shamir conversion unit 1208-Ai. The Shamir conversion unit 1208-Ai converts the set SET which is the (2, N)-replication secret sharing share of the function value e, into a share [e]i of the function value e in accordance with Shamir's secret sharing scheme by a publicly known Shamir conversion method and outputs the share [e]i. Examples of a method of converting a (2, N)-replication secret sharing share into a share in accordance with Shamir's secret sharing scheme include a method described in “Ronald Cramer, Ivan Damgard, Yuval Ishai: Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation. TCC 2005: 342-362” (Reference Literature 1) (Step S1208-Ai).
The share [y]i output from the secure computation unit 1206-Ai and the share [e]i output from the Shamir conversion unit 1208-Ai are input to the share generation unit 1209-Ai (a first share generation unit). As described earlier, the share [y]i is a share of the function value y=g(x, e) ∈ Fm with respect to the plaintext x and the function value e in accordance with Shamir's secret sharing scheme. Here, a function that satisfies x=g−1(y, e) ∈Fm with respect to y=g(x, e) is defined as g−1:Fm×2→Fm. For example, if y=x−e, x=y+e holds. The share generation unit 1209-Ai obtains a share [x]i∈Fm of x=g−1(y, e) in accordance with Shamir's secret sharing scheme by secure computation using the share [y]i and the share [e]i and outputs the share [x]i. For instance, if x=y+e, the share generation unit 1209-Ai obtains a share [y+e]i by secure computation using the share [y]i and the share [e]i and outputs the share [y+e]i. Secure computation using shares in accordance with Shamir's secret sharing scheme is described in, for example, “Michael Ben-Or, Shafi Goldwasser, Avi Wigderson: Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (Extended Abstract). STOC 1988: 1-10” (Reference Literature 2) (Step S1209-Ai).
The share generating device 11 outputs information containing the member yi∈Fm(i) and the N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, to each share converting device 12-Ai as the share SSi. This makes it possible to make the total amount of communication data smaller than that of shares in accordance with Shamir's secret sharing scheme. Each share converting device 12-Ai can convert the share SSi into the share [x]i in accordance with Shamir's secret sharing scheme. This makes it possible to perform secure computation.
A second embodiment is a modification of the first embodiment. In the present embodiment, a checksum corresponding to a share is generated at the time of generation of a share and the share is verified using the checksum at the time of share conversion. In the following description, an explanation of a matter that has already been described in the first embodiment is sometimes simplified, using the same reference character as that of the first embodiment.
<Configuration>
As illustrated in
As illustrated in
As illustrated in
<Share Generation Method>
A share generation method which is performed by the share generating device 21 will be described using
Next, the arbitrary value generation unit 214 obtains N arbitrary values r0, . . . , rN−1∈Fv belonging to a set Fv and outputs the arbitrary values r0, . . . , rN−1. It is to be noted that v is an integer greater than or equal to 1. A greater data amount reduction effect can be achieved if v is less than or equal to m (for instance, v is less than m). For example, v=1 holds. One example of the set Fv is an extension field whose basic field is a field F and whose degree of a field extension is v. The “arbitrary value” may be a random number (a pseudo random number or a true random number) or a value selected from a plurality of preset values. For instance, the arbitrary value generation unit 214 generates N random numbers and outputs them as the arbitrary values r0, . . . , rN−1 (Step S214).
The members y0, . . . , yN−1 output from the division unit 113 and the arbitrary values r0, . . . , rN−1 output from the arbitrary value generation unit 214 are input to the checksum generation unit 215. Here, each member yi ∈Fm(i) can be divided into m(i) sub-members (yi)0, . . . , (yi)m(i)−1∈F. For example, each member yi is expressed as a sequence (yi)0| . . . |(yi)m(i)−1 obtained by arranging the sub-members (yi)0, . . . , (yi)m(i)−1. Moreover, m′(i) is ceil(m(i)/v) and (y′i)j is ((yi)vj, (yi)vj+1, . . . , (yi)v(j+1)−1) ∈Fv belonging to the set Fv. It is to be noted that ceil is a ceiling function and m′(i) is ceil(m(i)/v) (that is, m′(i) is the smallest integer which is greater than or equal to m(i)/v). Furthermore, for j=m′(i)−1, if the number of (y′i)v(m′(i)−1), (yi)v(m′(i)−1)+1, . . . , (yi)vm′(i)−1 is less than v, it is assumed that (y′i)m′(i)−1=((yi)v(m′(i)−1), (yi)v(m′(i)−1)+1, . . . , (yi)m(i)−1, 0, . . . , 0) ∈Fv holds. The checksum generation unit 215 obtains a checksum ci=Σ0≤j<m′(i)−1{(y′i)jrij+1}+(y′i)m′(i)−1rim′(i)+1 ∈Fv corresponding to each share SSi using the members y0, . . . , yN−1 and the arbitrary values r0, . . . , rN−1 and outputs the checksum ci (Step S215).
The members y0, . . . , yN−1 output from the division unit 113, the seeds s0, . . . , sN−1 output from the seed generation unit 111, the arbitrary values r0, . . . , rN−1 output from the arbitrary value generation unit 214, and the checksums c0, . . . , cN−1 output from the checksum generation unit 215 are input to the share generation unit 216. The share generation unit 216 assigns a member yi, N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, N−1 arbitrary values rd, where d ∈{0, . . . , N−1} and d≠i, and a checksum ci−1 mod N to each share converting device 22-Ai (i=0, . . . , N−1), and obtains information containing the member yi, the N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, the N−1 arbitrary values rd, where d ∈{0, . . . , N−1} and d≠i, and the checksum ci−1 mod N as a share SSi of the plaintext x in secret sharing and outputs the share SSi. Each share SSi is a share of each share converting device 22-Ai (i=0, . . . , N−1). Each share SSi may contain other information, but does not contain a member yd, where d ∈{0, . . . , N−1} and d≠i, a seed si, an arbitrary value ri, and checksums of c0, . . . , cN−1 other than ci−1 mod N. The size of the seeds s1, . . . , sN−1, N, and v do not depend on m. In (2, N)-Shamir's secret sharing, the order of magnitude of the total share size that relates to the data size m of the plaintext x is O(Nm); in the present embodiment, the order of magnitude of the total share size that relates to the data size in of the plaintext x is just O(m). The size of each share is O(m/N). For example, the total amount of data of shares SS0, . . . , SSN−1 is less than N times the amount of data of the plaintext x. For instance, the amount of data of each share SSi is smaller than the amount of data of the plaintext x (Step S216).
Each share SSi obtained in the share generation unit 216 is input to the communication unit 117. The communication unit 117 outputs each share SSi to each share converting device 22-Ai (i=0, . . . , N−1). Each output share SSi is transmitted to each share converting device 22-Ai through the network. That is, the share SS0 is transmitted to the share converting device 22-A0, the share SSi is transmitted to the share converting device 22-A1, . . . , and the share SSN−1 is transmitted to the share converting device 22-AN−1 (Step S217).
<Share Conversion Method>
A share generation method which is performed by each share converting device 22-Ai of the present embodiment will be described using
The share SSi output from the share generating device 21 and containing the member yi, the N−1 seeds sd, where d ∈{0, . . . , N−1} and d≠i, the N−1 arbitrary values rd, where d ∈{0, . . . , N−1} and d≠i, and the checksum ci−1 mod N is received (accepted) by the communication unit 1201-Ai (the first input unit) of the share converting device 22-Ai (
Next, in place of each share converting device 12-Ai, each share converting device 22-Ai executes the processing in Steps S1202-Ai and S1203-Ai described in the first embodiment.
The arbitrary values rd contained in the share SSi and the shares [yd]i (d ∈{0, . . . , N−1} and d≠i) received by the communication unit 1201-Ai (Step S1203-Ai) are input to the share generation unit 2204-Ai (a second share generation unit). The share generation unit 2204-Ai obtains a share [cd]i of a checksum cd=Σ0≤j<m′(d)−1 {(y′d)jrdj+1}+(y′d)m′(d)−1rdm′(d)+1∈Fv in accordance with Shamir's secret sharing scheme by secure computation (public value multiplication and addition by secure computation) using the arbitrary values rd and the shares [yd]i and outputs the share [cd]i. As described earlier, the member yd can be divided into m(d) sub-members (yd)0, . . . , (yi)m(d)−1. (y′d)j is ((yd)vj, (yd)vj+1, . . . , (yd)v(j+1)−1)∈Fv belonging to the set Fv, and m′(d) is ceil(m(d)/v). Moreover, for j=m′(i)−1, if the number of (yd)v(m′(d)−1), (yd)v(m′(d)−1)+1, . . . , (yd)vm′(d)−1 is less than v, it is assumed that (y′d)m′(d)−1=((yd)v(m′(d)−1), (yd)v(m′(d)−1)+1, . . . , (yd)m(d)−1, 0, . . . , 0) ∈ Fv. A method of performing public value multiplication and addition by secure computation using shares in accordance with Shamir's secret sharing scheme is described in, for example, Reference Literature 2 (Lemma on page 3) (Step S2204-Ai).
The share [cd]i is input to the communication unit 1201-Ai. The communication unit 1201-Ai (a second output unit) outputs the share [cd]i (d ∈{0, . . . , N−1} and d≠i) to another share converting device 22-Ad+1 mod N. The output share [cd]i is transmitted to the share converting device 22-Ad+1 mod N via the network, received by a communication unit 1201-Ad+1 mod N of the share converting device 22-Ad+1 mod N, and stored in a storage 1210-Ad+1 mod N. The share [cd]i, a share [cd]d+1 mod N generated by a share generation unit 2204-Ad+1 mod N, and the checksum cd contained in a share SSd+1 mod N are input to a verification unit 2205-Ad+1 mod N. The verification unit 2205-Ad+1 mod N verifies whether the checksum cd and the share [cd]i have a right relationship. The verification unit 2205-Ad+1 mod N of the present embodiment verifies whether the checksum cd and N shares [cd]0, . . . , [cd]N−1 have a right relationship. For instance, the verification unit 2205-Ad+1 mod N verifies whether or not there is consistency among the input N shares [cd]0, . . . , [cd]N−1 (Verification 1: consistency verification) and verifies whether a value reconstructed from any two shares [cd]i′ and [cd]i″ (i′, i″ ∈ {0, . . . , N−1} and i′≠i″) of the input N shares [cd]0, . . . , [cd]N−1 (Shamir's secret sharing scheme of the embodiment is a 2-out-of-N threshold sharing scheme) and the checksum cd are identical with each other (Verification 2: identicalness verification). Consistency verification is, for example, calculating another share [cd]i′″ (i′″ ∈{0, . . . , N−1}, i′″≠i″, and i′″≠i′) from any two shares [cd]i′ and [cd]i″ using Lagrange's interpolation formula and, by using the result of calculation as [bd]i′″, verifying whether [bd]i′″ and [cd]i′″ in the N shares [cd]0, . . . , [cd]N−1 input to the verification unit 2205-Ad+1 mod N are identical with each other. Consistency is verified by consistency verification if [bd]i′″=[cd]i′″ holds for all i′″, otherwise consistency is not verified by consistency verification. Moreover, in identicalness verification, identicalness is verified by identicalness verification if the value reconstructed from the two shares [cd]i′ and [cd]i″ and the checksum cd are identical with each other, otherwise identicalness is not verified by identicalness verification. A right relationship is verified if consistency is verified by consistency verification and identicalness is verified by identicalness verification, otherwise a right relationship is not verified.
Likewise, a share [ci−1 mod N]d output from another share converting device 22-Ad is received (accepted) by the communication unit 1201-Ai (the second input unit) and stored in the storage 1210-Ai. The share [ci−1 mod N]d output from the other share converting device 22-Ad, a share [ci−1 mod N]i generated by the share generation unit 2204-Ai, and the checksum ci−1 mod N contained in the share SSi are input to the verification unit 2205-Ai. The verification unit 2205-Ai verifies whether the checksum ci−1 mod N and the share [ci−1 mod N]d have a right relationship. The verification unit 2205-Ai of the present embodiment verifies whether the input checksum ci−1 mod N, share [ci−1 mod N]d, and share [ci−1 mod N]i have a right relationship. For example, the verification unit 2205-Ai verifies whether or not there is consistency among the input N shares [ci−1 mod N]0, . . . , [ci−1 mod N]N−1 (Verification 1: consistency verification) and verifies whether a value reconstructed from any two shares [ci−1 mod N]i′ and [ci−1 mod N]i″ (i′, i″ ∈{0, . . . , N−1} and i′≠i″) of the input N shares [ci−1 mod N]0, . . . , [ci−1 mod N]N−1 is identical with the checksum ci−1 mod N (Verification 2: identicalness verification). Consistency verification is, for example, calculating another share [ci−1 mod N]i′″ (i′″ ∈{0, . . . , N−1}, i′″≠i″, and i′″≠i′) from any two shares [ci−1 mod N]i′ and [ci−1 mod N]i″ using Lagrange's interpolation formula and, by using the result of calculation as [bi−1 mod N]i′″, verifying whether [bi−1 mod N]i′″ and [ci−1 mod N]i′″ in the N shares [ci−1 mod N]0, . . . , [ci−1 mod N]N−1 input to the verification unit 2205-Ai are identical with each other. Consistency is verified by consistency verification if [bi−1 mod N]i′″=[ci−1 mod N]i′″ holds for all i′″, otherwise consistency is not verified by consistency verification. Moreover, in identicalness verification, identicalness is verified by identicalness verification if the value reconstructed from the two shares [ci−1 mod N]i′ and [ci−1 mod N]i″ and the checksum ci−1 mod N are identical with each other, otherwise identicalness is not verified by identicalness verification. A right relationship is verified if consistency is verified by consistency verification and identicalness is verified by identicalness verification, otherwise a right relationship is not verified (Step S2205-Ai).
If the verification unit 2205-Ai determines that a right relationship is verified, in place of each share converting device 12-Ai, each share converting device 22-Ai executes the processing from Steps S1206-Ai to S1209-Ai described in the first embodiment and ends the processing. On the other hand, if the verification unit 2205-Ai determines that a right relationship is not verified, the control unit 1211-Ai makes the processing terminate with an error message (Step S2206-Ai).
Also in the present embodiment, it is possible to make the total amount of communication data smaller than that of shares in accordance with Shamir's secret sharing scheme. Moreover, each share converting device 22-Ai can convert the share SSi into the share [x]i in accordance with Shamir's secret sharing scheme. Furthermore, in the present embodiment, since the share SSi contains a checksum and verification processing is performed at the time of share conversion, it is possible to detect unauthorized processing performed in the share generating device 21 and/or the share converting device 22-Ai.
It is to be noted that the present invention is not limited to the foregoing embodiments. For example, the above-described various kinds of processing may be executed, in addition to being executed in chronological order in accordance with the descriptions, in parallel or individually depending on the processing power of a device that executes the processing or when necessary. In addition, it goes without saying that changes may be made as appropriate without departing from the spirit of the present invention. Moreover, the share generating device and/or the share converting device may be part of a secure computation device that performs secure computation or may be a device that is different from the secure computation device.
The above-described each device is embodied by execution of a predetermined program by a general- or special-purpose computer having a processor (hardware processor) such as a central processing unit (CPU), memories such as random-access memory (RAM) and read-only memory (ROM), and the like, for example. The computer may have one processor and one memory or have multiple processors and memories. The program may be installed on the computer or pre-recorded on the ROM and the like. Also, some or all of the processing units may be embodied using an electronic circuit that implements processing functions without using programs, rather than an electronic circuit (circuitry) that implements functional components by loading of programs like a CPU. An electronic circuit constituting a single device may include multiple CPUs.
When the above-described configurations are implemented by a computer, the processing details of the functions supposed to be provided in each device are described by a program. As a result of this program being executed by the computer, the above-described processing functions are implemented on the computer. The program describing the processing details can be recorded on a computer-readable recording medium. An example of the computer-readable recording medium is a non-transitory recording medium. Examples of such a recording medium include a magnetic recording device, an optical disk, a magneto-optical recording medium, and semiconductor memory.
The distribution of this program is performed by, for example, selling, transferring, or lending a portable recording medium such as a DVD or a CD-ROM on which the program is recorded. Furthermore, a configuration may be adopted in which this program is distributed by storing the program in a storage device of a server computer and transferring the program to other computers from the server computer via a network.
The computer that executes such a program first, for example, temporarily stores the program recorded on the portable recording medium or the program transferred from the server computer in a storage device thereof. At the time of execution of processing, the computer reads the program stored in the storage device thereof and executes the processing in accordance with the read program. As another mode of execution of this program, the computer may read the program directly from the portable recording medium and execute the processing in accordance with the program and, furthermore, every time the program is transferred to the computer from the server computer, the computer may sequentially execute the processing in accordance with the received program. A configuration may be adopted in which the transfer of a program to the computer from the server computer is not performed and the above-described processing is executed by so-called application service provider (ASP)-type service by which the processing functions are implemented only by an instruction for execution thereof and result acquisition.
Instead of executing a predetermined program on the computer to implement the processing functions of the present devices, at least some of the processing functions may be implemented by hardware.
The inventions of the “share generation method” and the “share conversion method” fall under the category of “the invention of a process for producing a product” under Article 2, paragraph (3), item (iii) of the Patent Act. Moreover, shares which are obtained by the “share generation method” and the “share conversion method” fall under the category of a “computer program, etc.” under Article 2, paragraph (4) of the Patent Act. For example, a header, an extension, or the like is added to such shares for subsequent processing, and a computer that processes these shares executes processing using each share while referring to the header, the extension, or the like added to the share.
Number | Date | Country | Kind |
---|---|---|---|
JP2017-159345 | Aug 2017 | JP | national |
Filing Document | Filing Date | Country | Kind |
---|---|---|---|
PCT/JP2018/030439 | 8/16/2018 | WO | 00 |
Publishing Document | Publishing Date | Country | Kind |
---|---|---|---|
WO2019/039380 | 2/28/2019 | WO | A |
Number | Name | Date | Kind |
---|---|---|---|
5764765 | Phoenix | Jun 1998 | A |
6748083 | Hughes | Jun 2004 | B2 |
7437081 | Mitchell | Oct 2008 | B2 |
7995765 | Schneider | Aug 2011 | B2 |
8855316 | Wiseman | Oct 2014 | B2 |
9960465 | Dudley | May 2018 | B2 |
10057058 | Murakami | Aug 2018 | B2 |
20040179686 | Matsumura et al. | Sep 2004 | A1 |
20050138352 | Gauvreau | Jun 2005 | A1 |
20070065154 | Luo | Mar 2007 | A1 |
20070076884 | Wellbrock | Apr 2007 | A1 |
20070195774 | Sherman | Aug 2007 | A1 |
20100046739 | Schneider | Feb 2010 | A1 |
20110206204 | Sychev | Aug 2011 | A1 |
20110213979 | Wiseman | Sep 2011 | A1 |
20140010234 | Patel | Jan 2014 | A1 |
20140068765 | Choi | Mar 2014 | A1 |
20140133652 | Oshida | May 2014 | A1 |
20160241396 | Fu | Aug 2016 | A1 |
20160359626 | Fu | Dec 2016 | A1 |
20160366094 | Mason | Dec 2016 | A1 |
20170214525 | Zhao | Jul 2017 | A1 |
20170230173 | Choi | Aug 2017 | A1 |
20180176091 | Yoon | Jun 2018 | A1 |
20190036821 | Levy | Jan 2019 | A1 |
20190349392 | Wetterwald | Nov 2019 | A1 |
20200084222 | William | Mar 2020 | A1 |
Number | Date | Country |
---|---|---|
2 879 324 | Jun 2015 | EP |
3 258 458 | Dec 2017 | EP |
2016-178550 | Oct 2015 | JP |
WO 2016147718 | Sep 2016 | WO |
Entry |
---|
Shamir, A. “How to Share a Secret”, Communications of the ACM, Nov. 1979, vol. 22, No. 11, pp. 612-613. |
Cramer, R. et al., “Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation”, TCC, 2005, pp. 342-362. |
Ben-Or, M. et al., “Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (Extended Abstract)”, STOC, 1988, pp. 1-10. |
International Search Report dated Nov. 13, 2018 in PCT/JP2018/030439 filed on Aug. 16, 2018, 1 page. |
Number | Date | Country | |
---|---|---|---|
20210135849 A1 | May 2021 | US |