摘要：
介绍半诚实敌手模型下的OT. 给出陷门OWP假设下的OT, 并给出证明. 阅读全文
摘要：
介绍半诚实模型下的MPC安全定义 阅读全文
摘要：
密码学中很多证明需要用到Simulation, 尤其是ZK, MPC等等. 对于初学者来说, 涉及Simulation的证明往往不容易理解, 更别说自己独立证明, 所以有必要学习一下如何写这样的证明.
文章主要参考Yehuda Lindell的讲义: How to simulate it. 阅读全文