Yao's Millionaires' problem

(Redirected from Millionaire's Problem)

Yao's Millionaires' problem is a secure multi-party computation problem introduced in 1982 by computer scientist and computational theorist Andrew Yao. The problem discusses two millionaires, Alice and Bob, who are interested in knowing which of them is richer without revealing their actual wealth.

This problem is analogous to a more general problem where there are two numbers and and the goal is to determine whether the inequality is true or false without revealing the actual values of and .

The Millionaires' problem is an important problem in cryptography, the solution of which is used in e-commerce and data mining. Commercial applications sometimes have to compare numbers that are confidential and whose security is important.

Many solutions have been introduced for the problem, including physical solutions based on cards.[1] The first solution, presented by Yao, is exponential in time and space.[2]

Protocols and proof

edit

The protocol of Hsiao-Ying Lin and Wen-Guey Tzeng

edit

Let   be a binary string of length n.

Denote 0-encoding of s as   and 1-encoding of s as  

Then, the protocol[3] is based on the following claim:

Assume that a and b are binary strings of length n bits.
Then   if the sets   and   have a common element (where a and b are the binary encodings of the corresponding integers).

The protocol leverages this idea into a practical solution to Yao's Millionaires' problem by performing a private set intersection between   and  .

The protocol of Ioannidis and Ananth

edit

The protocol[4] uses a variant of oblivious transfer, called 1-2 oblivious transfer. In that transfer one bit is transferred in the following way: a sender has two bits   and  . The receiver chooses  , and the sender sends   with the oblivious transfer protocol such that

  1. the receiver doesn't get any information about  ,
  2. the value of   is not exposed to the sender.

To describe the protocol, Alice's number is indicated as  , Bob's number as  , and it is assumed that the length of their binary representation is less than   for some  . The protocol takes the following steps.

  1. Alice creates a matrix   of size   of  -bit numbers, where   is the length of the key in the oblivious transfer protocol. In addition, she chooses two random numbers   and  , where   and  .
  2.   will be the  -th bit of the number that appears in cell   (where   indicates the least significant bit). In addition,   is denoted as the  -th bit of Alice's number  . For every  ,   Alice does the following actions.
    1. For every bit   she sets   and   to random bits.
    2. If  , let  , otherwise let   and for every   set   to a random bit.
    3. For   set   and   to  .
    4. For every  ,   will be a random  -bit number, and   will be another number of   bits where all bits except the last two are random, and the last two are calculated as   and  , where   is the bitwise XOR operation.
    5. For   set  . Where   indicates the bitwise rotation of   to the left by   bits.
  3. For every  ,   Bob transfers   with the oblivious transfer protocol, where  , and   is the  -th bit of  .
  4. Alice sends to Bob  .
  5. Bob calculates the bitwise XOR of all the numbers he got in step 3 and   from step 4. Bob scans the result from left to right until he finds a large sequence of zero bits. Let   be the bit to the right of that sequence (  is non zero). If the bit to the right of   equals 1, then  , otherwise  .

Proof

edit

Correctness

edit

Bob calculates the final result from  , and the result depends on  . K, and therefore c as well, can be split into 3 parts. The left part doesn't affect the result. The right part has all the important information, and in the middle is a sequence of zeros that separates those two parts. The length of each partition of c is linked to the security scheme.

For every i, only one of   has non-zero right part, and it is   if  , and   otherwise. In addition, if  , and   has a non-zero right part, then   has also a non-zero right part, and the two leftmost bits of this right part will be the same as the one of  . As a result, the right part of c is a function of the entries Bob transferred correspond to the unique bits in a and b, and the only bits in the right part in c that are not random are the two leftmost, exactly the bits that determines the result of  , where i is the highest-order bit in which a and b differ. In the end, if  , then those two leftmost bits will be 11, and Bob will answer that  . If the bits are 10, then  , and he will answer  . If  , then there will be no right part in c, and in this case the two leftmost bits in c will be 11, and will indicate the result.

Security

edit

The information Bob sends to Alice is secure because it is sent through oblivious transfer, which is secure.

Bob gets 3 numbers from Alice:

  1.  . For every   Bob receives one such number, and   is random, so no secure information is transformed.
  2. N. This is an XOR of random numbers, and therefore reveals no information. The relevant information is revealed only after calculating c.
  3. c. The same goes for c. The left part of c is random, and the right part is random as well, except for the two leftmost bits. Deducing any information from those bits requires guessing some other values, and the chance of guessing them correct is very low.

Complexity

edit

The complexity of the protocol is  . Alice constructs d-length number for each bit of a, and Bob calculates XOR d times of d-length numbers. The complexity of those operations is  . The communication part takes also  . Therefore, the complexity of the protocol is  

See also

edit

References

edit
  1. ^ Miyahara, Daiki; Hayashi, Yu-ichi; Mizuki, Takaaki; Sone, Hideaki (2020). "Practical card-based implementations of Yao's millionaire protocol". Theoretical Computer Science. 803: 207–221. doi:10.1016/j.tcs.2019.11.005.
  2. ^ Yao, Andrew C. (November 1982). "Protocols for secure computations". 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982). Vol. 1. pp. 160–164. doi:10.1109/SFCS.1982.88.
  3. ^ Lin, Hsiao-Ying; Tzeng, Wen-Guey (2005-06-07). "An Efficient Solution to the Millionaires' Problem Based on Homomorphic Encryption". Applied Cryptography and Network Security. Lecture Notes in Computer Science. Vol. 3531. pp. 456–466. CiteSeerX 10.1.1.75.4917. doi:10.1007/11496137_31. ISBN 978-3-540-26223-7.
  4. ^ Ioannidis, I.; Grama, A. (2003). "An efficient protocol for Yao's millionaires' problem". 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the. IEEE. pp. 6 pp. CiteSeerX 10.1.1.110.8816. doi:10.1109/hicss.2003.1174464. ISBN 978-0769518749. S2CID 6907526.