混淆电路——转换逻辑电路

转换逻辑电路

遵照这个混淆电路的定义，双方能在互相不知晓对方数据的情况下计算某一函数。混淆电路要求这一函数能被逻辑电路表示，所以如何将要求函数转化为一个逻辑电路是关键的一步。

我们不妨以著名的百万富翁问题为例。在这个问题中，两个富翁Alice和Bob想在不知道对方财富值的情况下计算谁的财富值更高，所以他们需要求解的函数是比较大小，我们尝试将这一函数转化为电路。

逻辑电路

我们不妨认为Alex和Bob的财富是用二进制表示的一个整数$a_n{a}_{n-1}\cdots a_1$，$b_n{b}_{n-1}\cdots b_1$，其中 a i , b i ∈ { 0 , 1 } a_i,b_i\in\{0,1\} ai​,bi​∈{0,1}。我们可以用归纳法来判断它们的大小。
我们定义变量$c_i=\{\begin{array}{ll}1,& a_i{a}_{i-1}\cdots a_1>b_i{b}_{i-1}\cdots b_1\\ 0,& a_i{a}_{i-1}\cdots a_1\le b_i{b}_{i-1}\cdots b_1\end{array}$
以及其初始值$c_1=0$ 。在已知$a_i,b_i,c_i$的情况下，$c_{i+1}$可以做如下推导。$c_{i+1}=1\iff (a_i>b_i)or(a_i=b_{i}and{c}_i=0)$，可以转化成以下逻辑电路。

我们将上述电路封装成一个三个输入（$a_i,b_i,c_i$）一个输出（$c_{i+1}$）的模块> 。我们将$n$个这样的模块串联起来，就完成了判断$a_i{a}_{i-1}\cdots a_1>b_i{b}_{i-1}\cdots b_1$的电路。
在这个电路中，$c_{n+1}$为整个电路的输出。当输出是1时，$a_i{a}_{i-1}\cdots a_1>b_i{b}_{i-1}\cdots b_1$成立。

总结

我们在这里成功地将一个比较大小的函数转化成了一个逻辑电路，但仅仅有电路还不够解决百万富翁问题。因为电路中每一根线的值都是明文的，所以Alice和Bob都能知道对方的财富值。
结合逻辑电路和之前提到的不经意传输，我们就可以得到混淆电路，并提供百万富翁问题 的一种解法。

附录

正文中提到的电路用到了多处取反，并不是最优的。通过观察，我们不难发现$c_{i+1}=a_i\oplus [(a_i\oplus c_i)\wedge (b_i\oplus c_i)]$ 。
所以我们可以将电路简化为：