多方安全计算的混淆电路初探 - 课程记录

多方计算协议旨在确保的最基本性质：

• 输入隐私性：在协议执行过程中，无法从发送的消息中推断出各方持有的隐私数据。关于私有数据可以推断出的唯一信息是仅从函数的输出中推断出的信息。
• 正确性：任何愿意在协议执行过程中共享信息或偏离指令的对抗性合谋方的适当子集都不能强制诚实方输出错误的结果。这个正确性的目标有两个方面:要么保证诚实方计算出正确的输出(一个“健壮”的协议)，要么发现错误就终止(一个“带abort”的MPC协议)。