安全协议之安全多方计算
基本概念
安全多方计算，SMC(MPC)(Secure Muti-party Computation)；
安全多方计算是指在无可信第三方情况下，多个参与方协同计算一个约定函数，且保证每一方仅获取自己的计算结果，无法通过计算过程中的交互数据推测出其他任意一方的输入和输出数据(除非函数本身可以由自己的输入推测出其他参与方的输入和输出)
主要计算需求: 比较、线性操作 (加、乘)、非线性操作、求交集
特性
- 正确性：多方计算参与各方通过约定安全多方计算协议发起计算任务并进行协同计算运算数据结果具备正确性。
- 隐私性：安全多方计算首要的目的是各参与方在协作计算时如何对隐私数据进行保护即在计算过程中必须保证各方私密输入独立，计算时不泄露任何本地数据。
- 去中心化：安全多方计算中，各参与方地位平等，不存在任何有特权的参与方或第三方，提供一种去中心化的计算模式。
真实-理想模型
- 理想：存在可信第三方；
- 真实：无可信第三方；
- 目标：真实环境下的敌手无法产生比理想环境下的攻击者更多的危害。
攻击者模型
- 半诚实模型(Semi-Honest Adversaries’ Security)
- 敌手遵循协议，但试图获得其他额外信息；
- 恶意行为模型(Malicious Adversaries’ Security)
- 敌手可能采取任意行为