用途:实现安全多方计算(SMPC),让多方在不集中数据的前提下联合计算函数,各方仅获得最终输出,无法得知他方个体输入。资料称其支持 GDPR 第5(1)(c)条数据最小化、第25(1)条设计保护、第26条联合控制者安排。
核心协议:
- Shamir 秘密共享(1979):将秘密拆为 n 份,任意 t 份可重构(t-out-of-n),少于 t 份不泄露信息;信息安全级安全,支持无需通信的加法,乘法需交互(Beaver 三元组或重共享)。
- 混淆电路(Yao,1986):两方计算,一方加密布尔电路,另一方求值而不见中间值;常数轮,通信量与电路规模成正比。
- 不经意传输(OT):发送方有多条消息,接收方选择其一,双方互不知选择与他人消息;是混淆电路求值的基础构件。
框架:MP-SPDZ(Python 类 DSL,多种安全模型,适合研究与原型)、CrypTen(PyTorch,2/3 方秘密共享,半诚实,适合 ML 推理与训练)、MOTION(C++,GMW/BMR,高性能 2 方以上)、ABY/ABY3(混合协议,在算术/布尔/Yao 共享间切换)、Sharemind(加法共享 3 方,SecreC DSL,企业托管部署)。MP-SPDZ 协议可按安全模型、参与方数、预处理量选择,如 SPDZ/MASCOT(恶意)、Semi2k、Shamir、Rep3、Yao’s GC。
部署模式:私有集合求交(PSI,如银行与保险公司找共同客户做联合风险评估)、私有聚合(多家机构求和/均值/计数)、私有 ML 训练(如用 CrypTen 让两家医院联合训练逻辑回归)。
性能考量:SMPC 通信密集,网络延迟、数据规模、电路复杂度、参与方数量和安全模型都会影响耗时;恶意安全比半诚实慢 10–100 倍。缓解方式包括同机房部署、使用常数轮协议、本地预聚合、优化电路深度、选用诚实多数的 3 方协议。
实施流程:定义计算→选择安全模型→选择框架→用 DSL 实现并合成数据测试→基准测试延迟/通信量/内存→部署(mTLS、密钥分发、监控)→治理(联合控制者协议、第30条记录、DPIA)。
限制与缺失信息:资料未提供各框架的许可、价格、具体安装命令、代码示例、版本兼容性及实际效果数据。