如何在不看的情况下进行计算:对安全多方计算的一瞥

主要观点:Secure Multi-party Computation (SMPC)用于多不信任方间保护数据,能分布式计算且保证数据隐私和结果正确,行业中有多个应用实例。文中以盲约为例,通过朋友帮助Amy和Bob秘密决定是否有第二次约会,利用信封技巧和一些数学运算来实现多党计算,还介绍了模运算、秘密投票等内容,最后阐述了GMW协议可用于分布式评估布尔电路。
关键信息

  • SMPC在行业中的应用实例,如J.P. Morgan的“Prime Match”、Google在Google Cloud Platform中的应用、Apple的Private Set Intersection、德国和意大利医院的合作等。
  • 盲约中朋友帮助Amy和Bob秘密决定是否有第二次约会的方式,包括计算随机比特和利用信封技巧。
  • 模运算的概念及在多党计算中的应用,如加法和乘法模2与异或和与门的关系。
  • 秘密投票的电路及中间变量的计算方式,用于确定多数投票结果。
  • GMW协议可用于分布式评估布尔电路,各参与方创建输入的秘密份额并进行相关计算。
    重要细节
  • Amy和Bob通过计算随机比特并共享给朋友,利用信封技巧进行秘密计算,避免朋友直接知道他们的选择。
  • 模运算中加法和乘法模2的规则,以及在多党计算中的应用,如计算比特的乘积和和。
  • 秘密投票中中间变量的计算方式和投票结果的确定方式,通过多个条件判断确定至少有一定数量的投票为1。
  • GMW协议中各参与方创建输入的秘密份额,通过异或和特定协议进行计算,最终揭示最终输出。
阅读 8
0 条评论