- 博客(11)
- 收藏
- 关注
RSS订阅原创 基础密码复习
对于一个理想的密码算法，我们期望达到的效果是敌手在获得密文信息CCC之后，对它获取加密的消息message mmm没有任何帮助。于是，我们就需要引出下面完美安全性的非形式化的定义：定义：如果对于任意一个消息m和任意一个加密后的密文c，我们有下面的等式成立，则称该加密方案满足完美安全性：Pr[M=m∣C=c]=Pr[M=m]Pr[M=m|C=c] = Pr[M = m]Pr[M=m∣C=c]=Pr[M=m]为了和下面的消息不可区分进行对照，我们这里给出一个等价的完美安全性定义：对于任意两个消息m0,m1m
2023-07-18 10:02:41
109
原创 混淆电路加速——点置换方法（point and permutation）
文章目录混淆电路简述点置换方法混淆电路简述\qquad用来构造安全两方协议的一个核心工具就是Yao的混淆电路。而Yao的混淆电路基本思想就是提供一种方法来计算电路，使得只有对应输出线的值才能被获得，其他输出线的输出值不能被获得。对于每一条线上的0,1值都用随机数来代替。例如第i条线的0我们用ki0k_i^0ki0来代替，第i条线的1我们用ki1k_i^1ki1来代替。其中ki0k_i^0ki0和ki1k_i^1ki1都是随机数。如果这样的话，当敌手获得ki0k_i^0ki0和ki1k_i^1
2021-11-12 09:06:43
635
2
原创 混淆电路的应用（构建多方安全计算协议，进而构造一个银行拍卖系统）
（阅读论文Privacy Perserving Auction and Mechanism Designed）一、摘要前面已经写了混淆电路混淆方案的一个构造了。然而，混淆电路有什么实际作用呢？这篇博客给出了一个应用（应用来自于阅读的论文）二、提出问题在一个网上拍卖会上，为了是拍卖会利益最大化，采用第二高价的规则（概念后面有介绍）进行拍卖。但是如果拍卖会作弊的话，就会对竞标者很不公平。（比如：最高出价竞标者出价为10000元，拍卖会不管第二高价格是多少，都说第二高的价格为9999元），为了避免这种问题
2021-11-02 22:27:22
600
原创 [混淆电路论文学习笔记——part4
阅读论文（Foundation of Garbled Circuits）文章目录一、往期回顾二、两方协议SFE和PFE介绍1、two-part SFE定义2、two-part PFE定义3、OT协议（PFE特例）4、通过混淆方案和OT协议，如何构造PFE。一、往期回顾混淆电路论文学习笔记——part1混淆电路论文学习笔记——part2混淆电路论文学习笔记——part3前面几部分我们主要介绍了混淆方案的一些基本的概念以及几个安全性概念之间的关系，以及给出了混淆方案的具体实现，接下来我们就说一下混淆
2021-10-30 21:37:16
236
原创 混淆电路论文学习笔记——part3
阅读论文（Foundation of Garbled Circuits）文章目录一、往期回顾二、混淆方案一代码1、电路混淆函数Gb2、编码函数En3、解码函数De4、求值函数ev5、求值函数Ev三、关于混淆方案一的讨论1、关于混淆方案一不满足不经意性的讨论1、关于混淆方案一不满足认证性的讨论四、混淆方案二一、往期回顾混淆电路论文学习笔记——part1混淆电路论文学习笔记——part2前面两部分我们主要介绍了混淆方案的一些基本的概念以及几个安全性概念之间的关系，这部分主要记录一下论文给出的满足隐私性
2021-10-30 20:05:16
299
原创 混淆电路论文学习笔记——part2
阅读论文（Foundation of Garbled Circuits）文章目录一、往期回顾二、代码游戏三一、往期回顾上一部分已经简单介绍了混淆方案，电路，边际信息函数以及混淆方案的三个安全性质。接下来进一步介绍三个安全性质以及三个安全性之间的关系。二、代码游戏密码学安全性证明大多都是通过游戏归约的方式来进行证明的。因此这里先介绍一下代码游戏游戏中一般包括三个可选程序，分别是初始化程序，交互程序，最终程序。一般初始化程序最先执行，进行一系列初始化操作。并且它的输出就是敌手A\mathcal{A
2021-10-30 14:22:26
4907
3
原创 混淆电路论文学习笔记——part1
混淆电路论文学习笔记——part1一、混淆方案定义混淆方案：一般来说，一个混淆方案算法Gb是把一个输入为nbit，输出为mbit的函数转化为一个三元组（F，e，d）。其中e（encode）把原函数f的nbit编码为新的的X，即X=e（x）。混淆函数F对X进行计算，得到Y，而d（decode）函数对Y进行解码，得到原来函数的mbit输出y。混淆更正式的描述如下：我们把混淆方案记录为（Gb，En，De，Ev，ev）五元组。其中Gb就是上面描述的变换。En是一个输入为e，x，输出为X的函数。同理，De是输入
2021-10-28 20:21:24
533
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人