05 2024 档案

IKNP协议详解(OT extension)

摘要：详细介绍OT extension的重要文章: Extending Oblivious Transfers Efficiently. 作者是Yuval Ishai, Joe Kilian, Kobbi Nissim, and Erez Petrank, 发表在2003的Crypto上. 阅读全文

posted @ 2024-05-17 21:41 神龙小虾阅读(613) 评论(2) 推荐(0) 编辑

RSA 具有单向陷门置换的性质

摘要：这篇文章我们介绍RSA的单向性, 置换型等等. 我们给出formal的RSA假设: RSA假设. 给定一个三元组

(N, e, y)

, 其中

N

是大素数

p, q

的乘积,

g c d (e, Φ (N)) = 1

y \in Z_{n}^{*}

, 阅读全文

posted @ 2024-05-14 18:41 神龙小虾阅读(130) 评论(0) 推荐(0) 编辑

如何写好Simulation证明(三): 半诚实敌手模型下的OT

摘要：介绍半诚实敌手模型下的OT. 给出陷门OWP假设下的OT, 并给出证明. 阅读全文

posted @ 2024-05-09 12:36 神龙小虾阅读(182) 评论(0) 推荐(0) 编辑

如何写好Simulation证明(二): 半诚实模型下MPC的定义

摘要：介绍半诚实模型下的MPC安全定义阅读全文

posted @ 2024-05-09 12:30 神龙小虾阅读(254) 评论(0) 推荐(0) 编辑

如何写好Simulation证明(一): 语义安全

摘要：密码学中很多证明需要用到Simulation, 尤其是ZK, MPC等等. 对于初学者来说, 涉及Simulation的证明往往不容易理解, 更别说自己独立证明, 所以有必要学习一下如何写这样的证明. 文章主要参考Yehuda Lindell的讲义: How to simulate it. 阅读全文

posted @ 2024-05-09 12:25 神龙小虾阅读(428) 评论(0) 推荐(0) 编辑