【隐私计算】安全三方计算（3PC）的加法和乘法计算协议

本文主要是介绍【隐私计算】安全三方计算（3PC）的加法和乘法计算协议，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

ABY3中采用replicated secret sharing（复制秘密分享）机制，即2-out-of-3秘密分享，三个参与方的每一方都拥有share中的两份。下面来看一下这样做有什么好处。

2-out-of-3秘密分享

有 $x, y$ 两个操作数，先进行秘密分享：

$P_1$ 拥有 $x_1, x_2), (y_1, y_2)$
$P_2$ 拥有 $x_2, x_3), (y_2, y_3)$
$P_3$ 拥有 $x_3, x_1), (y_3, y_1)$

常见的计算

1 加法

$\langle x+y\rangle=(x_1+y_1, x_2+y_2, x_3+y_3)$

2 加常数

$\langle x\rangle+c=(x_1+c, x_2, x_3)$ ，注意只需要加一次 $c$

3 数乘

$\langle cx\rangle=(cx_1, cx_2, cx_3)$

4 乘法

$\langle xy\rangle=(x_1+x_2+x_3)(y_1+y_2+y_3)\\=(x_1y_1+x_1y_2+x_1y_3)\\+(x_2y_1 + x_2y_2 + x_2y_3)\\+(x_3y_1 + x_3y_2 + x_3y_3)\\调整一下顺序\\=(x_1y_1+x_1y_2+x_2y_1)+\alpha_1 [P_1\rightarrow z_1]\\+(x_3y_2 + x_2y_2 + x_2y_3)+\alpha_2 [P_2\rightarrow z_2]\\+(x_3y_1 + x_1y_3 + x_3y_3)+\alpha_3 [P_3\rightarrow z_3]$
暂不管 $\alpha$ ，可以看到，三个参与方可以分别在本地计算出 $z_1, z_2, z_3$ ，也就是交叉项的结果。
然而，我们要求各方都持有三份share中的两份，所以需要re-sharing操作，也就是 $P_i$ 将 $z_i$ 发给 $P_{i-1}$ 。
现在来看 $\alpha$ 的作用， $\alpha$ 用于随机化 $z$ ，我们需要让 $\alpha$ 满足： $\alpha_1+\alpha_2+\alpha_3=0$ 。每一方都完全知道这三个值中的一个，这样的三元组 $(\alpha_1, \alpha_2, \alpha_3)$ 被称为zero-sharing（零共享），在one-time setup后的计算无需任何交互。
那么如何生成三元组？基于伪随机函数（PRF）生成，这部分本文不展开。

由此可见，3PC和2PC都在本地计算加法，他们最大的不同就是乘法：在2PC乘法中，交叉项需要借助OT或HE计算，带来巨大的通信或计算开销；而基于复制秘密分享的3PC乘法完全在本地计算交叉项，无需通信，在re-sharing时需要少量的通信。

5 截断

方法1： $\Pi_{Trunc1}$
核心想法是在一方不参与的情况下，运行两方协议。
令各方有 $\langle x^\prime\rangle=\langle y\rangle \langle z\rangle$ 的2-out-of-3的share（上面乘法后的结果），现在的目的是计算截断 $\langle x\rangle=\langle x^\prime \rangle/2^d$ 。
定义 $P_1, P_2$ 之间的2-out-of-2 share为 $(x_1^\prime, x_2^\prime+x_3^\prime)$ ，然后双方在本地截断 $(x_1^\prime/2^d, (x_2^\prime+x_3^\prime)/2^d)$ ，最后的结果为 $\langle x\rangle:=(x_1, x_2, x_3)=(x_1^\prime/2^d, (x_2^\prime+x_3^\prime)/2^d-r, r)$ ，其中， $r\in\mathbb Z^k_2$ 是一个 $P_2, P_3$ 知道的随机数。最后，为了让三方拥有两份share，需要再做一次re-sharing操作。
这个方法的局限性是两轮计算需要乘法和截断。