姚式百万富翁问题

问题简述

两个百万富翁都想比较到底谁更富有，但是有都不想让别人知道自己有多少钱。在没有可信的第三方的情况下如何进行？这就是著名的姚式百万赴富翁问题。
抽象并简化问题，假设Alice有一个整数i，公钥Eb，私钥Db。Bob有一个整数j，且$i,j\in [1,10]$

协议流程

1.Bob选择一个大随机数x，用Alice的公钥加密：$C=Eb(x)$，将$CT=C-j$发送给Alice；
2.Alice收到数据后，计算$Y_u=Db(CT+u),u\in [1,10]$，选取一个大素数p(p比x稍小)，计算$Z_u=Y_{u}modp$
3.Alice将$[Z_1,Z_2,\cdots ,Z_i,Z_{i+1}+1,Z_{i+2}+1,\cdots ,Z_{10}+1]$发送给Bob；
4.Bob查看$Z_j$是否等于$x(modp)$，若等于，则$i\ge j$，否则$i<j$，将结果告知Alice；

简单分析

选取一个大素数，尽管Alice得到CT，要猜测j也是困难的；
Alice计算$Z_u$后，从第i+1个位置开始，每个元素的值加上1，将序列发给Bob；
Bob解密后只关心第j个位置，因为$Z_j=CT+j=C-j+j=Eb(x)$(假设Bob得到的序列没有加1)；
假设$i<j$，则$Z_j$肯定是被加上了1，即是说$Z_i\ne x(modp)$；假设$i\ge j$，则$Z_j$的值就没有变，即是说$Z_i=x(modp)$；