{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T03:00:25Z","timestamp":1781060425028,"version":"3.54.1"},"reference-count":84,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T00:00:00Z","timestamp":1780358400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2026,9]]},"DOI":"10.1016\/j.tcs.2026.116086","type":"journal-article","created":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T06:38:55Z","timestamp":1780641535000},"page":"116086","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Correctness and fairness of committee-based blockchains: A case study of Tendermint\u2019s repeated consensus"],"prefix":"10.1016","volume":"1082","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6942-0412","authenticated-orcid":false,"given":"Yackolley","family":"Amoussou-Guenou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonella","family":"Del Pozzo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria","family":"Potop-Butucaru","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sara","family":"Tucci-Piergiovanni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2026.116086_bib0001","series-title":"Fast Software Encryption, 11th International Workshop, FSE 2004, Delhi, India, February 5\u20137, 2004, Revised Papers","first-page":"371","article-title":"Cryptographic hash-function basics: definitions, implications, and separations for preimage resistance, second-preimage resistance, and collision resistance","volume":"Vol. 3017","author":"Rogaway","year":"2004"},{"key":"10.1016\/j.tcs.2026.116086_bib0002","series-title":"Advances in Cryptology - CRYPTO \u201992, 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16\u201320, 1992, Proceedings","first-page":"139","article-title":"Pricing via processing or combatting junk mail","volume":"Vol. 740","author":"Dwork","year":"1992"},{"key":"10.1016\/j.tcs.2026.116086_bib0003","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01807-7","article-title":"Principles of Blockchain Systems","author":"Anta","year":"2021"},{"key":"10.1016\/j.tcs.2026.116086_bib0004","series-title":"Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), New Orleans, Louisiana, USA, February 22\u201325, 1999","first-page":"173","article-title":"Practical byzantine fault tolerance","author":"Castro","year":"1999"},{"key":"10.1016\/j.tcs.2026.116086_bib0005","series-title":"Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28\u201331, 2017","first-page":"51","article-title":"Algorand: scaling byzantine agreements for cryptocurrencies","author":"Gilad","year":"2017"},{"key":"10.1016\/j.tcs.2026.116086_bib0006","unstructured":"T. Rocket, M. Yin, K. Sekniqi, R. van Renesse, E.G. Sirer, Scalable and Probabilistic Leaderless BFT Consensus through Metastability, CoRR abs\/1906.08936(2019)."},{"key":"10.1016\/j.tcs.2026.116086_bib0007","series-title":"Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019","first-page":"347","article-title":"HotStuff: BFT consensus with linearity and responsiveness","author":"Yin","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0008","unstructured":"T. Crain, V. Gramoli, M. Larrea, M. Raynal, (Leader\/Randomization\/Signature)-free Byzantine Consensus for Consortium Blockchains, CoRR abs\/1702.03068v2(2017). arXiv: 1702.03068v2."},{"key":"10.1016\/j.tcs.2026.116086_bib0009","series-title":"Tech. Rep.","article-title":"The Latest Gossip on BFT Consensus","author":"Buchman","year":"2018"},{"issue":"2","key":"10.1016\/j.tcs.2026.116086_bib0010","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1145\/42282.42283","article-title":"Consensus in the presence of partial synchrony","volume":"35","author":"Dwork","year":"1988","journal-title":"J. ACM"},{"issue":"3","key":"10.1016\/j.tcs.2026.116086_bib0011","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/357172.357176","article-title":"The byzantine generals problem","volume":"4","author":"Lamport","year":"1982","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"10.1016\/j.tcs.2026.116086_bib0012","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/TDSC.2006.35","article-title":"Fast byzantine consensus","volume":"3","author":"Martin","year":"2006","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"10.1016\/j.tcs.2026.116086_bib0013","series-title":"Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27\u201329, 1984","first-page":"163","article-title":"Randomized byzantine agreements","author":"Toueg","year":"1984"},{"key":"10.1016\/j.tcs.2026.116086_bib0014","series-title":"22nd International Conference on Principles of Distributed Systems (OPODIS 2018)","first-page":"16:1","article-title":"Correctness of tendermint-core blockchains","volume":"Vol. 125","author":"Amoussou-Guenou","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0015","series-title":"Networked Systems","first-page":"166","article-title":"Dissecting tendermint","author":"Amoussou-Guenou","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0016","series-title":"2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020)","first-page":"4:1","article-title":"On fairness in committee-based blockchains","volume":"Vol. 82","author":"Amoussou-Guenou","year":"2021"},{"key":"10.1016\/j.tcs.2026.116086_bib0017","unstructured":"Y. Amoussou-Guenou, A. Del Pozzo, M. Potop-Butucaru, S. Tucci-Piergiovanni, Correctness and fairness of tendermint-core blockchains, arXiv: 1805.08429(2018a)."},{"key":"10.1016\/j.tcs.2026.116086_bib0018","doi-asserted-by":"crossref","unstructured":"Y. Amoussou-Guenou, A. Del Pozzo, M. Potop-Butucaru, S. Tucci-Piergiovanni, Dissecting tendermint, arXiv: 1809.09858(2018b).","DOI":"10.1007\/978-3-030-31277-0_11"},{"key":"10.1016\/j.tcs.2026.116086_bib0019","series-title":"Governing the Commons in Blockchains","author":"Amoussou-Guenou","year":"2020"},{"key":"10.1016\/j.tcs.2026.116086_bib0020","series-title":"Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, Washington, DC, USA, July 25\u201327, 2017","first-page":"315","article-title":"FruitChains: a fair blockchain","author":"Pass","year":"2017"},{"key":"10.1016\/j.tcs.2026.116086_bib0021","series-title":"International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, May 6\u20137, 2019, Paris, France","first-page":"7:1","article-title":"Cryptocurrency egalitarianism: a quantitative approach","volume":"Vol. 71","author":"Karakostas","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0022","series-title":"Distributed Algorithms","author":"Lynch","year":"1996"},{"key":"10.1016\/j.tcs.2026.116086_bib0023","series-title":"Advances in Cryptology - CRYPTO 2001, 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19\u201323, 2001, Proceedings","first-page":"524","article-title":"Secure and efficient asynchronous broadcast protocols","volume":"Vol. 2139","author":"Cachin","year":"2001"},{"issue":"2","key":"10.1016\/j.tcs.2026.116086_bib0024","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/3149.214121","article-title":"Impossibility of distributed consensus with one faulty process","volume":"32","author":"Fischer","year":"1985","journal-title":"J. ACM"},{"key":"10.1016\/j.tcs.2026.116086_bib0025","unstructured":"I. Abraham, D. Malkhi, K. Nayak, L. Ren, A. Spiegelman, Solidus: an incentive-compatible cryptocurrency based on permissionless byzantine consensus, CoRR abs\/1612.02916(2016). arXiv: 1612.02916."},{"issue":"4","key":"10.1016\/j.tcs.2026.116086_bib0026","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF01784719","article-title":"Reaching agreement on processor-group membrship in synchronous distributed systems","volume":"4","author":"Cristian","year":"1991","journal-title":"Distrib. Comput."},{"key":"10.1016\/j.tcs.2026.116086_bib0027","unstructured":"Ethereum, The Beacon Chain, 2022, [Online; accessed 2022 April 15], https:\/\/ethereum.org\/en\/upgrades\/beacon-chain\/."},{"key":"10.1016\/j.tcs.2026.116086_bib0028","unstructured":"Polkadot, Polkadot Consensus, 2022, [Online; accessed 2022 April 15], https:\/\/wiki.polkadot.network\/docs\/learn-consensus."},{"key":"10.1016\/j.tcs.2026.116086_bib0029","series-title":"25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10\u201312, 2016","first-page":"279","article-title":"Enhancing bitcoin security and performance with strong consistency via collective signing","author":"Kokoris-Kogias","year":"2016"},{"key":"10.1016\/j.tcs.2026.116086_bib0030","series-title":"Distributed Computing and Networking, 11th International Conference, ICDCN 2010, Kolkata, India, January 3\u20136, 2010. Proceedings","first-page":"67","article-title":"A leader-free byzantine consensus algorithm","volume":"Vol. 5935","author":"Borran","year":"2010"},{"key":"10.1016\/j.tcs.2026.116086_bib0031","series-title":"17th IEEE International Symposium on Network Computing and Applications, NCA 2018, Cambridge, MA, USA, November 1\u20133, 2018","first-page":"1","article-title":"DBFT: efficient leaderless byzantine consensus and its application to blockchains","author":"Crain","year":"2018"},{"key":"10.1016\/j.tcs.2026.116086_bib0032","series-title":"28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27\u201330, 2009","first-page":"135","article-title":"Spin one\u2019s wheels? Byzantine fault tolerance with a spinning primary","author":"Veronese","year":"2009"},{"key":"10.1016\/j.tcs.2026.116086_bib0033","series-title":"49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2019, Portland, OR, USA, June 24\u201327, 2019","first-page":"568","article-title":"SBFT: a scalable and decentralized trust infrastructure","author":"Golan-Gueta","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0034","series-title":"4th International Symposium on Foundations and Applications of Blockchain 2021, FAB 2021, May 7, 2021, University of California, Davis, California, USA (Virtual Conference)","first-page":"1:1","article-title":"Tenderbake - a solution to dynamic repeated consensus for blockchains","volume":"Vol. 92","author":"Astefanoaei","year":"2021"},{"key":"10.1016\/j.tcs.2026.116086_bib0035","series-title":"A Non-Consensus Based Decentralized Financial Transaction Processing Model with Support for Efficient Auditing","author":"Gupta","year":"2016"},{"key":"10.1016\/j.tcs.2026.116086_bib0036","series-title":"Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019","first-page":"307","article-title":"The consensus number of a cryptocurrency","author":"Guerraoui","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0037","series-title":"ACM Symposium on Principles of Distributed Computing, PODC \u201913, Montreal, QC, Canada, July 22\u201324, 2013","first-page":"84","article-title":"Synchronous byzantine agreement with nearly a cubic number of communication bits","author":"Kowalski","year":"2013"},{"key":"10.1016\/j.tcs.2026.116086_bib0038","series-title":"Advances in Cryptology - EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26\u201330, 2015, Proceedings, Part II","first-page":"281","article-title":"The bitcoin backbone protocol: analysis and applications","volume":"Vol. 9057","author":"Garay","year":"2015"},{"key":"10.1016\/j.tcs.2026.116086_bib0039","series-title":"Advances in Cryptology - CRYPTO 2017 - 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20\u201324, 2017, Proceedings, Part I","first-page":"357","article-title":"Ouroboros: a provably secure proof-of-stake blockchain protocol","volume":"Vol. 10401","author":"Kiayias","year":"2017"},{"issue":"7","key":"10.1016\/j.tcs.2026.116086_bib0040","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/3212998","article-title":"Majority is not enough: bitcoin mining is vulnerable","volume":"61","author":"Eyal","year":"2018","journal-title":"Commun. ACM"},{"key":"10.1016\/j.tcs.2026.116086_bib0041","series-title":"Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9\u201311, 2018, Revised Selected Papers","first-page":"36","article-title":"On the unfairness of blockchain","volume":"Vol. 11028","author":"Guerraoui","year":"2018"},{"key":"10.1016\/j.tcs.2026.116086_bib0042","series-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23\u201327, 2017, Proceedings, Part I","first-page":"589","article-title":"On the bitcoin limitations to deliver fairness to users","volume":"Vol. 10573","author":"G\u00fcrcan","year":"2017"},{"key":"10.1016\/j.tcs.2026.116086_bib0043","series-title":"On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22\u201326, 2018, Proceedings, Part I","first-page":"516","article-title":"On cancellation of transactions in bitcoin-Like blockchains","volume":"Vol. 11229","author":"G\u00fcrcan","year":"2018"},{"key":"10.1016\/j.tcs.2026.116086_bib0044","unstructured":"M. Herlihy, M. Moir, Enhancing accountability and trust in distributed ledgers, CoRR abs\/1606.07490(2016). arXiv: 1606.07490."},{"key":"10.1016\/j.tcs.2026.116086_bib0045","series-title":"23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17\u201319, 2019, Neuch\u00e2tel, Switzerland","first-page":"4:1","article-title":"FairLedger: a fair blockchain protocol for financial institutions","volume":"Vol. 153","author":"Lev-Ari","year":"2019"},{"issue":"12","key":"10.1016\/j.tcs.2026.116086_bib0046","doi-asserted-by":"crossref","first-page":"378","DOI":"10.3390\/info10120378","article-title":"A computational study on fairness of the tendermint blockchain protocol","volume":"10","author":"Lagaillardie","year":"2019","journal-title":"Information"},{"key":"10.1016\/j.tcs.2026.116086_bib0047","series-title":"Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18\u201322, 2019, Revised Selected Papers","first-page":"42","article-title":"Compounding of wealth in proof-of-stake cryptocurrencies","volume":"Vol. 11598","author":"Fanti","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0048","series-title":"Parallel Computing Technologies, 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3\u20137, 2007, Proceedings","first-page":"1","article-title":"Looking for a definition of dynamic distributed systems","volume":"Vol. 4671","author":"Baldoni","year":"2007"},{"issue":"4","key":"10.1016\/j.tcs.2026.116086_bib0049","doi-asserted-by":"crossref","first-page":"824","DOI":"10.1145\/4221.214134","article-title":"Asynchronous consensus and broadcast protocols","volume":"32","author":"Bracha","year":"1985","journal-title":"J. ACM"},{"issue":"3","key":"10.1016\/j.tcs.2026.116086_bib0050","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/357172.357176","article-title":"The byzantine generals problem","volume":"4","author":"Lamport","year":"1982","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.tcs.2026.116086_bib0051","unstructured":"S. Nakamoto, Bitcoin: A Peer-to-Peer Electronic Cash System, 2008, https:\/\/bitcoin.org\/bitcoin.pdf. [Online; accessed 2020 July 10]."},{"key":"10.1016\/j.tcs.2026.116086_bib0052","series-title":"Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, Orlando, FL, USA, June 19\u201323, 2023","first-page":"332","article-title":"On the validity of consensus","author":"Civit","year":"2023"},{"key":"10.1016\/j.tcs.2026.116086_bib0053","series-title":"Advances in Cryptology - CRYPTO 2017 - 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20\u201324, 2017, Proceedings, Part I","first-page":"291","article-title":"The bitcoin backbone protocol with chains of variable difficulty","volume":"Vol. 10401","author":"Garay","year":"2017"},{"key":"10.1016\/j.tcs.2026.116086_bib0054","unstructured":"J. Kwon, E. Buchman, Tendermint, 2018, https:\/\/tendermint.readthedocs.io\/en\/master\/specification.html(visited on 2018-05-22)."},{"issue":"1","key":"10.1016\/j.tcs.2026.116086_bib0055","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1006\/inco.1995.1101","article-title":"Optimal amortized distributed consensus","volume":"120","author":"Bar-Noy","year":"1995","journal-title":"Inf. Comput."},{"issue":"1","key":"10.1016\/j.tcs.2026.116086_bib0056","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/S0022-0000(03)00063-1","article-title":"Stability of long-lived consensus","volume":"67","author":"Dolev","year":"2003","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.tcs.2026.116086_bib0057","series-title":"Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15\u201318, 2008. Proceedings","first-page":"41","article-title":"With finite memory consensus is easier than reliable broadcast","volume":"Vol. 5401","author":"Delporte-Gallet","year":"2008"},{"key":"10.1016\/j.tcs.2026.116086_bib0058","series-title":"Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23\u201326, 1996","first-page":"322","article-title":"On the impossibility of group membership","author":"Chandra","year":"1996"},{"key":"10.1016\/j.tcs.2026.116086_bib0059","doi-asserted-by":"crossref","unstructured":"U. Pavloff, Y. Amoussou-Guenou, S. Tucci-Piergiovanni, Ethereum Proof-of-Stake and the Probabilistic Bouncing Attack, Distrib. Ledger Technol. (2025). 10.1145\/3705615.","DOI":"10.1145\/3705615"},{"key":"10.1016\/j.tcs.2026.116086_bib0060","series-title":"International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)","first-page":"10:1","article-title":"F1 fee distribution","volume":"Vol. 71","author":"Ojha","year":"2020"},{"issue":"2","key":"10.1016\/j.tcs.2026.116086_bib0061","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/226643.226647","article-title":"Unreliable failure detectors for reliable distributed systems","volume":"43","author":"Chandra","year":"1996","journal-title":"J. ACM"},{"key":"10.1016\/j.tcs.2026.116086_bib0062","unstructured":"J. Kwon, E. Buchman, Cosmos: A Network of Distributed Ledgers, https:\/\/cosmos.network\/resources\/whitepaper."},{"issue":"1","key":"10.1016\/j.tcs.2026.116086_bib0063","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1093\/comjnl\/46.1.16","article-title":"Byzantine fault detectors for solving consensus","volume":"46","author":"Kihlstrom","year":"2003","journal-title":"Comput. J."},{"key":"10.1016\/j.tcs.2026.116086_bib0064","series-title":"Principles of Distributed Systems, 13th International Conference, OPODIS 2009, N\u00eemes, France, December 15\u201318, 2009","first-page":"99","article-title":"The fault detection problem","author":"Haeberlen","year":"2009"},{"key":"10.1016\/j.tcs.2026.116086_bib0065","series-title":"2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8\u201311, 2012","first-page":"191","article-title":"A time-free byzantine failure detector for dynamic networks","author":"Greve","year":"2012"},{"key":"10.1016\/j.tcs.2026.116086_bib0066","unstructured":"J. Kwon, Tendermint: consensus without mining, 2014, https:\/\/tendermint.com\/static\/docs\/tendermint.pdf. [Online; accessed 2020 July 10]."},{"key":"10.1016\/j.tcs.2026.116086_bib0067","unstructured":"Tendermint Inc., Tendermint, 2020, [Online; accessed 2021 June 30]."},{"key":"10.1016\/j.tcs.2026.116086_bib0068","unstructured":"Cosmos, Cosmos Apps & Ecosystem, 2021, https:\/\/cosmos.network\/ecosystem\/apps\/. [Online; accessed 2021 June 30]."},{"key":"10.1016\/j.tcs.2026.116086_bib0069","unstructured":"Binance, Binance Chain, 2020, [Online; accessed 2020 July 10], https:\/\/docs.binance.org\/guides\/intro.html."},{"key":"10.1016\/j.tcs.2026.116086_bib0070","series-title":"Tech. Rep.","article-title":"State Machine Replication in the Libra Blockchain","author":"Team","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0071","series-title":"Tendermint: Byzantine Fault Tolerance in the Age of Blockchains","author":"Buchman","year":"2016"},{"key":"10.1016\/j.tcs.2026.116086_bib0072","series-title":"31st International Symposium on Distributed Computing, DISC 2017, October 16\u201320, 2017, Vienna, Austria","first-page":"1:1","article-title":"Blockchain consensus protocols in the wild (Keynote Talk)","volume":"Vol. 91","author":"Cachin","year":"2017"},{"key":"10.1016\/j.tcs.2026.116086_bib0073","unstructured":"D. Malkhi, The BFT lens: tendermint, 2018, [Online; accessed 2020 July 10]."},{"key":"10.1016\/j.tcs.2026.116086_bib0074","unstructured":"Tendermint, Tendermint: tendermint core (BFT Consensus) in Go, 2020, https:\/\/github.com\/tendermint\/tendermint. [Online; accessed 2020 July 10]."},{"key":"10.1016\/j.tcs.2026.116086_bib0075","unstructured":"Tendermint, Tendermint parameters, 2021, https:\/\/github.com\/tendermint\/tendermint\/blob\/master\/types\/params.go. [Online; accessed 2021 June 30]."},{"issue":"4","key":"10.1016\/j.tcs.2026.116086_bib0076","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0020-0190(82)90033-3","article-title":"A lower bound for the time to assure interactive consistency","volume":"14","author":"Fischer","year":"1982","journal-title":"Inf. Process. Lett."},{"key":"10.1016\/j.tcs.2026.116086_bib0077","unstructured":"Tendermint, Tendermint core - data structure, 2021, https:\/\/docs.tendermint.com\/master\/spec\/core\/data_structures.html. [Online; accessed 2021 June 30]."},{"key":"10.1016\/j.tcs.2026.116086_bib0078","unstructured":"S. Braithwaite, E. Buchman, I. Khoffi, I. Konnov, Z. Milosevic, R. Ruetschi, J. Widder, A tendermint light client, CoRR abs\/2010.07031(2020). arXiv: 2010.07031."},{"key":"10.1016\/j.tcs.2026.116086_bib0079","series-title":"Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7\u201311, 2019, Revised Selected Papers, Part I","first-page":"362","article-title":"Towards a verified model of the algorand consensus protocol in coq","author":"Alturki","year":"2019"},{"key":"10.1016\/j.tcs.2026.116086_bib0080","series-title":"2nd Workshop on Formal Methods for Blockchains (FMBC 2020)","first-page":"10:1","article-title":"Formal specification and model checking of the tendermint blockchain synchronization protocol (Short Paper)","volume":"Vol. 84","author":"Braithwaite","year":"2020"},{"key":"10.1016\/j.tcs.2026.116086_bib0081","series-title":"NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24\u201327, 2022, Proceedings","first-page":"616","article-title":"Towards formal verification of HotStuff-based byzantine fault tolerant consensus in agda","volume":"Vol. 13260","author":"Carr","year":"2022"},{"key":"10.1016\/j.tcs.2026.116086_bib0082","series-title":"PODC \u201922: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25\u201329, 2022","first-page":"424","article-title":"Brief announcement: holistic verification of blockchain consensus","author":"Bertrand","year":"2022"},{"key":"10.1016\/j.tcs.2026.116086_bib0083","first-page":"197","article-title":"Formal verification of HotStuff","volume":"Vol. 12719","author":"Jehl","year":"2021"},{"key":"10.1016\/j.tcs.2026.116086_bib0084","series-title":"2nd Workshop on Formal Methods for Blockchains (FMBC 2020)","first-page":"9:1","article-title":"On the formal verification of the stellar consensus protocol","volume":"Vol. 84","author":"Losa","year":"2020"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526003361?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526003361?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T02:47:50Z","timestamp":1781059670000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397526003361"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9]]},"references-count":84,"alternative-id":["S0304397526003361"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2026.116086","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2026,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Correctness and fairness of committee-based blockchains: A case study of Tendermint\u2019s repeated consensus","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.tcs.2026.116086","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"116086"}}