随笔分类 -  Simulation Tutorial

学习 Lindell 的 How to Simulate it.
如何写好Simulation证明(三): 半诚实敌手模型下的OT
摘要：介绍半诚实敌手模型下的OT. 给出陷门OWP假设下的OT, 并给出证明. 阅读全文
posted @ 2024-05-09 12:36 Glory115 阅读(305) 评论(0) 推荐(0)
如何写好Simulation证明(二): 半诚实模型下MPC的定义
摘要：介绍半诚实模型下的MPC安全定义 阅读全文
posted @ 2024-05-09 12:30 Glory115 阅读(440) 评论(0) 推荐(0)
如何写好Simulation证明(一): 语义安全
摘要：密码学中很多证明需要用到Simulation, 尤其是ZK, MPC等等. 对于初学者来说, 涉及Simulation的证明往往不容易理解, 更别说自己独立证明, 所以有必要学习一下如何写这样的证明. 文章主要参考Yehuda Lindell的讲义: How to simulate it. 阅读全文
posted @ 2024-05-09 12:25 Glory115 阅读(662) 评论(1) 推荐(0)