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

转换逻辑电路

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

我们不妨以著名的百万富翁问题为例。在这个问题中，两个富翁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 = { 1 , a i a i − 1 ⋯ a 1 > b i b i − 1 ⋯ b 1 0 , a i a i − 1 ⋯ a 1 ≤ b i b i − 1 ⋯ b 1 c_i=\begin{cases}1,&a_ia_{i-1}\cdots a_1>b_ib_{i-1}\cdots b_