×
胡安·加里;阿格洛斯·凯亚斯;沈瑜

无许可时钟同步与公共设置。 （英语） Zbl 1519.94121号

Kiltz，Eike（编辑）等人，《密码学理论》。第20届国际会议，TCC 2022，美国伊利诺伊州芝加哥，2022年11月7日至10日。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。13749, 181-211 (2023).
摘要：无许可时钟同步问题提出了一个问题，即当参与者的参与率随时间而波动（可能非常大）时，参与者群体如何能够保持系统范围内的同步时钟。基本的假设是，各方以大致相同的速度经历时间的流逝，但他们可能会按照任意（甚至是对手选择的）参与模式脱离和参与协议。由于区块链协议的出现，这个（经典的）问题再次受到关注，最近在利益证明的设置中，即当各方被假设可以访问可信的PKI设置时，这个问题已经得到了解决[C.巴德彻等，Lect。注释计算。科学。12698, 399–428 (2021;Zbl 1479.94118号)].
在这项工作中，我们提出了第一个基于验证（PoW）的无许可时钟同步协议。我们的构造假设是一个公共设置（例如CRS），并且依赖于真实的大多数计算能力，这是首次在细粒度计时模型中描述的，该模型不使用将当前时间导出给各方的全局时钟。作为独立利益的次要结果，我们的协议产生了第一个基于PoW的账本共识协议，该协议不依赖外部时钟来标记交易时间和调整PoW难度。
关于整个系列，请参见[Zbl 1517.94010号].

引用于1文件

MSC公司：

94A60型 密码学
68N25号 操作系统理论

关键词：

容错分布式计算;无许可时钟同步协议

引文：

兹比尔1479.94118
PDF格式BibTeX公司 XML格式引用
\textit{J.Garay}等人，Lect。注释计算。科学。13749181-211（2023年；Zbl 1519.94121）
全文： 内政部 链接

参考文献：

[1] 亚伯拉罕一世。；Devadas，S。；多列夫，D。；Nayak，K。；任，L。；戈德伯格，I。；Moore，T.，《同步拜占庭协议与预期O（1）轮、预期O（n^2）通信和最佳弹性》，《金融加密与数据安全》，320-334（2019），查姆：斯普林格，查姆·Zbl 1460.94033号 ·doi:10.1007/978-3-030-32101-7_20
[2] Badertscher，C.，Gaíi，P.，Kiayias，A.，Russell，A.，Zikas，V.：毒蛇起源：具有动态可用性的可组合证明区块链。参见：2018年ACM SIGSAC计算机和通信安全会议记录，CCS 2018，第913-930页。纽约计算机械协会（2018年）。数字对象标识代码：10.1145/3243734.3243848
[3] Badertscher，C。；伽日尔，P。；Kiayias，A。；罗素（A.Russell）。；齐卡斯，V。；Canteaut，A。；Standaert，F-X，动态特设时钟同步，密码学进展-EUROCRYPT 2021，399-428（2021），商会：施普林格，商会·Zbl 1479.94118号 ·doi:10.1007/978-3-030-77883-5_14
[4] Badertscher，C。；Maurer，美国。；Tschudi，D。；齐卡斯，V。；J.Katz。；Shacham，H.，《比特币作为交易账本：一种可组合的处理方法》，《密码学进展-密码2017》，324-356（2017），查姆：斯普林格，查姆·Zbl 1407.94077号 ·doi:10.1007/978-3-319-63688-7_11
[5] Bagaria，V.、Kannan，S.、Tse，D.、Fanti，G.、Viswanath，P.：棱镜：解构区块链以接近物理极限。摘自：《2019年ACM SIGSAC计算机和通信安全会议记录》，CCS 2019，第585-602页。纽约计算机械协会（2019年）。doi:10.1145/3319535.3363213
[6] 巴哈克：理论上比特币攻击的计算能力不到一半（草案）。Cryptology ePrint Archive，报告2013/868（2013）。https://ia.cr/2013/868
[7] Canetti，R.：通用可组合安全：密码协议的新范例。摘自：第42届计算机科学基础年度研讨会，FOCS 2001，2001年10月14日至17日，美国内华达州拉斯维加斯，第136-145页。IEEE计算机学会（2001）。doi:10.1109/SFCS.2001.959888
[8] 多列夫，D。；JY Halpern；Strong，HR，关于实现时钟同步的可能性和不可能性，J.Compute。系统。科学。，32, 2, 230-250 (1986) ·Zbl 0595.68029号 ·doi:10.1016/0022-0000（86）90028-0
[9] 德沃克，C。；林奇，N。；Stockmeyer，L.，《部分同步存在下的共识》，J.ACM，35，2，288-323（1988）·数字对象标识代码：10.1145/42282.42283
[10] J.加雷。；Kiayias，A。；莱昂纳多斯，N。；奥斯瓦尔德，E。；Fischlin，M.，《比特币主干协议：分析与应用》，《密码学进展-EUROCRYPT 2015》，281-310（2015），海德堡：斯普林格，海德伯格·Zbl 1371.94636号 ·doi:10.1007/978-3-662-46803-6_10
[11] J.加雷。；Kiayias，A。；Leonardos，北。；J.Katz。；Shacham，H.，《具有可变难度链的比特币骨干协议》，《密码学进展-密码2017》，291-323（2017），查姆：斯普林格，查姆·Zbl 1407.94108号 ·数字对象标识代码：10.1007/978-3-319-63688-7_10
[12] Garay，J.，Kiayias，A.，Leonardos，N.：有界延迟网络中Nakamoto共识的全面分析。《加密电子打印档案》，报告2020年/277年（2020年）。https://ia.cr/2020/277
[13] J.加雷。；Kiayias，A。；奥斯特罗夫斯基，RM；Panagiotakos，G。；齐卡斯，V。；Canteaut，A。；Ishai，Y.，《资源限制密码学：在工作证明时代重新审视MPC边界》，《密码学进展-EUROCRYPT 2020》，129-158（2020），商会：施普林格，商会·兹比尔1502.94034 ·doi:10.1007/978-3-030-45724-25
[14] Garay，J.、Kiayias，A.、Shen，Y.：公共设置的无许可时钟同步。加密电子打印档案，报告2022/1220（2022）。https://eprint.iacr.org/2022/1220 ·Zbl 1519.94121号
[15] J.加雷。；Kiayias，A。；Jarecki，S.，SoK：区块链时代的共识分类法，密码学主题-CT-RSA 2020，284-318（2020），Cham:Springer，Cham·Zbl 1457.94132号 ·doi:10.1007/978-3-030-40186-3_13
[16] Halpern，J.Y.，Simons，B.，Strong，R.，Dolev，D.：容错时钟同步。摘自：《第三届ACM分布式计算原理研讨会论文集》，PODC 1984，第89-102页。纽约计算机协会（1984年）。数字对象标识代码：10.1145/800222.806739·Zbl 0886.68008号
[17] J.Katz。；Maurer，美国。；塔克曼，B。；齐卡斯，V。；Sahai，A.，《通用可组合同步计算》，《密码学理论》，477-498（2013），海德堡：施普林格出版社·Zbl 1316.68051号 ·doi:10.1007/978-3-642-36594-2_27
[18] Lamport，L.，《时间、时钟和分布式系统中事件的排序》，Commun。ACM，21，7，558-565（1978）·Zbl 0378.68027号 ·doi:10.1145/359545.359563
[19] Lamport，L.，Melliar Smith，P.M.：拜占庭时钟同步。摘自：《第三届ACM分布式计算原理研讨会论文集》，PODC 1984，第68-74页。纽约计算机协会（1984年）。数字对象标识代码：10.1145/800222.806737
[20] Lenzen，C.，Loss，J.：具有签名的最佳时钟同步。摘自：《2022年ACM分布式计算原理研讨会论文集》，PODC 2022，第440-449页。纽约计算机协会（2022年）。数字对象标识代码：10.1145/3519270.3538444
[21] Nakamoto，S.：比特币：点对点电子现金系统（2008）。http://bitcoin.org/bitcoin.pdf
[22] 通过，R。；Seeman，L。；Shelat，A。；冠状病毒，J-S；尼尔森，JB，《异步网络中区块链协议的分析》，《密码学进展-EUROCRYPT 2017》，643-673（2017），查姆：斯普林格，查姆·Zbl 1415.94455号 ·doi:10.1007/978-3-319-56614-622
[23] Pass，R.，Shi，E.：水果链：公平的区块链。摘自：《ACM分布式计算原理研讨会论文集》，PODC 2017，第315-324页。纽约计算机械协会（2017年）。数字对象标识代码：10.1145/3087801.3087809·Zbl 1380.68059号
[24] Pass，R.，Shi，E.：重新思考大规模共识。2017年8月21日至25日，美国加利福尼亚州圣巴巴拉市，2017年CSF，第30届IEEE计算机安全基础研讨会，第115-129页。IEEE计算机学会（2017）。doi:10.1109/CSF.2017.37
[25] TK，Srikanth；Toueg，S.，《最佳时钟同步》，J.ACM，34，3，626-645（1987）·doi:10.1145/28869.28876
[26] 韦尔奇，JL；Lynch，N.，一种新的时钟同步容错算法，Inf.Comput。，77, 1, 1-36 (1988) ·Zbl 0646.68029号 ·doi:10.1016/0890-5401（88）90043-0
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。