{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:18Z","timestamp":1750308438696,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Australian Research Council","award":["180100496"],"award-info":[{"award-number":["180100496"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,19]]},"DOI":"10.1145\/3584684.3597270","type":"proceedings-article","created":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T15:01:25Z","timestamp":1687273285000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Invited Paper: Planetary Scale Byzantine Consensus"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4239-9940","authenticated-orcid":false,"given":"Gauthier","family":"Voron","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5632-8572","authenticated-orcid":false,"given":"Vincent","family":"Gramoli","sequence":"additional","affiliation":[{"name":"University of Sydney, Sydney, Australia"}]}],"member":"320","published-online":{"date-parts":[[2023,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575732"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2023.01.009"},{"issue":"4","key":"e_1_3_2_1_3_1","first-page":"1","article-title":"ACM Trans","volume":"32","author":"Aublin Pierre-Louis","year":"2015","unstructured":"Pierre-Louis Aublin , Rachid Guerraoui , Nikola Kne\u017eevi\u0107 , Vivien Qu\u00e9ma , and Marko Vukoli\u0107 . The next 700 BFT protocols. ACM Trans . Comput. Syst. , 32 ( 4 ):12: 1 -- 12 :45, January 2015 . Pierre-Louis Aublin, Rachid Guerraoui, Nikola Kne\u017eevi\u0107, Vivien Qu\u00e9ma, and Marko Vukoli\u0107. The next 700 BFT protocols. ACM Trans. Comput. Syst., 32(4):12:1--12:45, January 2015.","journal-title":"Comput. Syst."},{"key":"e_1_3_2_1_4_1","volume-title":"State machine replication in the libra blockchain","author":"Bano Shehar","year":"2019","unstructured":"Shehar Bano , Mathieu Baudet , Avery Ching , Andrey Chursin , George Danezis , Fran\u00e7ois Garillot , Zekun Li , Dahlia Malkhi , Oded Naor , Dmitri Perelman , and Alberto Sonnino . State machine replication in the libra blockchain , 2019 . https:\/\/developers.libra.org\/docs\/assets\/papers\/libra-consensus-state-machine-replication-in-the-libra-blockchain.pdf (accessed ). 2019 Shehar Bano, Mathieu Baudet, Avery Ching, Andrey Chursin, George Danezis, Fran\u00e7ois Garillot, Zekun Li, Dahlia Malkhi, Oded Naor, Dmitri Perelman, and Alberto Sonnino. State machine replication in the libra blockchain, 2019. https:\/\/developers.libra.org\/docs\/assets\/papers\/libra-consensus-state-machine-replication-in-the-libra-blockchain.pdf (accessed ). 2019"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the ACM Symposium on Distributed Computing (PODC)","author":"Bertrand Nathalie","year":"2022","unstructured":"Nathalie Bertrand , Vincent Gramoli , Marijana Lazi\u0107 , Igor Konnov , Pierre Tholoniat , and Josef Widder . Brief announcement : Holistic verification of blockchain consensus . In Proceedings of the ACM Symposium on Distributed Computing (PODC) , 2022 . Nathalie Bertrand, Vincent Gramoli, Marijana Lazi\u0107, Igor Konnov, Pierre Tholoniat, and Josef Widder. Brief announcement: Holistic verification of blockchain consensus. In Proceedings of the ACM Symposium on Distributed Computing (PODC), 2022."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 36th International Symposium on Distributed Computing (DISC)","author":"Bertrand Nathalie","year":"2022","unstructured":"Nathalie Bertrand , Vincent Gramoli , Marijana Lazi\u0107 , Igor Konnov , Pierre Tholoniat , and Josef Widder . Holistic verification of blockchain consensus . In Proceedings of the 36th International Symposium on Distributed Computing (DISC) , 2022 . Nathalie Bertrand, Vincent Gramoli, Marijana Lazi\u0107, Igor Konnov, Pierre Tholoniat, and Josef Widder. Holistic verification of blockchain consensus. In Proceedings of the 36th International Symposium on Distributed Computing (DISC), 2022."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.43"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/4221.214134"},{"key":"e_1_3_2_1_9_1","volume-title":"Tendermint: Byzantine fault tolerance in the age of blockchains. Master's thesis","author":"Buchman Ethan","year":"2016","unstructured":"Ethan Buchman . Tendermint: Byzantine fault tolerance in the age of blockchains. Master's thesis , University of Guelph , 2016 . Ethan Buchman. Tendermint: Byzantine fault tolerance in the age of blockchains. Master's thesis, University of Guelph, 2016."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/571637.571640"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00017"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2018.8548057"},{"key":"e_1_3_2_1_13_1","first-page":"466","volume-title":"IEEE Symposium on Security and Privacy (SP)","author":"Crain Tyler","year":"2021","unstructured":"Tyler Crain , Chris Natoli , and Vincent Gramoli . Red belly : A secure, fair and scalable open blockchain . In IEEE Symposium on Security and Privacy (SP) , pages 466 -- 483 , 2021 . Tyler Crain, Chris Natoli, and Vincent Gramoli. Red belly: A secure, fair and scalable open blockchain. In IEEE Symposium on Security and Privacy (SP), pages 466--483, 2021."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2455.214112"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387543"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132757"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00063"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-12578-2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3567482"},{"key":"e_1_3_2_1_20_1","volume-title":"Sydney Zink, and Kenneth P. Birman. Derecho: Fast state machine replication for cloud services. TOCS, 36(2)","author":"Jha Sagar","year":"2019","unstructured":"Sagar Jha , Jonathan Behrens , Theo Gkountouvas , Mae Milano , Weijia Song , Edward Tremel , Robbert Van Renesse , Sydney Zink, and Kenneth P. Birman. Derecho: Fast state machine replication for cloud services. TOCS, 36(2) , 2019 . Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Mae Milano, Weijia Song, Edward Tremel, Robbert Van Renesse, Sydney Zink, and Kenneth P. Birman. Derecho: Fast state machine replication for cloud services. TOCS, 36(2), 2019."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294267"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2018.2860009"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359636"},{"key":"e_1_3_2_1_24_1","first-page":"369","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Mao Yanhua","year":"2008","unstructured":"Yanhua Mao , Flavio P. Junqueira , and Keith Marzullo . Mencius : Building efficient replicated state machines for WANs . In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI) , pages 369 -- 384 , 2008 . Yanhua Mao, Flavio P. Junqueira, and Keith Marzullo. Mencius: Building efficient replicated state machines for WANs. In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 369--384, 2008."},{"key":"e_1_3_2_1_25_1","volume-title":"The saddest moment","author":"Mickens James","year":"2013","unstructured":"James Mickens . The saddest moment , 2013 . https:\/\/scholar.harvard.edu\/files\/mickens\/files\/thesaddestmoment.pdf. James Mickens. The saddest moment, 2013. https:\/\/scholar.harvard.edu\/files\/mickens\/files\/thesaddestmoment.pdf."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2517350"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2015.40"},{"key":"e_1_3_2_1_28_1","volume-title":"Tanenbaum and Maarten van Steen. Distributed systems - principles and paradigms","author":"Andrew","year":"2007","unstructured":"Andrew S. Tanenbaum and Maarten van Steen. Distributed systems - principles and paradigms , 2 nd Edition. Pearson Education , 2007 . Andrew S. Tanenbaum and Maarten van Steen. Distributed systems - principles and paradigms, 2nd Edition. Pearson Education, 2007.","edition":"2"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS)","author":"Tennakoon Deepal","year":"2023","unstructured":"Deepal Tennakoon , Yiding Hua , and Vincent Gramoli . Smart Redbelly blockchain: Reducing congestion for Web3 . In Proceedings of the 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS) , 2023 . Deepal Tennakoon, Yiding Hua, and Vincent Gramoli. Smart Redbelly blockchain: Reducing congestion for Web3. In Proceedings of the 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2023."},{"key":"e_1_3_2_1_31_1","first-page":"112","volume-title":"IFIP WG 11.4 International Workshop on Open Problems in Network Security","author":"Vukoli\u0107 Marko","year":"2015","unstructured":"Marko Vukoli\u0107 . The quest for scalable blockchain fabric: Proof-of-work vs. BFT replication . In IFIP WG 11.4 International Workshop on Open Problems in Network Security , pages 112 -- 125 , 2015 . Marko Vukoli\u0107. The quest for scalable blockchain fabric: Proof-of-work vs. BFT replication. In IFIP WG 11.4 International Workshop on Open Problems in Network Security, pages 112--125, 2015."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3317550.3321442"},{"key":"e_1_3_2_1_33_1","first-page":"347","volume-title":"Proceedings of the ACM Symposium on Distributed Computing (PODC)","author":"Yin Maofan","year":"2019","unstructured":"Maofan Yin , Dahlia Malkhi , Michael K. Reiter , Guy Golan-Gueta , and Ittai Abraham . HotStuff : BFT consensus with linearity and responsiveness . In Proceedings of the ACM Symposium on Distributed Computing (PODC) , pages 347 -- 356 , 2019 . Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan-Gueta, and Ittai Abraham. HotStuff: BFT consensus with linearity and responsiveness. In Proceedings of the ACM Symposium on Distributed Computing (PODC), pages 347--356, 2019."},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS)","author":"Zarbafian Pouriya","year":"2023","unstructured":"Pouriya Zarbafian and Vincent Gramoli . Lyra : Fast and scalable resilience to reordering attacks in blockchains . In Proceedings of the 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS) , 2023 . Pouriya Zarbafian and Vincent Gramoli. Lyra: Fast and scalable resilience to reordering attacks in blockchains. In Proceedings of the 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2023."},{"key":"e_1_3_2_1_35_1","first-page":"633","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Zhang Yunhao","year":"2020","unstructured":"Yunhao Zhang , Srinath Setty , Qi Chen , Lidong Zhou , and Lorenzo Alvisi . Byzantine ordered consensus without byzantine oligarchy . In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI) , pages 633 -- 649 , 2020 . Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, and Lorenzo Alvisi. Byzantine ordered consensus without byzantine oligarchy. In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 633--649, 2020."}],"event":{"name":"ApPLIED 2023: 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Orlando FL USA","acronym":"ApPLIED 2023"},"container-title":["Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584684.3597270","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3584684.3597270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:50:00Z","timestamp":1750269000000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584684.3597270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,19]]},"references-count":34,"alternative-id":["10.1145\/3584684.3597270","10.1145\/3584684"],"URL":"https:\/\/doi.org\/10.1145\/3584684.3597270","relation":{},"subject":[],"published":{"date-parts":[[2023,6,19]]},"assertion":[{"value":"2023-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}