安全多方计算的可行性 (Feasibility of MPC)

陆叁 2021-09-27

963

点击上方蓝字获取更多新鲜资讯

安全多方计算的安全性定义非常严格，因为不能容忍任何对抗性成功，并且该协议的行为应该像可信第三方正在执行该计算，也就是我们之前看到的理想中的世界。因此，人们可能会怀疑是否甚至有可能在此定义下获得安全协议，如果可以，则针对其执行分布式计算任务。

令人惊讶的是，已经建立了强大的可行性结果，表明实际上在存在恶意的情况下依然可以安全地计算任何分布式计算任务。现在我们简要说明这些结果中最重要的部分，假设表示参与方的数量，表示可能被腐坏的计算方的数量的界限 (其中被腐坏方的身份未知)：

对于 (即，当不到三分之一的参与方可能被腐坏时)，任何具有计算安全性的函数都可以实现具有公平性和有保证的输出的安全多方协议，假设一个具有认证信道的同步点到点网络，在信息论安全的前提下，假设信道也是私有的。
对于 (即，在保证诚实多数的情况下)，对于任何具有计算和信息论安全性的函数，都可以实现具有公平性和保证输出的安全多方协议，假设各方也可以访问广播信道。
对于 (即当腐坏方的数量不受限制时)，可以实现安全的多方协议 (没有公平性或保证输出)。