×
卡洛·布鲁内塔;马里奥·拉兰吉拉;梁，贝;艾卡捷琳·米特罗科萨;田中庆介

基于交易的沟通渠道。 （英语） Zbl 1511.94063号

黄琼（编辑）等，《可证明和实用安全》。第十五届国际会议，ProvSec 2021，中国广州，2021年11月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13059, 376-392 (2021).
摘要：我们引入了具有通信一致性的两个相互不信任的方之间基于话轮的通信信道的概念，即双方具有相同的消息历史，并且在有限的话轮数中以交换消息的形式发生。我们的构造利用了时间原语。也就是说，我们考虑一个\（\mathsf{\Delta}\）-延迟散列函数定义，并使用它在通道中建立循环。具体地，我们介绍了基于单向循环的通信方案和基于双向循环的通信协议，并提供了实现通信一致性的具体实例。
有关整个系列，请参见[Zbl 1508.94002号].

MSC公司：

94A60型 密码学
94A05型 传播学理论
94A62型 身份验证、数字签名和秘密共享
第68页第25页 数据加密（计算机科学方面）

关键词：

时间难题;延迟;散列函数;一致性
PDF格式BibTeX公司 XML格式引用
\textit{C.Brunetta}等人，Lect。注释计算。科学。13059376--392（2021年；Zbl 1511.94063）
全文： 内政部

参考文献：

[1] Alwen，J.，Tackmann，B.：中等难度函数：定义、实例化和应用。In:TCC（2017）。doi:10.1007/978-3-319-70500-2-17·Zbl 1410.94038号
[2] Azar，P.D.，Goldwasser，S.，Park，S.：如何激励竞争各方之间的数据驱动合作。In:ITCS（2016）。doi:10.145/2840728.28407558·兹比尔1334.94057
[3] Baum，C.、David，B.、Dowsley，R.、Nielsen，J.B.、Oechsner，S.：TARDIS：模拟中的时间和相对延迟。技术报告537（2020）
[4] Bentov，I.、Gabizon，A.、Mizrahi，A.：无工作证明的加密货币。摘自：FC（2016）。数字对象标识代码：10.1007/978-3-662-53357-4_10
[5] Bitansky，N.、Goldwasser，S.、Jain，A.、Paneth，O.、Vaikuntanathan，V.、Waters，B.：随机编码中的时序谜题。In:ITCS（2016）。数字对象标识代码：10.1145/2840728.2840745
[6] Boneh，D.，Bonneau，J.，Bünz，B.，Fisch，B.：可验证的延迟函数。收录于：《密码》，第10991卷（2018年）。doi:10.1007/978-3-319-96884-125
[7] Boneh，D.、Bünz，B.、Fisch，B.：累加器的批处理技术，应用于IOP和无状态区块链。收录：密码（2019）。doi:10.1007/978-3-030-26948-7-20·Zbl 1456.94051号
[8] Boneh，D.，Naor，M.：定时承诺。包含：密码（2000）
[9] Dwork，C.，Naor，M.，Sahai，A.：并行零知识。《美国医学会期刊》51（6）（2004）。doi:10.1145/1039488.1039489·Zbl 1125.94031号
[10] Garay，J.、Kiayias，A.、Leonardos，N.：比特币主干协议：分析与应用。doi:10.1007/978-3-662-46803-6_10
[11] 卡莱，YT；Lindell，Y。；Prabhakaran，M.，定时模型中安全协议的并发组合，J.Cryptol。，20, 4, 431-492 (2007) ·Zbl 1130.68049号 ·doi:10.1007/s00145-007-0567-1
[12] Katz，J.，Lindell，Y.：现代密码学导论（2014）
[13] Katz，J.、Maurer，U.、Tackmann，B.、Zikas，V.：通用可组合同步计算。In：变矩器离合器。doi:10.1007/978-3-642-36594-2_27
[14] Katz，J.、Miller，A.、Shi，E.：密码学难题中的假名广播和安全计算。Cryptology ePrint Archive，报告2014/857（2014）。https://eprint.iacr.org/2014/857
[15] Kiayias，A.、Russell，A.、David，B.、Oliynykov，R.：Ouroboros：可证明安全的区块链证明协议。在：CRYPTO，第10401卷（2017）。数字对象标识代码：10.1007/978-3-319-63688-7_12·兹比尔1407.94128
[16] Lenstra，A.K.，Wesolowski，B.：一个随机的动物园：树懒、独角兽和trx。Cryptology ePrint Archive，报告2015/366（2015）。https://eprint.iacr.org/2015/366
[17] Mahmoody，M.，Moran，T.，Vadhan，S.：随机预言模型中的时间锁难题。收录于：《密码》（2011）。doi:10.1007/978-3-642-22792-93·Zbl 1287.94083号
[18] Malavolta，G.，Thyagarajan，S.A.K.：同态时间锁定难题和应用。收录：密码（2019）。doi:10.1007/978-3-030-26948-722
[19] Rivest，R.L.，Shamir，A.，Wagner，D.A.：定时谜题和定时释放密码。麻省理工学院技术报告（1996年）
[20] Scafuro，A.、Siniscalchi，L.、Visconti，I.：区块链的公开可验证证据。收件人：PKC（2019）。doi:10.1007/978-3-030-17253-4_13
[21] Wesolowski，B.：有效的可验证延迟函数。参见：EUROCRYPT（2019）。doi:10.1007/978-3-030-17659-4_13
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。