實(shí)用安全多方計(jì)算導(dǎo)論

推薦序一
推薦序二
譯者序
致中文版讀者
致謝
第1章引言 1.1外包計(jì)算 1.2多方計(jì)算 1.3MPC應(yīng)用 1.4內(nèi)容概覽
第2章定義安全多方計(jì)算 2.1符號(hào)和慣用表示 2.2基礎(chǔ)原語(yǔ) 2.3MPC的安全性 2.3.1現(xiàn)實(shí)理想范式 2.3.2半誠(chéng)實(shí)安全性 2.3.3惡意安全性 2.3.4混合世界與組合性 2.4專(zhuān)用功能函數(shù) 2.5延伸閱讀 第3章基礎(chǔ)MPC協(xié)議 3.1GC協(xié)議 3.1.1GC的直觀(guān)思想 3.1.2GC協(xié)議的執(zhí)行過(guò)程 3.2GMW協(xié)議 3.2.1GMW的直觀(guān)思想 3.3BGW協(xié)議 3.4用預(yù)處理乘法三元組實(shí)現(xiàn)MPC 3.5常數(shù)輪MPC：BMR協(xié)議 3.6信息論安全亂碼電路 3.6.12輸入布爾門(mén)GESS方案 3.62減少秘密份額增長(zhǎng)量 3.7OT協(xié)議 3.7.1基于公鑰的OT協(xié)議 3.7.2OT協(xié)議中的公鑰密碼學(xué)操作 3.8專(zhuān)用協(xié)議 3.8.1隱私保護(hù)集合求交 3.9延伸閱讀
第4章實(shí)現(xiàn)技術(shù) 4.1低開(kāi)銷(xiāo)亂碼電路 4.1.1亂碼行縮減技術(shù) 4.1.2FreeXOR技術(shù) 4.1.3半門(mén)技術(shù) 4.1.4降低亂碼電路的計(jì)算開(kāi)銷(xiāo) 4.2優(yōu)化電路 4.2.1人工設(shè)計(jì) 4.2.2自動(dòng)化工具 4.3協(xié)議執(zhí)行 4.4編程工具 4.5延伸閱讀
第5章不經(jīng)意數(shù)據(jù)結(jié)構(gòu) 5.1特定不經(jīng)意數(shù)據(jù)結(jié)構(gòu) 5.2基于RAM的MPC 5.3樹(shù)形RAM-MPC 5.4平方根RAM-MPC 5.5Floram 5.6延伸閱讀
第6章惡意安全性 6.1切分選擇 6.2輸入恢復(fù)技術(shù) 6.3批處理切分選擇 6.4門(mén)級(jí)切分選擇：LEGO 6.5零知識(shí)證明 6.51GMW編譯器 6.5.2應(yīng)用亂碼電路構(gòu)造零知識(shí)證明 6.6可認(rèn)證秘密分享：BDOZ和SPDZ 6.6.1BDOZ可認(rèn)證秘密分享 6.6.2SPDZ可認(rèn)證秘密分享 6.7可認(rèn)證亂碼電路 6.8延伸閱讀
第7章其他威脅模型 7.1多數(shù)誠(chéng)實(shí)假設(shè) 7.1.1在亂碼電路的基礎(chǔ)上構(gòu)造多數(shù)誠(chéng)實(shí)協(xié)議 7.1.2三方秘密分享 7.2非對(duì)稱(chēng)信任模型 7.3隱蔽安全性 7.4公開(kāi)可驗(yàn)證隱蔽安全性 7.5降低切分選擇協(xié)議的通信開(kāi)銷(xiāo) 7.6安全性與高效性的權(quán)衡 7.7延伸閱讀
第8章總結(jié) 中英文術(shù)語(yǔ)表 參考文獻(xiàn)