KKRT16算法解析

KKRT16协议如下：

$参数:$Alice输入$X；$Bob输入$Y，$其中$|X|=|Y|=n.s$是Cuckoo哈希的存储大小的上界。

1. Bob指定随机哈希函数$h_1,h_2,h_3:$ ${ 0, 1} ^{* }\to [ 1.2n] $并将它们告诉Alice。

2. Bob使用Cuckoo哈希将他的$Y$的各条数据分配到$1.2n$个箱中。让Bob为每个$y$跟踪$z(y)$，即：如果$z(y)=\perp$，则$y$在存储中；否则$y$在箱$z(y)$中，这个过程中以任意顺序安排存储中的项目。(Cuckoo hashing分为两个存储表，一个为Cuchoo哈希表，一个称为堆存储容器，本协议采用的这样的容器，之后的文章有采用无堆存储容器的Cuckoo hashing)

   Bob按以下方式选择OPRF输入：对于$i\in [1.2n]$，如果箱$\#i$为空，则将$r_i$设置为虚值；否则，如果$y$在箱$\#i$中，则将$r_i=y\Vert z(y)$。对于$i\in [s]$，如果存储中位置$i$是$y$，则将$r_i=y$；否则将$r_i$设置为一个虚值，由此生成$(r_i)$.

3. 各方调用$1.2n+s$个OPRF实例(BaRK-OPRF)，其中Bob作为接收方，输入为$(r_1,\dots ,r_{1.2n+s})$。Alice拥有密钥$(k_1,\dots ,k_{1.2n+s})$，Bob接收所有$i$的$F(k_i,r_i)$。

4. Alice计算(F即OPRF)：

H i = { F ( k h i ( x ) , x ∥ i ) ∣ x ∈ X } ,   f o r   i ∈ { 1 , 2 , 3 } S j = { F ( k 1.2 n + j , x ) ∣ x ∈ X } ,   f o r   j ∈ { 1 , … , s } \begin{array}{l}{H_{i}=\{F(k_{h_{i}(x)},x\|i)\mid x\in X\},\mathrm{~for~}i\in\{1,2,3\}}\\{S_{j}=\{F(k_{1.2n+j},x)\mid x\in X\},\mathrm{~for~}j\in\{1,\ldots,s\}}\end{array} Hi​={F(khi​(x)​,x∥i)∣x∈X}, for i∈{1,2,3}Sj​={F(k1.2n+j​,x)∣x∈X}, for j∈{1,…,s}​

并将每个集合的一个排列发送给Bob。

5. Bob初始化一个空集$\mathcal{O}$，对于$y\in Y$执行以下操作：如果$z(y)=\perp$且$y$在存储中的位置为$j$且$F(k_{1.2n+j},y)\in S_j$，则Bob将$y$添加到$\mathcal{O}$。如果$z(y)\ne \perp$且$F(k_{h_{z(y)}(y)},y\Vert z(y))\in H_{z(y)}$，则Bob将$y$添加到$\mathcal{O}$。

6. Bob将$\mathcal{O}$发送给Alice，双方输出$\mathcal{O}$。