文件Open Access徽标

论随机拜占庭协议的圆形复杂性

作者 兰·科恩, 伊夫塔赫发型师, 尼古拉·马克里扬尼斯, 马坦·奥尔兰, 亚历克斯·萨莫罗德尼茨基



PDF格式
缩略图PDF

文件

LIPIcs公司。DISC.2019.12.pdf文件
  • 文件大小:0.5 MB
  • 17页

文件标识符

作者详细信息

冉科恩
  • 美国马萨诸塞州波士顿大学
  • 美国马萨诸塞州波士顿东北大学
伊夫塔赫发型师
  • 以色列特拉维夫大学计算机科学学院
尼古拉·马克里扬尼斯
  • 以色列海法Technion计算机科学系
马坦·奥兰德
  • 以色列特拉维夫大学计算机科学学院
亚历克斯·萨莫罗德尼茨基
  • 以色列耶路撒冷希伯来大学工程与计算机科学学院

致谢

我们要感谢Rotem Oshman、Juan Garay、Ehud Friedgut和Elchanan Mossel进行了非常有益的讨论。

引用为获取BibTex

Ran Cohen、Iftach Haitner、Nikolaos Makriyannis、Matan Orland和Alex Samorodnitsky。论随机拜占庭协议的复杂性。第33届分布式计算国际研讨会(DISC 2019)。莱布尼茨国际信息学论文集(LIPIcs),第146卷,第12:1-12:17页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2019)
https://doi.org/10.4230/LIPIcs.DISC.2019.12

摘要

我们证明了随机拜占庭协议(BA)的轮复杂度的下限,限定了此类协议在一轮和两轮之后的停顿概率。特别是,我们证明:1) 针对n/3[响应,n/4]腐蚀的BA协议在第一轮结束时终止(受到攻击),概率最高为o(1)[响应,1/2+o(1”)]。2) 对n/4损坏具有弹性的BA协议在第二轮结束时终止,概率最多为1-Theta(1)。3) 对于一大类协议(包括实践中使用的所有BA协议),在合理的组合猜想下,对n/3[响应,n/4]损坏具有弹性的BA协议在第二轮结束时终止,概率最多为o(1)[响应,1/2+o(1”)]。即使当各方使用可信的设置阶段(例如公钥基础设施(PKI))时,上述界限仍然有效。第三个界限基本上与Micali最近的协议(ITCS’17)相匹配,该协议允许多达n/3的腐败,并以恒定概率在第三轮结束时终止。

主题分类

ACM科目分类
  • 计算理论→密码协议
关键词
  • 拜占庭协议
  • 下限
  • 圆形复杂性

韵律学

工具书类

  1. Ittai Abraham、T.-H.Hubert Chan、Danny Dolev、Kartik Nayak、Rafael Pass、Ling Ren和Elaine Shi。《拜占庭协议的通信复杂性》,重新审视。2019年第38届ACM分布式计算原理研讨会(PODC)会议记录,第317-326页。谷歌学者
  2. 伊泰·亚伯拉罕(Ittai Abraham)、斯里尼瓦斯·德瓦达斯(Srinivas Devadas)、丹尼·多列夫(Danny Dolev)、卡提克·纳亚克(Kartik Nayak)和凌仁(Ling Ren)。预期O(1)轮、预期O(n²)通信和最佳弹性的同步拜占庭协议。《金融加密和数据安全》,2019年。谷歌学者
  3. Hagit Attiya和Keren Censor。异步随机共识的严格界限。美国医学会杂志,55(5):20:1-20:262008。谷歌学者
  4. Hagit Attiya和Keren Censor Hillel。弱对手下随机共识的下限。SIAM计算机杂志,39(8):3885-39042010。谷歌学者
  5. 齐夫·巴尔·约瑟夫和迈克尔·本·奥尔。随机同步共识的严格下限。在第17届ACM分布式计算原理年度研讨会(PODC)论文集,第193-1991998页。谷歌学者
  6. 迈克尔·本·奥尔。自由选择的另一个优势:完全异步协议(扩展抽象)。1983年第二届ACM分布式计算原理研讨会(PODC)论文集,第27-30页。谷歌学者
  7. 迈克尔·本·奥尔(Michael Ben-Or)、沙菲·戈德瓦瑟(Shafi Goldwasser)和阿维·威格德森(Avi Wigderson)。非加密容错分布式计算的完备性定理(扩展抽象)。1988年,第20届ACM计算机理论研讨会(STOC)论文集,第1-10页。谷歌学者
  8. 迈克尔·本·奥尔和内森·利尼尔。集体硬币翻转、稳健投票方案和Banzhaf值的极小值。1985年,第26届计算机科学基础年度研讨会(FOCS)论文集,第408-416页。谷歌学者
  9. 迈克尔·本·奥尔(Michael Ben-Or)、伊兰·巴甫洛夫(Elan Pavlov)和维诺德·瓦昆塔坦(Vinod Vaikuntanathan)。拜占庭协议中的o(logn)轮全信息模型。2006年第38届ACM计算机理论研讨会(STOC)论文集,179-186页。谷歌学者
  10. Eli Ben-Sasson、Alessandro Chiesa、Matthew Green、Eran Tromer和Madars Virza。用于简洁零知识证明的公共参数安全采样。IEEE安全与隐私研讨会,第287-304页,2015年。谷歌学者
  11. Jean Bourgain、Jeff Kahn和Gil Kalai。布尔函数的影响联盟。CoRR,2014年。网址:http://arxiv.org/abs/1409.3033.
  12. 肖恩·鲍(Sean Bowe)、阿里尔·加比松(Ariel Gabizon)和马修·D·格林(Matthew D.Green)。构建Pinocchio zk-SNARK公共参数的多方协议。《金融加密和数据安全FC》,第64-77页,2018年。谷歌学者
  13. 加布里埃尔·布拉查。异步[(n-1)/3]-弹性共识协议。1984年第三届ACM分布式计算原理研讨会(PODC)论文集,第154-162页。谷歌学者
  14. 米盖尔·卡斯特罗和芭芭拉·利斯科夫。实用拜占庭容错。第三届USENIX操作系统设计与实现研讨会(OSDI)会议记录,第173-186页,1999年。谷歌学者
  15. David Chaum、Claude Crépeau和Ivan Damgárd。多方无条件安全协议(扩展抽象)。1988年,第20届ACM计算机理论研讨会(STOC)论文集,第11-19页。谷歌学者
  16. Jing Chen和Silvio Micali。阿尔戈兰。在CoRR,2016年。网址:http://arxiv.org/abs/1607.01341.
  17. Benny Chor和Brian A.Coan。一种简单有效的随机拜占庭协议算法。第四届分布式软件和数据库系统可靠性研讨会,SRDS,第98-106页,1984年。谷歌学者
  18. Benny Chor、Michael Merritt和David B.Shmoys。实际故障模型中的简单一致时间协议。美国医学会杂志,36(3):591-6141989。谷歌学者
  19. Ran Cohen、Sandro Coretti、Juan Garay和Vassilis Zikas。概率终止密码协议的循环保留并行组合。第44届国际自动化、语言和编程学术讨论会(ICALP)会议记录,第37:1-37:15页,2017年。谷歌学者
  20. Ran Cohen、Sandro Coretti、Juan A.Garay和Vassilis Zikas。密码协议的概率终止和可组合性。《密码学进展-密码2016》,第三部分,第240-269页,2016年。谷歌学者
  21. Ran Cohen、Iftach Haitner、Nikolaos Makriyannis、Matan Orland和Alex Samorodnitsky。论随机拜占庭协议的复杂性。CoRR,abs/1907.113292019年。谷歌学者
  22. Danny Dolev、Rüdiger Reischuk和H.Raymond Strong。拜占庭协议中的提前终止。美国医学会杂志,37(4):720-7411990。谷歌学者
  23. 丹尼·多列夫和雷蒙德·斯特朗。拜占庭协议的认证算法。SIAM计算机杂志,12(4):656-6661983。谷歌学者
  24. 佩塞克·费尔德曼和西尔维奥·米卡利。同步拜占庭协议的最优概率协议。SIAM计算机杂志,26(4):873-9331997。谷歌学者
  25. 迈克尔·菲舍尔(Michael J.Fischer)和南希·林奇(Nancy A.Lynch)。确保交互一致性的时间下限。《信息处理快报》,14(4):183-1861982。谷歌学者
  26. Michael J.Fischer、Nancy A.Lynch和Michael Merritt。分布式共识问题的简单不可能证明。1985年,第23届ACM分布式计算原理研讨会(PODC)论文集,第59-70页。谷歌学者
  27. 马蒂亚斯·菲茨(Matthias Fitzi)和胡安·加雷(Juan A.Garay)。高效的玩家优化协议,实现强大的差异共识。2003年第22届ACM分布式计算原理研讨会(PODC)会议记录,第211-220页。谷歌学者
  28. 埃胡德·弗里德古特。平均灵敏度低的布尔函数依赖于很少的坐标。组合数学,18(1):27-351998。谷歌学者
  29. Juan A.Garay、Jonathan Katz、Chiu Yuen Koo和Rafail Ostrovsky。以不诚实多数通过认证的广播的复杂性。第48届计算机科学基础年会(FOCS)论文集,第658-668页,2007年。谷歌学者
  30. 胡安·加雷和约拉姆·摩西。t+1轮完全多项式拜占庭协议。在第25届美国计算机学会计算理论年度研讨会(STOC)论文集,第31-41页,1993年。谷歌学者
  31. 尤西·吉拉德(Yossi Gilad)、罗特姆·海默(Rotem Hemo)、西尔维奥·米卡利(Silvio Micali)、乔治·弗拉科斯(Georgios Vlachos)和尼科莱·泽尔多维奇(Nickolai Zeldovich)。阿尔戈兰:加密货币的拜占庭协议缩放。2017年第26届操作系统原理研讨会(SOSP)会议记录,第51-68页。谷歌学者
  32. 奥德·戈德雷奇(Oded Goldreich)、沙菲·戈德瓦瑟(Shafi Goldwasser)和内森·利尼尔(Nathan Linial)。全信息模型中的容错计算。SIAM计算机杂志,27(2):506-5441998。谷歌学者
  33. 奥德·戈德雷奇、西尔维奥·米卡利和阿维·威格德森。如何对诚实多数协议进行任何心理游戏或完整性定理。1987年,第19届ACM计算机理论研讨会(STOC)论文集,第218-229页。谷歌学者
  34. Shafi Goldwasser、Yael Tauman Kalai和Sunoo Park。自适应安全投币,再次访问。第42届国际自动化、语言和编程学术讨论会(ICALP)会议记录,第二部分,第663-674页,2015年。谷歌学者
  35. 沙菲·戈德瓦瑟(Shafi Goldwasser)、伊兰·巴甫洛夫(Elan Pavlov)和维诺德·瓦昆塔纳坦(Vinod Vaikuntanathan)。全信息网络中的容错分布式计算。2006年第47届计算机科学基础年度研讨会(FOCS)论文集,第15-26页。谷歌学者
  36. 瓦索斯·哈齐拉科斯。受限故障类型下拜占庭协议的连接要求。分布式计算,2(2):95-1031987。谷歌学者
  37. 杰夫·卡恩、吉尔·卡莱和内森·利尼尔。变量对布尔函数的影响(扩展抽象)。1988年第29届计算机科学基础年会(FOCS)会议记录,第68-80页。谷歌学者
  38. 布鲁斯·卡普伦(Bruce M.Kapron)、大卫·坎佩(David Kempe)、瓦莱丽·金(Valerie King)、贾里德·赛亚(Jared Saia)和维沙尔·桑瓦拉尼(Vishal Sanwalani)。快速异步拜占庭协议和充分信息的领导人选举。《第十九届ACM-SIAM离散算法年度研讨会论文集》,SODA,第1038-10472008页。谷歌学者
  39. Anna R.Karlin和Andrew Chi-Chih Yao。拜占庭协议和时钟同步的概率下限。未出版手稿,1986年。谷歌学者
  40. 乔纳森·卡茨和邱元古。关于拜占庭协议的预期一致性协议。密码学进展-2006年,第445-462页,2006年。谷歌学者
  41. 瓦莱丽·金和贾瑞德·赛亚。多项式预期时间的拜占庭协议:[扩展摘要]。2013年第45届ACM计算机理论研讨会(STOC)会议记录,第401-410页。谷歌学者
  42. John Kubiatowicz、David Bindel、Yan Chen、Steven E.Czerwinski、Patrick R.Eaton、Dennis Geels、Ramakrishna Gummadi、Sean C.Rhea、Hakim Weatherspoon、Westley Weimer、Chris Wells和Ben Y.Zhao。OceanStore:全球规模持久存储的架构。《第九届编程语言和操作系统体系结构支持国际会议ASPLOS-IX会议记录》,第190-201页,2000年。谷歌学者
  43. 莱斯利·兰波特(Leslie Lamport)、罗伯特·肖斯塔克(Robert E.Shostak)和马歇尔·皮斯(Marshall C.Pease)。拜占庭将军问题。美国计算机学会程序设计语言与系统汇刊,4(3):382-4011982。谷歌学者
  44. 艾利森·莱科(Allison B.Lewko)。异步拜占庭协议中的简单性与效率之争。2011年第25届分布式计算国际研讨会(DISC)论文集,第348-362页。谷歌学者
  45. Allison B.Lewko和Mark Lewko。关于对抗强大对手的异步协议的复杂性。2013年第32届ACM分布式计算原理研讨会论文集,第280-289页。谷歌学者
  46. 耶胡达·林德尔(Yehuda Lindell)、安娜·利桑斯卡娅(Anna Lysyanskaya)和塔尔·拉宾(Tal Rabin)。《经认证的拜占庭协议的构成》。美国医学会杂志,53(6):881-9172006。谷歌学者
  47. 西尔维奥·米卡利。非常简单有效的拜占庭协议。《第八届理论计算机科学年度创新(ITCS)会议论文集》,2017年第6:1-6:1页。谷歌学者
  48. 西尔维奥·米卡利(Silvio Micali)、迈克尔·拉宾(Michael O.Rabin)和萨利尔·瓦丹(Salil P.Vadhan)。可验证随机函数。第40届计算机科学基础年会(FOCS)论文集,第120-130页,1999年。谷歌学者
  49. 西尔维奥·米卡利和维诺德·瓦昆塔纳坦。以诚实的多数意见达成最佳和球员可替代的共识。未出版手稿,2017年。谷歌学者
  50. 埃尔沙南·莫塞尔(Elchanan Mossel)、瑞安·奥唐纳(Ryan O'Donnell)、奥德雷格夫(Oded Regev)、杰弗里·斯特伊夫(Jeffrey E.Steif)和本尼·苏达科夫(Benny Sudakov)。非交互式相关蒸馏、非齐次马尔可夫链和反向Bonami-Beckner不等式。以色列数学杂志,154(1):299-3362006。谷歌学者
  51. Elchanan Mossel、Krzysztof Oleszkiewicz和Arnab Sen.关于反向超收缩。几何和功能分析,23(3):1062-10972013。谷歌学者
  52. 吉尔·内格尔和萨姆·图格。自动提高分布式算法的容错性。算法杂志,11(3):374-4191990。谷歌学者
  53. 瑞安·奥唐纳。布尔函数分析。剑桥大学出版社,2014年。谷歌学者
  54. 拉斐尔·帕斯和伊莱恩·施。混合共识:无许可模型中的有效共识。2017年第31届分布式计算国际研讨会(DISC)论文集,第39:1-39:16页。谷歌学者
  55. 拉斐尔·帕斯和伊莱恩·施。Thunderella:具有乐观即时确认功能的区块链。《密码学进展——2018年欧洲密码》,第二部分,第3-33页,2018年。谷歌学者
  56. 马歇尔·皮斯(Marshall C.Pease)、罗伯特·肖斯塔克(Robert E.Shostak)和莱斯利·兰波特(Leslie Lamport)。出现故障时达成协议。美国医学会杂志,27(2):228-2341980。谷歌学者
  57. Birgit Pfizmann和Michael Waidner。针对任何数量的故障处理器的无条件拜占庭协议。第九届计算机科学理论方面年度研讨会(STACS)会议记录,第339-350页,1992年。谷歌学者
  58. 迈克尔·拉宾(Michael O.Rabin),《随机拜占庭将军》(Randomized Byzantine Generals)。1983年,第24届计算机科学基础年度研讨会(FOCS)论文集,第403-409页。谷歌学者
  59. Miklos Santha和Umesh V.Vazirani。从轻微随机源生成准随机序列(扩展抽象)。1984年第25届计算机科学基础年会(FOCS)论文集,第434-440页。谷歌学者
  60. 安德鲁·齐齐姚(Andrew Chi-Chih Yao)。安全计算协议(扩展抽象)。1982年第23届计算机科学基础年度研讨会(FOCS)论文集,第160-164页。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件