×
泽塔·阿瓦里科蒂；里奥巴·亨巴赫；罗兰·施密德；劳伦特·范贝弗；罗杰·瓦滕霍夫；帕特里克·温特梅耶

FnF-BFT公司：BFT协议在受到攻击时具有可证明的性能。 （英语） Zbl 07786520号

Rajsbaum，Sergio（编辑）等人，《结构信息和通信复杂性》。第30届国际学术讨论会，SIROCCO 2023，阿尔卡德赫纳雷斯，西班牙，2023年6月6日至9日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13892165-198（2023年）。
小结：我们介绍FnF-BFT公司第一个部分同步BFT协议，在稳定的网络条件下，在真正拜占庭式的攻击下具有性能保证。其核心是，FnF-BFT公司通过允许所有副本独立充当领导者，并行化请求的执行。领导者并行化将负载分配到所有副本上。因此，FnF-BFT公司充分利用所有正确副本的处理能力，并通过克服单主瓶颈提高吞吐量。
我们证明了上的下界FnF-BFT公司同步的效率和性能：分摊的通信复杂性在副本数量上是线性的，因此与最先进的协议具有竞争力；FnF-BFT公司拜占庭复制品少于（frac{1}{3}）的摊销吞吐量至少是其最佳吞吐量的第十。我们还提供了概念验证实施和初步评估FnF-BFT公司.
关于整个系列，请参见[Zbl 1528.68034号].

MSC公司：

6800万 计算机系统组织
2011年第68季度 通信复杂性、信息复杂性
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

布莱德雷战车；表面活性剂；平行领导者；拜占庭式的表现
PDF格式BibTeX公司 XML格式引用
\textit{Z.Avarikioti}等人，Lect。注释计算。科学。13892、165--198（2023；Zbl 07786520）
全文： 内政部

参考文献：

[1] swirdls哈希图共识算法：公平、快速、拜占庭容错。https://www.scirleds.com/downloads/swirlds-TR-2016-01.pdf。2023年1月30日访问
[2] Abraham，I.、Gueta，G.、Malkhi，D.、Alvisi，L.、Kotla，R.、Martin，J.P.：重温拜占庭快速实用容错（2017）
[3] Amir，Y.、Dolev，D.、Kramer，S.、Malki，D.：Transis：高可用性通信子系统。1992年论文摘要。FTCS-22：第二十二届容错计算国际研讨会，第76-84页（1992年）。doi:10.1109/FTCS.1992.243613
[4] 阿米尔，Y。；科恩，B。；Kirsch，J。；Lane，J.，《Prime:拜占庭复制受到攻击》，IEEE Trans。可靠安全计算。，8, 4, 564-577 (2010) ·doi:10.1109/TDSC.2010.70
[5] Amir，Y.，Steward:将拜占庭容错复制扩展到广域网，IEEE Trans。可靠、安全的计算机。，7, 1, 80-93 (2008) ·doi:10.1109/TDSC2008.53
[6] Aublin，P.、Mokhtar，S.B.、Quéma，V.：RBFT：冗余拜占庭容错。收录于：ICDCS，第297-306页（2013年）
[7] Avarikioti，G.，Kokoris-Kogias，E.，Wattenhofer，R.：划分和规模：分布式账本分片协议的形式化（2019）
[8] Birman，K.，Joseph，T.：利用分布式系统中的虚拟同步。摘自：第十一届ACM操作系统原理研讨会论文集，SOSP 1987，第123-138页。纽约计算机协会（1987年）。doi:10.1145/41457.37515
[9] 卡斯特罗，M。；Liskov，B.，实用拜占庭容错和主动恢复，ACM Trans。计算。系统。（TOCS），20，4，398-461（2002）·doi:10.11145/571637.571640
[10] Clement，A.、Wong，E.L.、Alvisi，L.、Dahlin，M.、Marchetti，M.：使拜占庭容错系统能够容忍拜占庭故障。收录于：NSDI，第153-168页（2009年）
[11] Danezis，G.，Kokoris-Kogias，L.，Sonnino，A.，Spiegelman，A.：独角鲸和象牙：基于DAG的成员池和高效BFT共识。摘自：《第十七届欧洲计算机系统会议记录》，EuroSys 2022，第34-50页。纽约计算机协会（2022年）。doi:10.1145/3492321.3519594
[12] 多列夫，D。；Reischuk，R.，《拜占庭协议信息交换的界限》，J.ACM（JACM），32，1，191-204（1985）·Zbl 0629.68026号 ·doi:10.1145/2455.214112
[13] Dolev，D.，Strong，H.R.：多处理器协议的多项式算法。收录：ACM STOC，第401-407页（1982年）
[14] 德沃克，C。；林奇，N。；Stockmeyer，L.，《部分同步存在下的共识》，J.ACM（JACM），35，2288-323（1988）·数字对象标识代码：10.1145/42282.42283
[15] 费舍尔，MJ；美国北卡罗来纳州林奇；Paterson，MS，《一个错误过程不可能达成分布式共识》，J.ACM（JACM），32，2，374-382（1985）·Zbl 0629.68027号 ·数字对象标识代码：10.1145/3149.214121
[16] Gelashvili，R。；Kokoris-Kogias，L。；Sonnino，A。；Spiegelman，A。；向，Z。；伊亚尔，I。；Garay，J.、Jolteon和Ditto：具有异步回退的网络自适应高效共识，《金融加密和数据安全》，296-315（2022），查姆：斯普林格，查姆·Zbl 1514.94088号 ·doi:10.1007/978-3-031-18283-914
[17] Gągol，A.、Leundefinedniak，D.、Straszak，D.，undefinedwidundtek，M.：Aleph：拜占庭节点异步网络中的高效原子广播。摘自：《2019年AFT第一届ACM金融技术进步会议记录》，第214-228页。纽约计算机械协会（2019年）。数字对象标识代码：10.1145/3318041.3355467
[18] Gueta，G.G.等人：SBFT：区块链的可扩展分散信任基础设施（2018）
[19] Gupta，S.、Hellings，J.、Sadoghi，M.：RCC：高通量安全事务处理的弹性并发共识。收录于：2021年IEEE第37届国际数据工程会议（ICDE），第1392-1403页。IEEE（2021）
[20] Keidar，I.，Kokoris Kogias，E.，Naor，O.，Spiegelman，A.：你只需要DAG。摘自：《2021年ACM分布式计算原理研讨会论文集》，PODC 2021，第165-175页。纽约计算机协会（2021年）。doi:10.1145/3465084.3467905
[21] Kokoris-Kogias，E.，Jovanovic，P.，Gasser，L.，Gailly，N.，Syta，E.，Ford，B.：Omniledger：通过分片实现安全、横向扩展、分散的账本。摘自：IEEE SP，第19-34页（2018年）
[22] 科特拉·R。；阿尔维西，L。；Dahlin，M。；克莱门特，A。；Wong，E.，Zyzyva：投机拜占庭容错，SIGOPS Oper。系统。版次：41、6、45-58（2007）·数字对象标识代码：10.1145/123293.1294267
[23] Lamport，L。；肖斯塔克，R。；皮斯，M.，拜占庭将军问题，ACM Trans。程序。语言系统。，4, 3, 382-401 (1982) ·Zbl 0483.68021号 ·doi:10.1145/357172.357176
[24] Lynch，N.A.：分布式算法。爱思唯尔（1996）·Zbl 0877.68061号
[25] Malkhi，D.，Szalachowski，P.：DAG的最大可提取值（MEV）保护（2022年）。doi:10.48550/ARXIV.2208.00940
[26] Mao，Y.，Junqueira，F.P.，Marzullo，K.：《孟子：为wans构建高效的复制国家机器》。收录于：USENIX OSDI，第369-384页（2008）
[27] 梅利亚·史密斯，P。；Moser，L。；Agrawala，V.，《分布式系统的广播协议》，IEEE Trans。并行分配系统。，1, 1, 17-25 (1990) ·数字对象标识代码：10.1109/71.80121
[28] Milosevic，Z.，Biely，M.，Schiper，A.：拜占庭容错状态机复制中的有限延迟。摘自：IEEE SRDS，第61-70页（2013）
[29] 莫瑟，LE；梅利亚·史密斯，PM，《拜占庭抗药性总排序算法》，Inf.Compute。，150, 1, 75-111 (1999) ·Zbl 1045.68502号 ·文件编号：10.1006/inco.1998.2770
[30] 皮斯，M。；肖斯塔克，R。；Lamport，L.，《断层存在时达成协议》，J.ACM（JACM），27，2，228-234（1980）·Zbl 0434.68031号 ·doi:10.1145/322186.322188
[31] Peterson，法学博士；北卡罗来纳州布赫霍尔茨；Schlichting，RD，在进程间通信中保存和使用上下文信息，ACM Trans。计算。系统。，7, 3, 217-246 (1989) ·数字对象标识代码：10.1145/65000.65001
[32] Reiter，M.K.：安全协议：城墙中的可靠原子组多播。收录于：ACM CCS，第68-80页（1994年）
[33] MK Reiter；毕尔曼；马特恩，F。；Schiper，A.，The Rampart toolkit for building high integrity services，Theory and Practice in Distributed Systems，99-110（1995），海德堡：斯普林格·doi:10.1007/3-540-60042-67
[34] Spiegelman，A.，Giridharan，N.，Sonnino，A.，Kokoris-Kogias，L.：Bullshark:DAG BFT协议变得实用。摘自：《2022年ACM SIGSAC计算机和通信安全会议记录》，CCS 2022，第2705-2718页。纽约计算机协会（2022年）。doi:10.1145/3548606.3559361
[35] Stathakopoulou，C.，David，T.，Vukolić，M.：Mir-BFT：区块链的高通量BFT（2019）
[36] Stathakopoulou，C.，Pavlovic，M.，Vukolić，M.：状态机复制可扩展性变得简单。摘自：《第十七届欧洲计算机系统会议记录》，第17-33页（2022年）
[37] Veronese，G.S.，Correia，M.，Besani，A.N.，Lung，L.C.：旋转轮子？拜占庭式容错，带有旋转主设备。收录于：IEEE SRDS，第135-144页（2009年）
[38] Yin，M.，Malkhi，D.，Reiter，M.K.，Gueta，G.G.，Abraham，I.：HotStuff：BFT一致性与线性和响应性。收录于：ACM PODC，第347-356页（2019年）·Zbl 07298696号
[39] Zamani，M.、Movahedi，M.和Raykova，M.:快速链：通过完全分片扩展区块链。收录于：ACM CCS，第931-948页（2018年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。