×

兹马思-数学第一资源

高效的异步可验证秘密共享和多方计算。(英语) Zbl 1308.94099号
摘要:安全多方计算(MPC)提供了信息理论上的安全性,它允许一组多方在有限域上安全地计算约定的函数,即使各方在计算上不受限制的主动对手的控制下。异步MPC(AMPC)是MPC的一个重要变体,它在异步网络上工作。众所周知,完全AMPC是可能的当且仅当\(t<n/4\),而统计AMPC是可能的当且仅当\(t<n/3\)。本文研究了精确设计(n=4t+1)方的AMPC协议(统计和完美)的通信复杂性。我们在本文中的主要贡献如下:
1
异步可验证秘密共享(AVSS)是AMPC协议的主要组成部分之一。本文设计了两个具有(4t+1)方的AVSS方案:第一个方案是统计安全的,具有非最优弹性;第二个方案是完全安全的,具有最优的弹性。这两个方案都实现了一个共同的有趣特性,这是以前的方案所没有实现的。具体地说,我们的AVSS方案允许共享一个秘密,最大共享度为\(d\),其中\(t\leq d\leq2t\)。相比之下,现有的AVSS方案允许共享度最多为\(t\)。AVSS方案的新特性简化了AMPC协议中乘法门计算的降阶步骤。
2
利用我们的统计AVSS方案,我们设计了一个具有\(n=4t+1\)的统计AMPC协议,该协议要求每个乘法门需要一个\(\mathcal O(n^2)\)字段元素的摊销通信。虽然该协议具有非最优的弹性,但它显著提高了现有统计AMPC协议的通信复杂度。
三。
(4)使用完全乘法(math ampo)方案,也会产生一个完美的乘法(math ampo)方案。该协议改进了我们的统计AMPC协议,因为它具有最佳的弹性。这是最有效的通信,最佳弹性,完美的AMPC协议。
理学硕士:
94A62型 认证、数字签名和秘密共享
94立方厘米 故障检测;电路和网络测试
94A17型 信息量,熵
软件:
维夫
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Abraham,I.;Dolev,D.;Halpern,J.Y.;Bazzi,R.A.(ed.);Patt Shamir,B.(ed.),具有最佳弹性的异步拜占庭协议几乎可以确定终止的多项式协议,加拿大多伦多,2008年8月18日至21日,纽约·Zbl 1301.68047
[2] Beaver,D.;Feigenbaum,J.(ed.),使用电路随机化的有效多方协议,美国加利福尼亚州圣巴巴拉市,1991年8月11日至15日,柏林·Zbl 0789.68061
[3] Beaver,D.,安全多方协议和零知识证明系统容忍错误少数,J.Cryptol.,4,75-122,(1991)·Zbl 0733.68006
[4] Beerliová-TrubíniováZ.;Hirt,M.;Halevi,S.(编辑);Rabin,T.(编辑),《有效的多方计算与争议控制》,纽约,纽约,美国,2006年3月4日至7日,柏林·Zbl 1112.94023
[5] Beerliová-TrubíniováZ.;Hirt,M.;Kurosawa,K.(ed.),简单高效的完全安全异步MPC,马来西亚古晋,2007年12月2日至6日,柏林·Zbl 1153.94347
[6] Beerliová-TrubíniováZ.;Hirt,M.;Canetti,R.(编辑),《具有线性通信复杂性的完全安全MPC》,美国纽约,2008年3月19日至21日,柏林·Zbl 1162.94336
[7] Ben Or,M.;Canetti,R.;Goldreich,O.,《异步安全计算》,52-61,(1993),纽约·Zbl 1310.68044
[8] Ben Or,M.;Goldwasser,S.;Widderson,A.,非密码容错分布式计算的完备性定理(扩展摘要),芝加哥,伊利诺伊州,美国,1988年5月2-4日,纽约
[9] Ben Or,M.;Kelmer,B.;Rabin,T.,《具有最佳弹性的异步安全计算》,美国加利福尼亚州洛杉矶,8月14日至17日,纽约·Zbl 1373.68074
[10] Ben Sasson,E.;Fehr,S.;Ostrovsky,R.;Safavi Naini,R.(编辑);Canetti,R.(编辑),《具有不诚实少数的近线性无条件安全多方计算》,加利福尼亚州圣巴巴拉,美国,2012年8月19-23日,柏林·Zbl 1296.94082
[11] Bennett,C.H.;Brassard,G.;Crépeau,C.;Maurer,U.M.,《广义隐私放大》,IEEE Trans。《基础理论》,411915-1923,(1995)·Zbl 0856.94018
[12] Bennett,C.H.;Brassard,G.;Robert,J.,《公共讨论的隐私放大》,暹罗J.Comput.,17210-229,(1988)·Zbl 0644.94010
[13] Bracha,G.,异步⌊(\(n\)-1)/3⌋弹性共识协议,加拿大不列颠哥伦比亚省温哥华,1984年8月27日至29日,纽约
[14] R、 Canetti,安全多方计算与应用研究。1995年,以色列魏茨曼研究所博士论文·Zbl 0644.94010
[15] Canetti,R.;Rabin,T.,《具有最佳弹性的快速异步拜占庭协定》,42-51,(1993),纽约·Zbl 1310.68038
[16] Chaum,D.;Crépeau,C.;Damgård,I.,多方无条件安全协议(扩展摘要),芝加哥,伊利诺伊州,美国,1988年5月2日至4日,纽约
[17] Chor,B.;Goldwasser,S.;Michali,S.;Awerbuch,B.,《故障情况下的可验证秘密共享和同时实现》(扩展摘要),普罗维登斯,罗德岛,美国,1985年5月6日至8日,纽约
[18] Choudhury,A.;Hirt,M.;Patra,A.;Afek,Y.(ed.),具有线性通信复杂性的异步多方计算,耶路撒冷,以色列,2013年10月14日至18日,柏林
[19] Cramer,R.;Damgård,I.;Dziembowski,S.;Hirt,M.;Rabin,T.;Stern,J.(ed.),高效多方计算安全防范自适应对手,布拉格,捷克共和国,1999年5月2日至6日,柏林·Zbl 0931.94019
[20] Damgård,I.;Geisler,M.;Krøigard,M.;Nielsen,J.B.;Jarecki,S.(编辑);Tsudik,G.(编辑),《异步多方计算:理论与实现》,加州欧文,美国,2009年3月18日至20日,柏林·Zbl 1227.68014
[21] Damgård,I.;Ishai,Y.;Dwork,C.(编辑),《可伸缩安全多方计算》,圣巴巴拉,加利福尼亚,美国,2006年8月20日至24日,柏林·Zbl 1161.94394
[22] Damgård,I.;Nielsen,J.B.;Menezes,A.(ed.),可伸缩和无条件安全多方计算,加利福尼亚州圣巴巴拉,美国,2007年8月19日至23日,柏林会议记录·Zbl 1215.94041
[23] Dolev,D.;Dwork,C.;Waarts,O.;Yung,M.《完全安全的消息传输》,J.ACM,40,17-47,(1993)·Zbl 0774.68017
[24] Feldman,P.;Michali,S.,《同步拜占庭协议的优化算法》,芝加哥,伊利诺伊州,美国,1988年5月2-4日,纽约
[25] Fitzi,M.;Garay,J.;Gollakota,S.;Pandu Rangan,C.;Srinathan,K.;Halevi,S.(编辑);Rabin,T.(编辑),Round最优和高效可验证秘密共享,美国纽约,纽约,2006年3月4日至7日,柏林·Zbl 1112.94028
[26] Franklin,M.K.;Yung,M.;Kosaraju,S.R.(编辑);Fellows,M.(编辑);Widgerson,A.(编辑);Ellis,J.A.(编辑),《安全计算的通信复杂性(扩展摘要)》,维多利亚,不列颠哥伦比亚省,加拿大,1992年5月4日至6日,纽约
[27] Gennaro,R.;Ishai,Y.;Kushilevitz,E.;Rabin,T.,《可验证秘密共享和安全多播的圆形复杂性》,Heraklion,克里特岛,希腊,2001年7月6-8日,纽约·Zbl 1317.68072
[28] Golderich,O.;Michali,S.;Widgerson,A.,《How to play A mental game or A complete定理for protocols with诚实多数》,纽约,纽约,美国,纽约
[29] Hirt,M.;Maurer,U.;Przydatek,B.;Okamoto,T.(编辑),《高效安全多方计算》,京都,日本,2000年12月3日至7日,柏林·Zbl 0966.94010
[30] Huang,Z.;Qu,W.;Li,Q.;Chen,K.;Park,J.H.(编辑);Chen,H.(编辑);Atiqzzaman,M.(编辑);Lee,C.(编辑);Kim,T.(编辑);Yeo,S.(ed.),异步网络中的高效安全多方计算协议,首尔,韩国,柏林
[31] Katz,J.;Koo,C.;Kumaresan,R.;Aceo,L.(编辑);Damgård,I.(编辑);Goldberg,L.A.(编辑);Halldórsson,M.M.(编辑);Ingólfsdóttir,A.(编辑);Walukiewicz,I.(编辑),《提高点对点网络中VSS的轮复杂度》,冰岛雷克雅未克,2008年7月7日至11日,柏林·Zbl 1155.68319
[32] 2006年8月24日,美国圣塔·库伊协议;第24期,美国加利福尼亚州·Zbl 1161.68322
[33] F、 J.麦克威廉姆斯,N.J.A.斯隆,纠错码理论(北荷兰,阿姆斯特丹,1978年)·Zbl 0369.94008
[34] Patra,A.;Choudhary,A.;Rabin,T.;Pandu Rangan,C.;Halevi,S.(编辑),《可验证秘密共享的圆形复杂性重温》,加利福尼亚州圣巴巴拉,美国,2009年8月16-20日,柏林·Zbl 1252.94110
[35] Patra,A.;Choudhary,A.;Pandu Rangan,C.;Chowdhury,D.R.(编辑);Rijmen,V.(编辑);Das,A.(编辑),《Round efficient无条件安全多方计算协议》,印度哈拉格布尔,2008年12月14日至17日,柏林·Zbl 1203.94118号
[36] A、 Patra,A.Choudhary,C.Pandu Rangan,具有最佳弹性的高效异步拜占庭协议。(接受出版)发行量计算。J、 本文的初步版本出现在加拿大阿尔伯塔省卡尔加里市2009年第28届ACM分布式计算原理研讨会论文集,8月10日至12日,第92-101页(2009年)·Zbl 1373.68074
[37] A、 Patra,A.Choudhary,C.Pandu Rangan,高效统计异步可验证秘密共享和具有最佳弹性的多方计算。加密ePrint存档,报告2009/4922009·Zbl 1214.94067
[38] Patra,A.;Choudhary,A.;Pandu Rangan,C.;Bernstein,D.J.(编辑);Lange,T.(编辑),“异步网络中具有最佳弹性的通信高效的完全安全VSS和MPC”,Stellenbosch,南非,2009年5月3日至6日,柏林·Zbl 1284.94144
[39] Prabhu,B.;Srinathan,K.;Pandu Rangan,C.;Cimato,S.(编辑);Galdi,C.(编辑);Persiano,G.(编辑),《无条件多方计算中的效率交易参与者》,Amalfi,意大利,2002年9月11日至13日,柏林·Zbl 1022.68552
[40] Rabin,T.,《当庄家诚实或作弊时的可靠秘密共享》,J.ACM,411089-1109,(1994)
[41] Rabin,T.;Ben Or,M.,《诚实多数的可验证秘密共享和多方协议》(扩展摘要),西雅图,华盛顿,美国,1989年5月14日至17日,纽约
[42] 沙米尔,A.,如何分享秘密,公社。ACM,22,612-613,(1979年)·Zbl 0414.94021
[43] Srinathan,K.;Pandu Rangan,C.;Roy,B.K.(编辑);Okamoto,E.(编辑),《高效异步安全多方分布式计算》,加尔各答,印度,2000年12月10日至13日,柏林·Zbl 0971.68049
[44] Yao,A.C.,安全计算协议,伊利诺伊州芝加哥,1982年11月3-5日
[45] Zheng,H.;Zheng,G.;Qiang,L.,《异步网络中安全多方计算的批量秘密共享》,上海交通大学学报,14112-116,(2009)·Zbl 1214.94067
此参考列表基于出版商或数字数学图书馆提供的信息。它的数学和标识符可能包含启发式匹配的数据项。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。