{"title":"简短公告:拜占庭协议,广播和状态机复制具有最佳的良好情况延迟","authors":"Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang","doi":"10.4230/LIPIcs.DISC.2020.47","DOIUrl":null,"url":null,"abstract":"This paper investigates the problem \\textit{good-case latency} of Byzantine agreement, broadcast and state machine replication in the synchronous authenticated setting. The good-case latency measure captures the time it takes to reach agreement when all non-faulty parties have the same input (or in BB/SMR when the sender/leader is non-faulty) and all messages arrive instantaneously. Previous result implies a lower bound showing that any Byzantine agreement or broadcast protocol tolerating more than $n/3$ faults must have a good-case latency of at least $\\Delta$ \\cite{synchotstuff}, where $\\Delta$ is the assumed maximum message delay. Our first result is a matching tight upper bound for a family of protocols we call $1\\Delta$. We propose a protocol $1\\Delta$-BA that solves Byzantine agreement in the synchronous and authenticated setting with optimal good-case latency of $\\Delta$ and optimal resilience $f<n/2$. We then extend our protocol and present $1\\Delta$-BB and $1\\Delta$-SMR for Byzantine fault tolerant broadcast and state machine replication, respectively, in the same setting and with the same optimal good-case latency of $\\Delta$ and $f<n/2$ fault tolerance. Our $1\\Delta$-SMR upper bound closes the gap between the best current solution, Sync HotStuff, which obtains a good-case latency of $2\\Delta$ per command and the lower bound of $\\Delta$ on good-case latency. Finally, we investigate weaker notions of the synchronous setting and show how to adopt the $1\\Delta$ approach to these models.","PeriodicalId":89463,"journal":{"name":"Proceedings of the ... International Symposium on High Performance Distributed Computing","volume":"22 1","pages":"47:1-47:3"},"PeriodicalIF":0.0000,"publicationDate":"2020-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Brief Announcement: Byzantine Agreement, Broadcast and State Machine Replication with Optimal Good-Case Latency\",\"authors\":\"Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang\",\"doi\":\"10.4230/LIPIcs.DISC.2020.47\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper investigates the problem \\\\textit{good-case latency} of Byzantine agreement, broadcast and state machine replication in the synchronous authenticated setting. The good-case latency measure captures the time it takes to reach agreement when all non-faulty parties have the same input (or in BB/SMR when the sender/leader is non-faulty) and all messages arrive instantaneously. Previous result implies a lower bound showing that any Byzantine agreement or broadcast protocol tolerating more than $n/3$ faults must have a good-case latency of at least $\\\\Delta$ \\\\cite{synchotstuff}, where $\\\\Delta$ is the assumed maximum message delay. Our first result is a matching tight upper bound for a family of protocols we call $1\\\\Delta$. We propose a protocol $1\\\\Delta$-BA that solves Byzantine agreement in the synchronous and authenticated setting with optimal good-case latency of $\\\\Delta$ and optimal resilience $f<n/2$. We then extend our protocol and present $1\\\\Delta$-BB and $1\\\\Delta$-SMR for Byzantine fault tolerant broadcast and state machine replication, respectively, in the same setting and with the same optimal good-case latency of $\\\\Delta$ and $f<n/2$ fault tolerance. Our $1\\\\Delta$-SMR upper bound closes the gap between the best current solution, Sync HotStuff, which obtains a good-case latency of $2\\\\Delta$ per command and the lower bound of $\\\\Delta$ on good-case latency. Finally, we investigate weaker notions of the synchronous setting and show how to adopt the $1\\\\Delta$ approach to these models.\",\"PeriodicalId\":89463,\"journal\":{\"name\":\"Proceedings of the ... International Symposium on High Performance Distributed Computing\",\"volume\":\"22 1\",\"pages\":\"47:1-47:3\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-03-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the ... International Symposium on High Performance Distributed Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/LIPIcs.DISC.2020.47\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the ... International Symposium on High Performance Distributed Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.DISC.2020.47","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Brief Announcement: Byzantine Agreement, Broadcast and State Machine Replication with Optimal Good-Case Latency
This paper investigates the problem \textit{good-case latency} of Byzantine agreement, broadcast and state machine replication in the synchronous authenticated setting. The good-case latency measure captures the time it takes to reach agreement when all non-faulty parties have the same input (or in BB/SMR when the sender/leader is non-faulty) and all messages arrive instantaneously. Previous result implies a lower bound showing that any Byzantine agreement or broadcast protocol tolerating more than $n/3$ faults must have a good-case latency of at least $\Delta$ \cite{synchotstuff}, where $\Delta$ is the assumed maximum message delay. Our first result is a matching tight upper bound for a family of protocols we call $1\Delta$. We propose a protocol $1\Delta$-BA that solves Byzantine agreement in the synchronous and authenticated setting with optimal good-case latency of $\Delta$ and optimal resilience $f