条件布尔电路
我有两个问题，我找不到直截了当的答案，经过多次搜索。
(1)利用乱码电路实现任意函数上的二方MPC .要做到这一点，我们首先需要将一个函数转换为一个布尔电路，然后再进行混淆。有什么工具可以将任意函数转换成布尔电路吗？假设我想从一个给定的输入中排序三个数字。如何将此函数转换为布尔电路？
(2)条件语句在布尔电路中是如何工作的？我知道mux或X开关和Y开关操作可以用于简单的操作，比如(c)交换(a，b)可以完成。但是它在多个语句的情况下是如何工作的呢？
我有三个数字a，b，c。我要执行的操作如下所示：
func(a,b,c):
if c == 1:
c = a + b
a = 2 * c
b = 2 * a
else
a = 0
b = 0在布尔电路中，上面的函数是什么样子的？如果有，请给我参考资料。
谢谢。
回答 1
Cryptography用户
发布于 2022-11-19 02:52:28
假设我想从一个给定的输入中排序三个数字。如何将此函数转换为布尔电路？
对于这个问题，有简单的答案。使用电路对数字进行排序的传统方法(当一个人想要并行排序时会显示出来)是与排序网络有关的。对于非常小的输入大小，最优排序网络是已知的。通常，具有最佳渐近性的排序网络(AKS)并不特别实用。相反，一个很好的(一般)建议是甚至Mergesort，它使用O(n (\log n)^2)比较，并且是深度O((\log n)^2)电路。
条件语句在布尔电路中是如何工作的？
主要的答案是“它们是痛苦的”。一般(条件)语句可以被看作是计算某种形式的东西。
if val:
C1(x1,...,xn)
else:
C2(x1,...,xn)在这里，C1和C2是较小的电路/函数/任何东西。无论如何，要用电路计算这个分支，首先可以通过写入将其转换为无分支。
ytrue = C1(x1,...,xn)
yfalse = C2(x1,...,xn)
yreturn = (val and ytrue) or (not val and yfalse)本质上，当val为真时，可以将其简化为分支的第一部分。当val为false时，可以将其简化为分支的第二部分。
在原则上，将一些广泛的程序编译成二进制电路应该是简单明了的。在"MPC电路编译器“的搜索中，发现了一些相关的结果，即本论文，其中包括对已有文献的一些讨论。
https://crypto.stackexchange.com/questions/102857
复制相似问题
腾讯云开发者
