包邮实用安全多方计算导论

推荐序一

推荐序二

译者序

致中文版读者

致谢

第1章引言 1.1外包计算 1.2多方计算 1.3MPC应用 1.4内容概览

第2章定义安全多方计算 2.1符号和惯用表示 2.2基础原语 2.3MPC的安全性 2.3.1现实理想范式 2.3.2半诚实安全性 2.3.3恶意安全性 2.3.4混合世界与组合性 2.4专用功能函数 2.5延伸阅读 第3章基础MPC协议 3.1GC协议 3.1.1GC的直观思想 3.1.2GC协议的执行过程 3.2GMW协议 3.2.1GMW的直观思想 3.3BGW协议 3.4用预处理乘法三元组实现MPC 3.5常数轮MPC：BMR协议 3.6信息论安全乱码电路 3.6.12输入布尔门GESS方案 3.62减少秘密份额增长量 3.7OT协议 3.7.1基于公钥的OT协议 3.7.2OT协议中的公钥密码学操作 3.8专用协议 3.8.1隐私保护集合求交 3.9延伸阅读

第4章实现技术 4.1低开销乱码电路 4.1.1乱码行缩减技术 4.1.2FreeXOR技术 4.1.3半门技术 4.1.4降低乱码电路的计算开销 4.2优化电路 4.2.1人工设计 4.2.2自动化工具 4.3协议执行 4.4编程工具 4.5延伸阅读

第5章不经意数据结构 5.1特定不经意数据结构 5.2基于RAM的MPC 5.3树形RAM-MPC 5.4平方根RAM-MPC 5.5Floram 5.6延伸阅读

第6章恶意安全性 6.1切分选择 6.2输入恢复技术 6.3批处理切分选择 6.4门级切分选择：LEGO 6.5零知识证明 6.51GMW编译器 6.5.2应用乱码电路构造零知识证明 6.6可认证秘密分享：BDOZ和SPDZ 6.6.1BDOZ可认证秘密分享 6.6.2SPDZ可认证秘密分享 6.7可认证乱码电路 6.8延伸阅读

第7章其他威胁模型 7.1多数诚实假设 7.1.1在乱码电路的基础上构造多数诚实协议 7.1.2三方秘密分享 7.2非对称信任模型 7.3隐蔽安全性 7.4公开可验证隐蔽安全性 7.5降低切分选择协议的通信开销 7.6安全性与高效性的权衡 7.7延伸阅读

第8章总结 中英文术语表 参考文献