實用安全多方計算導論（簡體書）

本書梳理了安全多方計算協議的基礎知識、常見設計方案和新的研究進展，兼備了理論與實踐，是該領域極佳的入門讀物。

王小雲院士等專家推薦，由國際著名密碼學家撰寫，安全多方計算領域必讀佳作，得到國際安全多方計算聯盟推薦

推薦序一
推薦序二
譯者序
致中文版讀者
致謝
第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章總結
中英文術語表
參考文獻