Privacy Computing

本章深入探讨基于线性秘密分享方案（LSSS）的经典MPC协议，包括BGW协议（基于Shamir秘密分享，信息论安全）和GMW协议（基于加法秘密分享，计算安全），是隐私计算课程的核心协议章节。

本章深入探讨茫然传输（OT）这一基础密码学原语，包括OT的定义与变种、信息论安全OT的不可能性、基于DDH假设的半诚实安全OT构造、恶意安全OT协议以及IKNP茫然传输扩展（OTE）技术，是隐私计算课程的核心内容。

本章引入形式化的密码学安全模型——通用可组合性框架（UC framework），包括半诚实与恶意敌手模型、隐私性与恶意安全性的形式化定义、理想世界与现实世界的对比、UC框架的核心思想与组件等内容，是隐私计算课程的理论核心。

本章通过一个具体的例子介绍具有完美隐私性的通用安全多方计算协议，核心构建模块是Shamir秘密分享方案，包括拉格朗日插值法、秘密重构、隐私性证明以及安全加法和乘法协议等内容，是隐私计算课程的重要实践章节。

本章深入探讨现代密码学的基石——可证明安全（Provable Security）的三大支柱（形式化定义、精确假设、严格证明），介绍符号体系、密码学原语、威胁模型演进等内容，是隐私计算课程的理论基础。

本章概述安全多方计算（Secure Multi-Party Computation, MPC）的基本概念、核心问题、应用场景，介绍秘密分享机制和安全加法/乘法协议的基础构造思想，是隐私计算课程的理论入门。

本文深入探讨了安全多方计算（MPC）在恶意敌手模型下的安全性增强技术，涵盖了通用的 GMW 编译器、针对混淆电路的切分选择（Cut-and-Choose）技术以及 LP11 协议的详细推导。

深入探讨 Beaver 三元组（Beaver Triples）技术，讲解其通过离线预处理生成相关随机数来加速 MPC 在线乘法运算的核心原理与安全性证明。