【隐私计算笔谈】MPC系列专题（十四）：双方比较

【隐私计算笔谈】MPC系列专题（十四）：双方比较

双方比较

之前已经介绍过了利用加密电路或者比特分解来实现安全多方比较。本次再介绍一种利用不经意传输来实现双方比较的方法。

不经意传输在之前的科普进行过介绍，该比较协议的主要思路为：将需要比较的两个比特串分为多个部分，每个部分再进行比较，最后利用树形结构进行组合。假设有比特串𝑥和比特串𝑦，将比特串𝑥划分为两个部分，分别为𝑥₁,𝑥₀，将比特串𝑦也划分为𝑦₁和𝑦₀。

表达式1{𝑥<𝑦} 表示若𝑥<𝑦，则表达式1{𝑥<𝑦} 的值为1，否则为0。同理，表达式1{𝑥=𝑦 } 表示若𝑥=𝑦则表达式的值为1，反之为0。

思考如下的比较：

把比特串𝑥和比特串𝑦分为两部分后，先比较𝑥1和𝑦1的大小，由于𝑥1和𝑦1都是高位部分，因此若𝑥1<𝑦1则比特串𝑥<𝑦；反之若𝑥1>𝑦1则𝑥>𝑦，在这两种情况下无需在比较𝑥0,𝑦0的大小了。只有当𝑥1=𝑦1时，需要通过比较𝑥0,𝑦0的大小关系来确定𝑥, 𝑦的大小关系。

式1就是该比较协议的核心思想。该协议的详细流程为：

首先假设Alice掌握比特串𝑥，Bob掌握比特串𝑦，先考虑最简单的情况，𝑥和𝑦等长均为𝑙比特且$\frac{l}{m}$为2的指数倍。

1. Alice和Bob分别对𝑥和𝑦进行𝑞等分：

Alice：把𝑥进行𝑞等分，每份𝑚比特：x=x_q-1$\mid$$\mid$…$\mid$$\mid$x₀
Bob：把𝑦进行𝑞等分，每份𝑚比特：y=y_q-1$\mid$$\mid$…$\mid$$\mid$y₀

2. Alice产生两个随机数，将其分别记为$<Ito,j{>}_0^B$, $<eqo,j{>}_0^B$。Alice利用
   𝑀 = 2^m个比特，分别为𝑠_j,0,…𝑠_j,M-1来标识𝑥_j的大小关系；利用𝑀个比特，分别为t_j,0,…t_j,M-1来标识𝑥_j的相等关系：
   Alice置变量𝑠_j,0,…𝑠_j,xj-1 =$<Ito,j{>}_0^B$⊕0
   Alice置变量𝑠_j,xj,…𝑠_j,M-1 =$<Ito,j{>}_0^B$⊕1
   Alice置t_j,0,…t_j,xj-1,t_j,xj+1,…t_j,M-1 =$<eqo,j{>}_0^B$⊕0
   Alice置t_j,xj =   < e q