注：原文作者是以太坊联合创始人VitalikButerin。
特别感谢DankradFeist对本文进行的审阅工作。
混淆电路是一种非常古老，且非常简单的密码学原语。它们很可能是通用“多方计算”的最简单形式。
以下是该方案的常规设置：
假设存在两方，爱丽丝和鲍勃，他们想要计算一些函数f(alice_inputs,bob_inputs)，这需要从双方那获取输入。爱丽丝和鲍勃都想知道计算函数f的结果，但是爱丽丝不想鲍勃知道她的输入，而鲍勃则不想爱丽丝知道他的输入。理想情况下，除了f的输出外，他们都不会得知任何其它东西。
爱丽丝执行特殊的过程来加密评估函数f的电路。她将输入传递给鲍勃。
鲍勃使用一种称为“1-of-2茫然传输”的技术来学习自己输入的加密形式，而不让爱丽丝知道他获得了哪些输入。
鲍勃在加密数据上运行加密电路，得到答案，并将其传递给爱丽丝。
额外的密码学封装可用于保护该方案，以防止爱丽丝和鲍勃发送错误的信息并互相给出错误的答案。为了简单起见，我们不会讨论这些问题，尽管可以说“把ZK-SNARK封装在所有东西上”是其中之一有效的解决方案。
价值逾3600万美元的ETH转入Coinbase:金色财经报道，据Whale Alert监测显示，今日15:17，19328枚ETH（价值约3612万美元）从未知钱包转入Coinbase。[2023/7/24 15:55:10]
那基本方案如何运作呢？让我们从电路开始：
这是一个最简单的电路例子，它实际上做了一些事情：它是一个两位加法器。它以二进制形式输入两个数字，每个数字具有两位，并输出一个三位二进制数字。
现在，让我们对电路进行加密。首先，对于每个输入，我们随机生成两个“标签”：一个表示输入为0，另一个表示输入为1。然后我们也对每个中间线做同样的操作，不包括输出线。注意，这些数据不是爱丽丝发送给鲍勃的“混淆”的一部分；到目前为止，这只是设置。
VitalHu部署基于区块链的冠状病筛查工具:金色财经报道，加拿大技术公司VitalHub Corp于4月8日宣布首次部署一种基于区块链的冠状病筛查工具DOCit。该工具将由滑铁卢地区名为Sunny Side Home的长期护理机构使用。该工具旨在部署和配置任何筛查或重复任务，从而为护理提供者、运营人员以及国家、省或地区卫生当局制定报告标准。[2020/4/9]
现在，对于电路中的每个门，我们执行以下操作。对于每一个输入组合，我们在爱丽丝提供给鲍勃的“混淆”中包含输出标签，该标签是通过将导致该输出的输入标签散列在一起而生成的密钥加密的。为了简单起见，我们的加密算法可以是
enc(out,in1,in2)=out+hash(k,in1,in2)，其中
k是门的索引。如果你知道这两个输入的标签，并且你有混淆，那么你可以学习相应输出的标签，因为你只需计算相应的哈希，并将其减去即可。
这是第一个异或门的混淆：
动态 | Vitalik提出加速合并以太坊1.0及2.0的替代方案，1.0系统将成为执行环境:以太坊联合创始人Vitalik Buterin发布了一项在向以太坊2.0过渡中的合并以太坊1.0和2.0的替代方案。Vitalik表示，该方案旨在将整个PoW区块链加速移向以太坊2.0的信标链，但该方案需要无状态客户端 (stateless clients) ，无需无状态矿工和Webassembly语言，所以将减少需要完成过渡的配置。该方案的条件包括需要一个能够实现支持验证、见证区块以及生成见证区块功能的无状态客户端软件。该方案的运营方式为，以太坊1.0系统将成为以太坊2.0的执行环境之一，但在最初可以成为以太坊2.0的分片之一。在该方案中，参与以太坊1.0系统的验证人可以注册为以太坊1.0的友好验证人，将维护除了其信标节点外一个完整的以太坊1.0完整节点。[2019/12/26]
请注意，我们直接包括0和1，因为此异或门的输出直接是程序的最终输出。现在，让我们看一下最左边的与门：
动态 | 区块链公司SimplyVital Health获得美国国家科学基金会22.5万美元赠款:根据在10月10日发布的新闻稿，总部位于新英格兰的区块链公司SimplyVital Health已从美国国家科学基金会（NSF）获得225,000美元的赠款，用于研究其协议Nexus与Graphene协议的集成。NSF将该赠款作为其小型企业计划的一部分，该计划每年向创新型初创企业和小型企业捐款2亿美元。[2019/10/11]
在这里，门的输出仅用作其他门的输入，因此我们使用标签而不是位来隐藏评估器中的这些中间位。
爱丽丝将提供给鲍勃的混淆只是每个门第三列中的所有内容，每个门的行被重新排序。为了帮助鲍勃了解为每个门解密哪个值，我们将使用一个特定的顺序：对于每个门，第一行变为两个输入标签均为偶数的行，第二行第二个标签为奇数，第三行第一个标签为奇数，第四行两个标签均为奇数。我们以相同的方式混淆电路中的每个其他门。
总之，爱丽丝为电路中的每个门向鲍勃发送了四个约256位的数字。事实证明，4远非最佳值；有关如何将与门的数量减少为3甚至是2，以及将异或门数量减少为零，请参见此处的一些优化。请注意，这些优化确实依赖于某些更改，使用XOR代替加法和减法，尽管为了安全起见还是应该这样做。
以太坊创始人Vitalik公布以太坊2.0路线图:以太坊创始人Vitalik公布以太坊2.0路线图，分片机制作为协议提升的核心。在以太坊2.0中，二进制Merkle树，更快的以太坊虚拟机（EVM），更好的可平行性以及无国界的客户端都是计划内的更改。开发将会分为两层，第一层将会引入安全和保守的更新，而第二层将会实现迅速开发，也就是当分片系统通过验证处理者合约被引入时。关于分片的一些初步工作已经可以在GitHub上查看，同时Vitalik的完整讲话也能够在YouTube上进行观看。[2017/11/29]
当鲍勃收到电路时，他向爱丽丝索要与她的输入相对应的标签，并且他使用称为“1-of-2茫然传输”的协议来向爱丽丝索要与自己的输入相对应的标签，而没有向爱丽丝透露他的输入是什么。然后他一个接一个地通过电路中的各个门，揭露每个中间门的输出线。
假设爱丽丝的输入是两条左线，她给出，而鲍勃的输入是两条右线，他给出。这又是带有标签的电路：
在一开始，鲍勃知道标签6816,3621,4872,5851；
鲍勃评估第一个门，他知道6816和4872，因此他可以提取与对应的输出值并提取第一个输出位1；
鲍勃评估第二个门，他知道6816和4872，因此他可以提取与对应的输出值并提取标签5990；
鲍勃评估第三个门，他知道他知道3621和5851，并学习7504；
鲍勃评估第四个门，他知道3621和5851，并学习6638；
鲍勃评估第五个门，他知道3621和5851，并学习7684；
鲍勃评估第六个门，他知道5990和7504，并学习第二个输出位0；
鲍勃评估第七个门，他知道5990和6638，并且学习了8674；
鲍勃评估第八个门，他知道8674和7684，并学习了第三个输出位1；
这样鲍勃就了解了输出：101。在二进制中，10+11实际上等于101的原因），所以它起作用了！
请注意，加法的使用在混淆电路中是毫无意义的，因为知道101的鲍勃可以减去他自己的输入并得到101-11=10，从而破坏了隐私。但是，一般情况下，混淆电路可用于不可逆的计算，因此请勿以此方式破坏隐私（例如，人们可能会想到一种计算，其中爱丽丝的输入和鲍勃的输入，是他们对个性测验的答案，而输出是一个位，决定算法是否认为它们是兼容的；而这一位的信息不会让爱丽丝和鲍勃知道彼此的个人测验答案。
1-of-2茫然传输
现在让我们更多地讨论1-of-2茫然传输，这是鲍勃用来从爱丽丝那获取与他自己输入对应标签的技术。问题是这样的：聚焦于鲍勃的第一个输入位，爱丽丝有一个对应于0的标签，和一个对应于1的标签。鲍勃有他想要的输入位：1。鲍勃想学习正确的标签，而又不让爱丽丝知道他的输入位是1。平凡的解决方案不起作用，因为爱丽丝只想放弃两个输入标签中的一个，如果鲍勃同时接收两个输入标签，则可能泄漏爱丽丝不想放弃的数据。
下面是一个使用椭圆曲线的简单协议：
爱丽丝生成一个随机椭圆曲线点H；
鲍勃生成两个点P1和P2，要求P1+P2等于H。鲍勃选择P1或P2为G*k。请注意，P1+P2=H的要求可确保鲍勃不能生成P1和P2。这是因为如果在鲍勃知道k1和k2的情况下，如果P1=G*k1和P2=G*k2，则H=G*，因此这意味着鲍勃可提取H的离散对数，这意味着椭圆曲线密码系统的所有部分都被破坏了；
爱丽丝确认P1+P2=H，并使用一些标准公钥加密方案加密P1下的v1和P2下的v2。鲍勃只能解密这两个值中的一个，因为他知道最多对应一个值的私钥，而爱丽丝又不知道是哪一个。
这解决了问题，鲍勃根据输入位的不同，学习两个线标签中的一个，而爱丽丝却不知道鲍勃学习了哪个标签。
应用领域
混淆电路对于很多应用都有潜在的用途，而不仅仅是2-of-2的计算。例如，你可以使用它们进行任意复杂度的多方计算，其中任意数量的参与者提供输入，这些输入可以在恒定数量的交互中运行。产生一个混淆电路是完全并行的，你可以同时进行多个混淆门。
因此，你可以简单地进行大规模多方计算，其中许多参与者计算电路中所有门的混淆，并发布与其输入对应的标签。标签本身是随机的，因此不会透露任何关于输入的信息，但是任何人都可以执行公布的混淆电路，并在“清除”中学习输出。有关使用混淆作为成分的MPC协议的最新示例，请参见此处。
多方计算不是唯一的应用环境，在这种情况下，这种将计算拆分为可并行处理部分的技术可对秘密数据进行操作，然后再进行可明确运行的顺序部分，这是有用的，而混淆电路并不是实现这一点的唯一技术。一般来说，关于随机编码的文献，包括很多更复杂的技术，这一数学分支在函数加密和模糊处理等技术中也是很有用的。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。