{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T10:12:35Z","timestamp":1785147155995,"version":"3.55.0"},"reference-count":24,"publisher":"MDPI AG","issue":"5","license":[{"start":{"date-parts":[[2023,3,4]],"date-time":"2023-03-04T00:00:00Z","timestamp":1677888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Blockchain technology has been gaining great interest from a variety of sectors including healthcare, supply chain, and cryptocurrencies. However, Blockchain suffers from a limited ability to scale (i.e., low throughput and high latency). Several solutions have been proposed to tackle this. In particular, sharding has proved to be one of the most promising solutions to Blockchain\u2019s scalability issue. Sharding can be divided into two major categories: (1) Sharding-based Proof-of-Work (PoW) Blockchain protocols, and (2) Sharding-based Proof-of-Stake (PoS) Blockchain protocols. The two categories achieve good performances (i.e., good throughput with a reasonable latency), but raise security issues. This article focuses on the second category. In this paper, we start by introducing the key components of sharding-based PoS Blockchain protocols. We then briefly introduce two consensus mechanisms, namely PoS and practical Byzantine Fault Tolerance (pBFT), and discuss their use and limitations in the context of sharding-based Blockchain protocols. Next, we provide a probabilistic model to analyze the security of these protocols. More specifically, we compute the probability of committing a faulty block and measure the security by computing the number of years to fail. We achieve a number of years to fail of approximately 4000 in a network of 4000 nodes, 10 shards, and a shard resiliency of 33%.<\/jats:p>","DOI":"10.3390\/s23052819","type":"journal-article","created":{"date-parts":[[2023,3,6]],"date-time":"2023-03-06T02:28:34Z","timestamp":1678069714000},"page":"2819","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Sharding-Based Proof-of-Stake Blockchain Protocols: Key Components &amp; Probabilistic Security Analysis"],"prefix":"10.3390","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1377-1387","authenticated-orcid":false,"given":"Abdelatif","family":"Hafid","sequence":"first","affiliation":[{"name":"Department of Computer Science and Operations Research, Universit\u00e9 de Montr\u00e9al, Montreal, QC H3T 1J4, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abdelhakim Senhaji","family":"Hafid","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Operations Research, Universit\u00e9 de Montr\u00e9al, Montreal, QC H3T 1J4, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dimitrios","family":"Makrakis","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Computer Science, University of Ottawa, Ottawa, ON K1N 6N5, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1968","published-online":{"date-parts":[[2023,3,4]]},"reference":[{"key":"ref_1","unstructured":"Nakamoto, S. (2022, January 01). Bitcoin Whitepaper. Available online: https:\/\/bitcoin.org\/bitcoin.pdf."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"1835","DOI":"10.1109\/TETC.2019.2936881","article-title":"Exploring Research in Blockchain for Healthcare and a Roadmap for the Future","volume":"9","author":"Kassab","year":"2019","journal-title":"IEEE Trans. Emerg. Top. Comput."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Almaiah, M.A., Hajjej, F., Ali, A., Pasha, M.F., and Almomani, O. (2022). A Novel Hybrid Trustworthy Decentralized Authentication and Data Preservation Model for Digital Healthcare IoT Based CPS. Sensors, 22.","DOI":"10.3390\/s22041448"},{"key":"ref_4","first-page":"47","article-title":"Blockchain in the fields of finance and accounting: A disruptive technology or an overhyped phenomenon","volume":"8","author":"Nordgren","year":"2019","journal-title":"ACRN Oxf. J. Financ. Risk Perspect."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"45360","DOI":"10.1109\/ACCESS.2019.2902501","article-title":"Blockchain Applications\u2014Usage in Different Domains","volume":"7","year":"2019","journal-title":"IEEE Access"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"125244","DOI":"10.1109\/ACCESS.2020.3007251","article-title":"Scaling Blockchains: A Comprehensive Survey","volume":"8","author":"Hafid","year":"2020","journal-title":"IEEE Access"},{"key":"ref_7","unstructured":"(2022, July 12). PayPal. Available online: https:\/\/www.paypal.com\/ca\/home?locale.x=en_CA."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Hafid, A., Hafid, A.S., and Samih, M. (2022). A tractable probabilistic approach to analyze sybil attacks in sharding-based blockchain protocols. IEEE Trans. Emerg. Top. Comput., early access.","DOI":"10.1109\/TETC.2022.3179638"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Wang, G., Shi, Z.J., Nixon, M., and Han, S. (2019, January 21\u201323). Sok: Sharding on blockchain. Proceedings of the 1st ACM Conference on Advances in Financial Technologies, Zurich, Switzerland.","DOI":"10.1145\/3318041.3355457"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"185447","DOI":"10.1109\/ACCESS.2019.2961065","article-title":"New Mathematical Model to Analyze Security of Sharding-Based Blockchain Protocols","volume":"7","author":"Hafid","year":"2019","journal-title":"IEEE Access"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"179389","DOI":"10.1109\/ACCESS.2020.3027952","article-title":"A Novel Methodology-Based Joint Hypergeometric Distribution to Analyze the Security of Sharded Blockchains","volume":"8","author":"Hafid","year":"2020","journal-title":"IEEE Access"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Hafid, A., Hafid Senhaji, A., and Senhaji, A. (2022, January 13\u201315). Sharding-Based Proof-of-Stake Blockchain Protocol: Security Analysis. Proceedings of the 4th International Congress on Blockchain and Applications, L\u2019Aquila, Italy.","DOI":"10.1007\/978-3-031-21229-1_5"},{"key":"ref_13","unstructured":"(2022, September 03). Incognito. Available online: https:\/\/we.incognito.org\/t\/scaling-blockchain-privacy-with-dynamic-sharding\/169."},{"key":"ref_14","first-page":"173","article-title":"Practical byzantine fault tolerance","volume":"Volume 99","author":"Castro","year":"1999","journal-title":"OSDI"},{"key":"ref_15","unstructured":"Lamport, L., Shostak, R., and Pease, M. (2019). Concurrency: The Works of Leslie Lamport, ACM."},{"key":"ref_16","unstructured":"Zilliqa (2017, August 10). The ZILLIQA Technical Whitepaper. Available online: https:\/\/docs.zilliqa.com\/whitepaper.pdf."},{"key":"ref_17","unstructured":"Harmony (2022, July 10). Technical Whitepaper. Available online: https:\/\/harmony.one\/whitepaper.pdf."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Luu, L., Narayanan, V., Zheng, C., Baweja, K., Gilbert, S., and Saxena, P. (2016, January 24\u201328). A secure sharding protocol for open blockchains. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria.","DOI":"10.1145\/2976749.2978389"},{"key":"ref_19","unstructured":"Nxt (2022, March 15). Nxt: A Peer-to-Peer Digital Socioeconomic System. Available online: https:\/\/nxtdocs.jelurida.com\/Nxt_Whitepaper."},{"key":"ref_20","unstructured":"Sasson, E.B., Chiesa, A., Garman, C., Green, M., Miers, I., Tromer, E., and Virza, M. (2014, January 18\u201321). Zerocash: Decentralized anonymous payments from bitcoin. Proceedings of the 2014 IEEE Symposium on Security and Privacy, Berkeley, CA, USA."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1016\/j.ejor.2007.05.046","article-title":"Round robin scheduling\u2014A survey","volume":"188","author":"Rasmussen","year":"2008","journal-title":"Eur. J. Oper. Res."},{"key":"ref_22","unstructured":"Rice, J.A. (2006). Mathematical Statistics and Data Analysis, Cengage Learning."},{"key":"ref_23","unstructured":"Rafael, F. (2022, December 02). DankSharding. Available online: https:\/\/www.rootstrap.com\/blog\/danksharding-what-is-it-and-how-does-it-work."},{"key":"ref_24","unstructured":"Shardus (2021, November 20). White Paper. Available online: https:\/\/shardus.com\/whitepaper.pdf."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/23\/5\/2819\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T18:47:51Z","timestamp":1760122071000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/23\/5\/2819"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,4]]},"references-count":24,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2023,3]]}},"alternative-id":["s23052819"],"URL":"https:\/\/doi.org\/10.3390\/s23052819","relation":{"has-preprint":[{"id-type":"doi","id":"10.20944\/preprints202212.0054.v1","asserted-by":"object"}]},"ISSN":["1424-8220"],"issn-type":[{"value":"1424-8220","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,4]]}}}