第6讲：隐语PIR介绍及开发实践_pir 隐私信息检索

1.PIR定义

隐私信息检索(Private information retrieval, PIR)是对信息检索(information retrieval, IR)的一种扩展，最早在[CKGS95]中提出，用于保护用户查询信息，防止数据持有方得到用户的检索条件。
PIR协议目标可以定义为：Alice有共$N$行的数据库D，每一行的数据大小为$L$。Bob希望查询获得其中指定位置的某一行，但是不想告诉Alice自己查询的是哪一行。
隐私信息检索协议(PIR)需要满足正确性和安全性两方面的要求：

• 正确性：用户得到要查询的数据
• 安全性：服务端 无法知道 用户查询的是哪条数

PIR按服务器数量可以分类为单服务器（Single Server）和多服务器（Multi-Server）方案，按查询类型可以分为Index PIR和Keyword PIR。

2.隐语实现PIR情况

隐语目前支持的PIR有：

• Single Server Index PIR: SealPIR
• Single Server Keyword PIR: Labeled PSI

2.1 spu pir api

pir_setup(
	key_columns (str, List[str]) – Column(s) used as pir key
	label_columns (str, List[str]) – Column(s) used as pir label
	oprf_key_path (str) – Ecc oprf secret key path, 32B binary format. Use an absolute path.
	setup_path (str) – Offline/Setup phase output data dir. Use an absolute path.
	num_per_query (int) – Items number per query.
	label_max_len (int) – Max number bytes of label, padding data to label_max_len Max label bytes length add 4 bytes(len).
)
1
2
3
4
5
6
7
8

pir_query(server: str, config: Dict, protocol='KEYWORD_PIR_LABELED_PSI')

{
    # client config
    alice: {
        'input_path': '/path/intput.csv',
        'key_columns': 'id',
        'output_path': '/path/output.csv',
    },
    # server config
    bob: {
        'oprf_key_path': '/path/oprf_key.bin',
        'setup_path': '/path/setup_dir',
    },
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

pir_memory_query(server: str, config: Dict, protocol='KEYWORD_PIR_LABELED_PSI')

{
    # client config
    alice: {
        'input_path': '/path/intput.csv',
        'key_columns': 'id',
        'output_path': '/path/output.csv',
    },
    # server config
    bob: {
        'input_path': '/path/server.csv',
        'key_columns': 'id',
        'label_columns': 'label',
        'num_per_query': '1',
        'label_max_len': '20',
    },
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

2.2 Index PIR-SealPIR 介绍

BFV SHE方案定义在固定多项式环 $R=\mathbb{Z}/(x^n+1)$上，明文是$R_t={\mathbb{Z}}_t/(x^n+1)$中的多项式即： $a_0+a_{1}x+\cdots +a_{n-1}{x}^{n-1}+a_{n-1}{x}^{n-1}$

• 多项式次数：$n$
• 明文系数模：$t$,素数
• 密文系数模：$q$,若干素数的乘积

在BFV SHE方案中，密钥$s$是一个从二项多项式（系数为0或1）采样的多项式。密文包括两个来自环$R_q=Z_q(x^n+1)$的多项式，$(c_0,c_1)=(a,b+e+m)$，其中$a$是从$R_q$中均匀采样的，$b=a\cdot s+e$，$e$是一个表示噪声的多项式，它的系数是从有界高斯分布里采样出来的。可以通过计算$u=c_1-c_0\cdot s=e+m$来解密，$e$是很小的噪声，这样就可以恢复出原文$m$。
密文扩展因子$F$：密文大小与明文大小之间的比率：
$$F=\frac{2logq}{logt}$$
SHE的同态运算会引起噪声的增长，当噪声超过一定限制时，无法解密得到明文，所以要适当选择SHE算法的参数，及控制同态运算的噪声增长。
密文是一对模$q$的多项式，而明文是模$t$的多项式。密文扩展因子直接影响PIR的响应大小。PIR的主要任务之一就是减少$F$。


BFV方案中，执行密文乘法运算时噪声增长很快，因此要避免使用密文乘法操作。

HE-Based PIR的原理就是将查询向量使用HE加密后发送给服务端，服务端使用该加密向量与服务器数据做内积运算并返回带查询数据的加密结果给客户端，最后由客户端解密返回结果获取PIR结果。
请求消息报文太大，包含n个密文向量。

2.2.1 SealPIR的主要贡献

将多个数据pack到一个HE明文

假设数据库中数据长度为$288$字节（SealPIR论文中给出的长度），BFV参数选择：多项式次数$8192$，明文模$16$bit，举例说明一下packing的效果：

• 数据库中每条数据，需要HE明文多项式中$Ceil(288\times 8/16)=144$个系数来表示。
• HE一个明文多项式可以包含$Floor(8192/144)=56$条数据库数据。
• 对数据库的查询$d{b}_{idx}$，需要转换为明文的查询$plai{n}_{index}=d{b}_{idx}/56$。
• 用户得到查询响应密文，通过私钥进行解密，得到HE明文，将HE明文对应的系数进行组合，得到真正查询的数据。

将查询向量压缩为一个密文
为了显著减少通信量，SealPIR方案在服务端添加一个额外的Expand操作得到查询密文向量。查询向量 $(0,\dots ,0,1,0,\dots ,0)$ 压缩到一个HE明文多项式为例，查询向量中的每个分量对应为HE明文多项式中的系数。
$$a_0+a_{1^x}+\cdots +a_{{N-2}^{x^{N-2}}}+a_{{N-1}^{x^{N-1}}}=E(x^{{\text{query}}_{\text{index}}})$$其中：
$$a_i=0,\text{if }i\ne quer{y}_{index},$$
$$a_i=1,\text{if }i=quer{y}_{index}$$
对查询明文进行加密，得到
$$E\left(a_0+a_{1^x}+\dots +a_{{N-2}^{x^{N-2}}}+a_{{N-1}^{x^{N-1}}}\right)=E(x^{{\text{query}}_{\text{index}}})$$
服务端接收到查询密文后，执行Expand算法，得到查询密文向量：
$$(E(0),\dots ,E(0),E(1),E(0),\dots ,E(0))$$

还是以上面packing的参数举例，每个HE明文可以pack $56$条数据库数据，客户端查询时，将$d{b}_{idx}$转换为$plai{n}_{index}$，即对HE明文数据库进行查询，最多可以查询$8192$个HE明文，转换成数据库数据，最多可以查询$8192\times 56=458,752$条数据，不能满足实际业务中的需求。
为了满足实际将查询向量压缩到多个HE明文来表示查询向量，对于百万数据来讲，需要$ceil(1000000/8192)=123$个HE明文，对应$123$个HE密文，才能表示百万数据的查询向量。为了进一步压缩查询密文的数量，可以使用下面的多维表示方法。

Expand算法的详细描述和证明可以参考[SealPIR]论文中的内容。

将数据库一维向量转换为多维向量
查询时将数据库表示为 $\sqrt{n}\ast \sqrt{n}$的二维矩阵，减少查询向量的长度。

以上面packing的参数为例，将数据库表示为$2$维数据时，通过两个查询密文可以查询的数据量是$8192\times 8192\times 56\approx 37$亿，已经能满足绝大多数的数据库查询任务。数据库数据量为$n$，通过packing后得到HE明文数量为$n^{\prime }$，$F$是密文扩张因子，二维查询流程如下：

服务端：

• 将HE明文表示为$\sqrt{n^{\prime }}\times \sqrt{n^{\prime }}$的矩阵$M$，其中$\sqrt{n^{\prime }}<8192$。
• $V_c$是密文查询列向量，$A_c=M\cdot V_c$，其中$A_c$是$\sqrt{n^{\prime }}\times 1$的密文列向量。
• 将$A_c$中每个密文拆分为$F$份明文多项式，得到$\sqrt{n^{\prime }}\times F$矩阵$A_{S_c}$。
• $V_r$是密文查询行向量，$A_{S_c}^T\cdot V_r$，得到维度为$F\times 1$的密文向量。

客户端：

• 客户端收到$F$个密文向量，使用私钥$sk$解密，将其组合成密文$Enc(M[r,c])$，使用私钥$sk$解密$Enc(M[r,c])$得到真正的查询HE明文$M[r,c]$，对HE明文$M[r,c]$中对应的系数进行组合，得到真正查询的数据。
  服务端为了避免进行密文乘以密文的同态运算，第3步中将密文拆解成$F$个明文进行操作，最后服务端发给客户端的查询响应是$F$个密文，在多项式次数$8192$时，$F\approx 26$，因此，服务端发给客户端的查询响应消息太大，这也是SealPIR主要的问题，后续的文章，主要目标是减少查询响应消息。

支持多查询

2.2.2 Keyword PIR-Label PSI介绍

基本原理：点值表示得到插值多项式系数表示。

客户端可以通过窗口技术，服务端采用分区技术减少乘法计算次数。

使用extremak postage stamp bass 减少通信开销

Paterson-Stockmeyer 算法减少密文乘法

隐语Label PSI 主要工作

• 以微软开源代码功能为核心
• OPRF采用隐语的实现
  • 支持的ecc曲线包括：FourQ、Secp256k1、SM2
• Label的自动填充
• 增加了服务的预处理结果保存功能
• 可以至此离线和查询（多次）两个阶段

setup阶段

1. 选择参数。
2. 对id数据进行PRF计算，前128bit根据截取用于匹配，后128bit作为对称算法密钥加密label。
3. 根据PRF前128bit将数据插入Simple Hash。
4. 对Simple Hash 每一行分别划分bin bundle，并计算matching polynomial 和label polynomial。
5. 将插值多项式系数packing到同态算法明文。

Query 阶段

1. 请求参数。
2. 执行OPRF。
3. 计算查询值得同态密文幂集合。
4. 使用同态私钥解密服务端返回的同态密文。
5. 满足匹配条件时，使用OPRF的后128bit解密得到label。

隐语Label PSI的主要参数

3.隐语PIR后续计划