{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T06:00:34Z","timestamp":1783576834200,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T00:00:00Z","timestamp":1658275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,20]]},"DOI":"10.1145\/3519270.3538430","type":"proceedings-article","created":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T16:23:51Z","timestamp":1658420631000},"page":"81-91","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Internet Computer Consensus"],"prefix":"10.1145","author":[{"given":"Jan","family":"Camenisch","sequence":"first","affiliation":[{"name":"DFINITY Foundation, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manu","family":"Drijvers","sequence":"additional","affiliation":[{"name":"DFINITY Foundation, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Timo","family":"Hanke","sequence":"additional","affiliation":[{"name":"DFINITY Foundation, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yvonne-Anne","family":"Pignolet","sequence":"additional","affiliation":[{"name":"DFINITY Foundation, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Shoup","sequence":"additional","affiliation":[{"name":"DFINITY Foundation, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominic","family":"Williams","sequence":"additional","affiliation":[{"name":"DFINITY Foundation, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,7,21]]},"reference":[{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293611.3331612"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168596"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806707"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03329-3_15"},{"key":"e_1_3_2_2_6_1","volume-title":"7th International Conference on the Theory and Application of Cryptology and Information Security","volume":"532","author":"Boneh Dan","year":"2001","unstructured":"Dan Boneh , Ben Lynn , and Hovav Shacham . 2001 . Short Signatures from the Weil Pairing. In Advances in Cryptology - ASIACRYPT 2001 , 7th International Conference on the Theory and Application of Cryptology and Information Security , Gold Coast, Australia, December 9--13 , 2001, Proceedings (Lecture Notes in Computer Science, Vol. 2248), Colin Boyd (Ed.). Springer, 514-- 532 . https:\/\/doi.org\/10.1007\/3- 540--45682--1_30 10.1007\/3- Dan Boneh, Ben Lynn, and Hovav Shacham. 2001. Short Signatures from the Weil Pairing. In Advances in Cryptology - ASIACRYPT 2001, 7th International Conference on the Theory and Application of Cryptology and Information Security, Gold Coast, Australia, December 9--13, 2001, Proceedings (Lecture Notes in Computer Science, Vol. 2248), Colin Boyd (Ed.). Springer, 514--532. https:\/\/doi.org\/10.1007\/3- 540--45682--1_30"},{"key":"e_1_3_2_2_7_1","unstructured":"Manuel Bravo Gregory Chockler and Alexey Gotsman. 2020. Making Byzantine Consensus Live (Extended Version). arXiv:2008.04167 http:\/\/arxiv.org\/abs\/2008. 04167.  Manuel Bravo Gregory Chockler and Alexey Gotsman. 2020. Making Byzantine Consensus Live (Extended Version). arXiv:2008.04167 http:\/\/arxiv.org\/abs\/2008. 04167."},{"key":"e_1_3_2_2_8_1","unstructured":"Ethan Buchman Jae Kwon and Zarko Milosevic. 2018. The latest gossip on BFT consensus. arXiv:1807.04938 http:\/\/arxiv.org\/abs\/1807.04938.  Ethan Buchman Jae Kwon and Zarko Milosevic. 2018. The latest gossip on BFT consensus. arXiv:1807.04938 http:\/\/arxiv.org\/abs\/1807.04938."},{"key":"e_1_3_2_2_9_1","volume-title":"21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19--23, 2001, Proceedings (Lecture Notes in Computer Science","volume":"541","author":"Cachin Christian","year":"2001","unstructured":"Christian Cachin , Klaus Kursawe , Frank Petzold , and Victor Shoup . 2001 . Secure and Efficient Asynchronous Broadcast Protocols. In Advances in Cryptology - CRYPTO 2001 , 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19--23, 2001, Proceedings (Lecture Notes in Computer Science , Vol. 2139), Joe Kilian (Ed.). Springer, 524-- 541 . https:\/\/doi.org\/10.1007\/3--540- 44647--8_31 10.1007\/3--540- Christian Cachin, Klaus Kursawe, Frank Petzold, and Victor Shoup. 2001. Secure and Efficient Asynchronous Broadcast Protocols. In Advances in Cryptology - CRYPTO 2001, 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19--23, 2001, Proceedings (Lecture Notes in Computer Science, Vol. 2139), Joe Kilian (Ed.). Springer, 524--541. https:\/\/doi.org\/10.1007\/3--540- 44647--8_31"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-005-0318-0"},{"key":"e_1_3_2_2_11_1","volume-title":"19th International Conference, DISC 2005, Cracow, Poland, September 26--29, 2005, Proceedings (Lecture Notes in Computer Science","volume":"504","author":"Cachin Christian","year":"2005","unstructured":"Christian Cachin and Stefano Tessaro . 2005 . Asynchronous Verifiable Information Dispersal. In Distributed Computing , 19th International Conference, DISC 2005, Cracow, Poland, September 26--29, 2005, Proceedings (Lecture Notes in Computer Science , Vol. 3724), Pierre Fraigniaud (Ed.). Springer, 503-- 504 . https:\/\/doi.org\/10. 1007\/11561927_42 Christian Cachin and Stefano Tessaro. 2005. Asynchronous Verifiable Information Dispersal. In Distributed Computing, 19th International Conference, DISC 2005, Cracow, Poland, September 26--29, 2005, Proceedings (Lecture Notes in Computer Science, Vol. 3724), Pierre Fraigniaud (Ed.). Springer, 503--504. https:\/\/doi.org\/10. 1007\/11561927_42"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/296806.296824"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/571637.571640"},{"key":"e_1_3_2_2_15_1","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009","author":"Clement Allen","year":"2009","unstructured":"Allen Clement , Edmund L. Wong , Lorenzo Alvisi , Michael Dahlin , and Mirco Marchetti . 2009 . Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009 , April 22 --24 , 2009, Boston, MA, USA, Jennifer Rexford and Emin G\u00fcn Sirer (Eds.). USENIX Association, 153-- 168. http:\/\/www.usenix.org\/events\/nsdi09\/tech\/full_papers\/clement\/clement.pdf http:\/\/www.usenix.org\/events\/nsdi09\/tech\/full_papers\/clement\/clement.pdf. Allen Clement, Edmund L. Wong, Lorenzo Alvisi, Michael Dahlin, and Mirco Marchetti. 2009. Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009, April 22--24, 2009, Boston, MA, USA, Jennifer Rexford and Emin G\u00fcn Sirer (Eds.). USENIX Association, 153-- 168. http:\/\/www.usenix.org\/events\/nsdi09\/tech\/full_papers\/clement\/clement.pdf http:\/\/www.usenix.org\/events\/nsdi09\/tech\/full_papers\/clement\/clement.pdf."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041680.1041682"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41841"},{"key":"e_1_3_2_2_18_1","unstructured":"DFINITY. 2020. A Technical Overview of the Internet Computer. https:\/\/medium. com\/dfinity\/a-technical-overview-of-the-internet-computer-f57c62abc20f.  DFINITY. 2020. A Technical Overview of the Internet Computer. https:\/\/medium. com\/dfinity\/a-technical-overview-of-the-internet-computer-f57c62abc20f."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243812"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/42282.42283"},{"key":"e_1_3_2_2_21_1","volume-title":"Algorand: Scaling Byzantine Agreements for Cryptocurrencies. Cryptology ePrint Archive, Report 2017\/454. https:\/\/eprint.iacr.org\/2017\/454.","author":"Gilad Yossi","year":"2017","unstructured":"Yossi Gilad , Rotem Hemo , Silvio Micali , Georgios Vlachos , and Nickolai Zeldovich . 2017 . Algorand: Scaling Byzantine Agreements for Cryptocurrencies. Cryptology ePrint Archive, Report 2017\/454. https:\/\/eprint.iacr.org\/2017\/454. Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, and Nickolai Zeldovich. 2017. Algorand: Scaling Byzantine Agreements for Cryptocurrencies. Cryptology ePrint Archive, Report 2017\/454. https:\/\/eprint.iacr.org\/2017\/454."},{"key":"e_1_3_2_2_22_1","volume-title":"SBFT: A Scalable and Decentralized Trust Infrastructure. In 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2019","author":"Golan-Gueta Guy","year":"2019","unstructured":"Guy Golan-Gueta , Ittai Abraham , Shelly Grossman , Dahlia Malkhi , Benny Pinkas , Michael K. Reiter , Dragos-Adrian Seredinschi , Orr Tamir , and Alin Tomescu . 2019 . SBFT: A Scalable and Decentralized Trust Infrastructure. In 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2019 , Portland, OR, USA, June 24--27 , 2019. IEEE, 568--580. https:\/\/doi.org\/10.1109\/DSN.2019.00063 10.1109\/DSN.2019.00063 Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, and Alin Tomescu. 2019. SBFT: A Scalable and Decentralized Trust Infrastructure. In 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2019, Portland, OR, USA, June 24--27, 2019. IEEE, 568--580. https:\/\/doi.org\/10.1109\/DSN.2019.00063"},{"key":"e_1_3_2_2_23_1","volume-title":"Dumbo: Faster Asynchronous BFT Protocols. In CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security","author":"Guo Bingyong","year":"2020","unstructured":"Bingyong Guo , Zhenliang Lu , Qiang Tang , Jing Xu , and Zhenfeng Zhang . 2020 . Dumbo: Faster Asynchronous BFT Protocols. In CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security , Virtual Event, USA, November 9--13 , 2020, Jay Ligatti, Xinming Ou, Jonathan Katz, and Giovanni Vigna (Eds.). ACM, 803--818. https:\/\/doi.org\/10.1145\/3372297.3417262 10.1145\/3372297.3417262 Bingyong Guo, Zhenliang Lu, Qiang Tang, Jing Xu, and Zhenfeng Zhang. 2020. Dumbo: Faster Asynchronous BFT Protocols. In CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9--13, 2020, Jay Ligatti, Xinming Ou, Jonathan Katz, and Giovanni Vigna (Eds.). ACM, 803--818. https:\/\/doi.org\/10.1145\/3372297.3417262"},{"key":"e_1_3_2_2_24_1","unstructured":"Timo Hanke Mahnush Movahedi and Dominic Williams. 2018. DFINITY Technology Overview Series Consensus System. arXiv:1805.04548 http: \/\/arxiv.org\/abs\/1805.04548.  Timo Hanke Mahnush Movahedi and Dominic Williams. 2018. DFINITY Technology Overview Series Consensus System. arXiv:1805.04548 http: \/\/arxiv.org\/abs\/1805.04548."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"e_1_3_2_2_26_1","unstructured":"LibraBFT Team. 2020. State Machine Replication in the Libra Blockchain. https:\/\/diem-developers-components.netlify.app\/papers\/diem-consensus-statemachine- replication-in-the-diem-blockchain\/2020-05--26.pdf.  LibraBFT Team. 2020. State Machine Replication in the Libra Blockchain. https:\/\/diem-developers-components.netlify.app\/papers\/diem-consensus-statemachine- replication-in-the-diem-blockchain\/2020-05--26.pdf."},{"key":"e_1_3_2_2_27_1","volume-title":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","author":"Xia Yu","year":"2016","unstructured":"AndrewMiller, Yu Xia , Kyle Croman , Elaine Shi , and Dawn Song . 2016 . The Honey Badger of BFT Protocols . In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security , Vienna, Austria, October 24--28 , 2016, Edgar R. Weippl, Stefan Katzenbeisser, Christopher Kruegel, Andrew C. Myers, and Shai Halevi (Eds.). ACM, 31--42. https:\/\/doi.org\/10.1145\/2976749.2978399 10.1145\/2976749.2978399 AndrewMiller, Yu Xia, Kyle Croman, Elaine Shi, and Dawn Song. 2016. The Honey Badger of BFT Protocols. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24--28, 2016, Edgar R. Weippl, Stefan Katzenbeisser, Christopher Kruegel, Andrew C. Myers, and Shai Halevi (Eds.). ACM, 31--42. https:\/\/doi.org\/10.1145\/2976749.2978399"},{"key":"e_1_3_2_2_28_1","volume-title":"Gogsworth: Byzantine View Synchronization. arXiv:1909.05204","author":"Naor Oded","year":"2019","unstructured":"Oded Naor , Mathieu Baudet , Dahlia Malkhi , and Alexander Spiegelman . 2019 . Gogsworth: Byzantine View Synchronization. arXiv:1909.05204 , http:\/\/arxiv. org\/abs\/1909.05204. Oded Naor, Mathieu Baudet, Dahlia Malkhi, and Alexander Spiegelman. 2019. Gogsworth: Byzantine View Synchronization. arXiv:1909.05204, http:\/\/arxiv. org\/abs\/1909.05204."},{"key":"e_1_3_2_2_29_1","unstructured":"Oded Naor and Idit Keidar. 2020. Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR. arXiv:2002.07539 http:\/\/arxiv.org\/abs\/ 2002.07539.  Oded Naor and Idit Keidar. 2020. Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR. arXiv:2002.07539 http:\/\/arxiv.org\/abs\/ 2002.07539."},{"key":"#cr-split#-e_1_3_2_2_30_1.1","doi-asserted-by":"crossref","unstructured":"Rafael Pass and Elaine Shi. 2018. Thunderella: Blockchains with Optimistic Instant Confirmation. In Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques Tel Aviv Israel April 29 - May 3 2018 Proceedings Part II (Lecture Notes in Computer Science Vol. 10821) Jesper Buus Nielsen and Vincent Rijmen (Eds.). Springer 3--33. https:\/\/doi.org\/10.1007\/978--3--319--78375--8_1 10.1007\/978--3--319--78375--8_1","DOI":"10.1007\/978-3-319-78375-8_1"},{"key":"#cr-split#-e_1_3_2_2_30_1.2","doi-asserted-by":"crossref","unstructured":"Rafael Pass and Elaine Shi. 2018. Thunderella: Blockchains with Optimistic Instant Confirmation. In Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques Tel Aviv Israel April 29 - May 3 2018 Proceedings Part II (Lecture Notes in Computer Science Vol. 10821) Jesper Buus Nielsen and Vincent Rijmen (Eds.). Springer 3--33. https:\/\/doi.org\/10.1007\/978--3--319--78375--8_1","DOI":"10.1007\/978-3-319-78375-8_1"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322188"},{"key":"e_1_3_2_2_32_1","volume-title":"9th International Conference, OPODIS 2005","author":"HariGovind","year":"2005","unstructured":"HariGovind V. Ramasamy and Christian Cachin. 2005. Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast. In Principles of Distributed Systems , 9th International Conference, OPODIS 2005 , Pisa, Italy, December 12- 14 , 2005 , Revised Selected Papers (Lecture Notes in Computer Science, Vol. 3974), James H. Anderson, Giuseppe Prencipe, and Roger Wattenhofer (Eds.). Springer, 88--102. https:\/\/doi.org\/10.1007\/11795490_9 10.1007\/11795490_9 HariGovind V. Ramasamy and Christian Cachin. 2005. Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast. In Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12- 14, 2005, Revised Selected Papers (Lecture Notes in Computer Science, Vol. 3974), James H. Anderson, Giuseppe Prencipe, and Roger Wattenhofer (Eds.). Springer, 88--102. https:\/\/doi.org\/10.1007\/11795490_9"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/359168.359176"},{"key":"e_1_3_2_2_35_1","unstructured":"Chrysoula Stathakopoulou Tudor David and Marko Vukolic. 2019. Mir-BFT: High-Throughput BFT for Blockchains. arXiv:1906.05552 http:\/\/arxiv.org\/abs\/ 1906.05552.  Chrysoula Stathakopoulou Tudor David and Marko Vukolic. 2019. Mir-BFT: High-Throughput BFT for Blockchains. arXiv:1906.05552 http:\/\/arxiv.org\/abs\/ 1906.05552."},{"key":"e_1_3_2_2_36_1","volume-title":"Guy Golan Gueta, and Ittai Abraham","author":"Yin Maofan","year":"2018","unstructured":"Maofan Yin , Dahlia Malkhi , Michael K. Reiter , Guy Golan Gueta, and Ittai Abraham . 2018 . HotStuff: BFT Consensus in the Lens of Blockchain . arXiv:1803.05069, http:\/\/arxiv.org\/abs\/1803.05069. Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan Gueta, and Ittai Abraham. 2018. HotStuff: BFT Consensus in the Lens of Blockchain. arXiv:1803.05069, http:\/\/arxiv.org\/abs\/1803.05069."}],"event":{"name":"PODC '22: ACM Symposium on Principles of Distributed Computing","location":"Salerno Italy","acronym":"PODC '22","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519270.3538430","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519270.3538430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:20Z","timestamp":1750191140000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519270.3538430"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,20]]},"references-count":35,"alternative-id":["10.1145\/3519270.3538430","10.1145\/3519270"],"URL":"https:\/\/doi.org\/10.1145\/3519270.3538430","relation":{},"subject":[],"published":{"date-parts":[[2022,7,20]]},"assertion":[{"value":"2022-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}