20、多方计算与 ε - 差分隐私技术解析

多方计算与 ε - 差分隐私技术解析

1. 多方计算（MPC）概述

多方计算旨在让多个参与方在不泄露各自私有输入的情况下共同完成计算任务。1987 年的研究主要证明了安全多方计算的可行性，提出的方案即使在多达 (n/2–1) 个参与者恶意的情况下，仍能保证计算的正确性和隐私性。不过当时仅关注协议能否在多项式时间内完成，未考虑效率问题。

2. 多方计算的增强

2.1 理论增强

• 敌手模型 ：
  • 被动敌手 ：也称为半诚实或诚实但好奇的敌手，他们会正确遵循协议规范，但会试图以各种方式获取应保密的信息。还包括故障停止敌手，若提前终止协议执行能让他们在获取私有信息上获得优势，他们可能会这么做。
  • 恶意敌手 ：有时也叫“主动”敌手，他们可以任意偏离协议规范，但这种偏离能被诚实参与者检测到。
  • 隐蔽敌手 ：与恶意敌手类似，但对其攻击的检测有一定概率，该概率可根据应用进行调整。若攻击未被检测到，隐蔽敌手就能成功作弊，例如悄无声息地获取一些私有信息。
• 腐败策略 ：
  • 静态腐败 ：在协议开始前，被腐败方的数量和身份就已确定。
  • 自适应腐败 ：敌手在协议执行过程中决定腐败哪些参与方以及何时腐败，这些决策可能取决于环