密码学

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

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

TODO: 补充摘要 —— 密码学

本文详尽总结了隐私计算与安全多方计算（MPC）的理论体系，涵盖秘密分享、OT 协议、混淆电路及恶意安全模型等核心内容，是深入理解隐私计算技术的完整指南。

深入探讨混淆电路（Garbled Circuits）的核心机制，详细解析姚氏两方协议（Yao's GC）的构造步骤、安全性证明及其优化方案，并介绍如何通过 BMR 协议实现常数轮的多方安全计算。

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