实用安全多方计算导论戴维埃文斯隐私保护密码学姚氏乱码电路OP协议威胁模型

  内容简介

本书梳理了安全多方计算协议的基础知识、常见设计方案和新的研究进展，兼备了理论与实践，是该领域**佳的入门读物。

  目录

  推荐序一
推荐序二
译者序
致中文版读者
致谢
*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章总结
中英文术语表
参考文献