文献阅读笔记

1.文献:Covert Security with Public Verifiability:Faster, Leaner, and Simpler

中文:具有公共可验证性的秘密安全性:更快、更精简、更简单。

------------------以下内容属于自己的理解,如有错误,请多指教!----------------

2.主要内容:

这篇论文主要介绍了一种新的 publicly verifiable certificate(PVC) 协议。该协议的前提是在多方安全计算中,作弊者由于担心自己的名声变臭而不敢作弊。也就是诚实方有>=1/2的概率能抓到作弊者,并且生成相应的证书,(通过在协议的每一步骤添加参与方对自己的输入和输出做出承诺,来达到这个目的)该证书能证明作弊者在安全计算中存在不正当的行为,且作弊者不可抵赖。

3.亮点

该协议不仅针对半诚实的参与方有效,还对恶意的参与方也有效。虽然一般的PVC协议在运行时间,效率上有很大的优势,但是只能针对半诚实的参与方,对于恶意的参与方无效。而在本文提出的协议,两者都适用。因此,其效率上可能比不上上一个协议。但是大差不差。

4.others

1.covert security: 秘密安全。能确保在安全多方计算中,诚实的参与方检测到欺骗的行为。
2.PVC:publicly verifiable certificate.
3.这篇文献提出了一种PVC协议,准确度高,开销小。
The rationale for covert security is that it dissuades cheating by parties that care about their reputation and do not want to risk being caught. 
(秘密安全的基本原理是,它阻止了那些关心自己声誉、不想冒被抓风险的人的欺骗行为)
4.缺点:只有当欺骗不成功时,才能被诚实的参与方检测到。并且诚实的参与方不能向其他人证明有欺骗的行为发生。

------------------------------

5.协议的具体内容

1.

 第一步:参与安全计算的两方PA和PB,PB选择随机种子(用于生成随机数(如果种子是确定的话,生成的随机数也是确定的))。PB对这些种子做出承诺,并且把承诺发给PA。(PA可以在后面检测PB是否改变种子)

2.

第二步:PA随机选择lamda个种子,及生成对应的witnessj。PB随机选择一个数j',0<j'<=lamda。当j=j'时,bj=1,否则bj=0。然后PA和PB运行lamda次OT(不经意传输协议),在第j次执行中,PA输入seedsj 和witness(j),PB输入bj和由自己选择的种子seedsj生成的随机行randomness。如果j = j', 则PB得到witnessj,否则得到seedsj(由PA选择的seedsj)。也就是在执行完lamda次OT之后,PB会获得PA 的lamda-1个seeds,和1个witnees(这取决于PB选择的j')。transj表示第j次执行OT协议的记录的副本。

3.

第三步:对每一个j,PA使用seedsj来混淆电路C,得到混淆电路GCj。PA输入线,PB输入线,以及输出线的标签如上所示。由于PA是混淆电路及标签的制定者,所以PB需要通过和PA执行OT来获得自己的输入对应的标签。PB的输入由j来决定,如果j = j',则PB输入y, 否则输入0^n2。

PA和PB分别使用自己的seeds来生成对应的随机性。

H(j)表示第j次执行OT的记录的副本

4.

 第四步:PA对自己的所有的输入标签做出承诺,然后对混淆电路GCj,输入标签的承诺h(j,i,b),以及输出标签做出承诺cj。接着把cj发送给PB。

5.

第5步:PA对电路C,j,输入标签的承诺hj,第二步的OT记录的副本trainsj,第三步中OT记录的副本H(j),以及最后的承诺cj进行签名,得到sigma j。PA把签名发送给PB,PB验证是否是有效的签名。 

6.

---------判断PA是否作弊----------- 

第6步:PB利用自己的拥有的信息来模拟PA的计算,自己算出H(j)和c(j),然后和PA发送过来的相互比较,如果不相等,则输出对方作弊,并且生成相应的证书发送给PA,并且停止这个协议。

7.

--------判断PB是否作弊---------

 第7步:PB把自己随机选择的j'和PA的lamda-1个种子,以及witnessj'发送给PA,PA检查lamda-1个种子和witnessj'是否正确,如果不正确的话,停止执行。

8.

---------判断PA是否作弊------- 

第8步:PA把之前签名的内容发送给PB检查,如果PB计算出来和PA发送给自己的不等,那么PA作弊,PB停止。否则,PB独占运行混淆电路GCj,来判断输出标签是否正确。

 ----------------------------------------------------------

PVC协议介绍结束!

干饭去------------------------

评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值