Abstract
Blockchain technology facilitates the transfer of digital assets, accomplished through the distributed storage of a transaction ledger, allowing peer-to-peer participant nodes to agree on valid transactions based on their local records without the reliance on centralised infrastructure or trusted participants. Distributed ledgers are increasing in public adoption, which can be attributed to the permissionless infrastructure and a rise in decentralised finance (DeFi) protocols. In this growth, shortcomings in throughput and latency have been highlighted, especially when compared to traditional payment channels. The extended-UTXO (eUTXO) model offers the untapped potential to support a functionally scalable infrastructure by adopting qualities of both the account model, and directed acyclic graph-structured UTXO model. We identified the unique benefits of eUTXO as: the ability to bundle the transaction processing of non-conflicting input states, achieving parallelism at the validator nodes; and the ability to implement complex off-chain scaling solutions through smart contracts. This research examines the security impact of sharding when applied alongside an eUTXO ledger. To illustrate this we introduce S-EUTO, a novel proof-of-concept state-sharding protocol. It leverages distributed randomness to ensure unbiased node-to-shard distribution and introduces an input/output cross-shard transaction architecture to maintain global state synchronisation. Our model demonstrated the potential of sharding alongside eUTXO without compromising security.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Nakamoto, S.: Bitcoin whitepaper (2008)
Sallal, M.F.: Evaluation of Security and Performance of Clustering in the Bitcoin Network, with the Aim of Improving the Consistency of the Blockchain. PhD thesis, University of Portsmouth (2018)
Golosova, J., Romanovs, A.: The advantages and disadvantages of the blockchain technology. In: 2018 IEEE 6th Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE), pp. 1–6 (2018)
Sallal, M.., et al.: Vmv: augmenting an internet voting system with selene verifiability, arXiv e-prints, pp. arXiv-1912 (2019)
Sallal, M., Owenson, G., Adda, M.: Security and performance evaluation of master node protocol in the bitcoin peer-to-peer network. In: 2020 IEEE Symposium on Computers and Communications (ISCC), pp. 1–6. IEEE (2020)
Göbel, J., Krzesinski, A.: Increased block size and Bitcoin blockchain dynamics. In: 2017 27th International Telecommunication Networks and Applications Conference (ITNAC), pp. 1–6 (2017)
Worley, C., Skjellum, A.: Blockchain tradeoffs and challenges for current and emerging applications: generalization, fragmentation, sidechains, and scalability. In: 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 1582–1587 (2018)
Delgado-Segura, S., Pérez-Solá, C., Navarro-Arribas, G., Herrera-Joancomartí, J.: Analysis of the bitcoin UTXO set. In: International Conference on Financial Cryptography and Data Security, pp. 78–91 (2018)
Sallal, M., de Fréin, R., Malik, A., Aziz, B.: An empirical comparison of the security and performance characteristics of topology formation algorithms for bitcoin networks. Array 15, 100221 (2022)
Chakravarty, M.M.T., Chapman, J., MacKenzie, K., Melkonian, O., Jones, M.P., Wadler, P.: The extended UTXO model. In: International Conference on Financial Cryptography and Data Security, pp. 525–539 (2020)
Golosova, J., Romanovs, A.: BlockMaze: an efficient privacy-preserving account-model blockchain based on zk-SNARKs. IEEE Transactions on Dependable and Secure Computing (2020)
Tikhomirov, S., Voskresenskaya, E., Ivanitskiy, I., Takhaviev, R., Marchenko, E., Alexandrov, Y.: Smartcheck: Static analysis of ethereum smart contracts. In: Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain, pp. 9–16 (2019)
Sallal, M., et al.: Augmenting an internet voting system with selene verifiability using permissioned distributed ledger. In: 2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS), pp. 1167–1168. IEEE (2020)
Hafid, A., Hafid, A.S., Samih, M.: A tractable probabilistic approach to analyze sybil attacks in sharding-based blockchain protocols. IEEE Transactions on Emerging Topics in Computing (2022)
Movahedi, M., Zamani, M., Raykova, M.: Rapidchain: scaling blockchain via full sharding. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, pp. 931–948 (2018)
Kokoris-Kogias, E., Jovanovic, P., Gasser, L., Gailly, N., Syta, E., Ford, B.: Omniledger: a secure, scale-out, decentralized ledger via sharding. In: 2018 IEEE Symposium on Security and Privacy (SP), pp. 583–598 (2018)
Luu, L., Narayanan, V., Zheng, C., Baweja, K., Gilbert, S., Saxena, P.: A secure sharding protocol for open blockchains. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 17–30 (2016)
Nguyen, Q.: Implementing OmniLedger sharding (2008)
Avarikioti, G., Kokoris-Kogias, E., Wattenhofer, R.: Divide and scale: Formalization of distributed ledger sharding protocols (2019)
Al-Bassam, M., Sonnino, A., Bano, S., Hrycyszyn, D., Danezis, G.: Chainspace: a sharded smart contracts platform, arXiv preprint arXiv:1708.03778 (2017)
Al-Bassam, M., Sonnino, A., Bano, S., Hrycyszyn, D., Danezis, G.: Chainspace: A sharded smart contracts platform (2017)
Han, R., Yu, J., Lin, H., Chen, S., Esteves-Veríssimo, P.: On the security and performance of blockchain sharding. Cryptology ePrint Archive (2021)
Wang, J., Wang, H.: Monoxide: scale out blockchains with asynchronous consensus zones. In: 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19), pp. 95–112 (2019)
N.-J. M. B.-A. A. T. E. Schwarz-Schilling, C., Tse, D.: The Zilliqa Project: A Secure, Scalable Blockchain Platform (2017)
Skidanov, A.: Limitations of Zilliqa’s sharding approach. Near Protocol (2018)
Pomogalova, A.V., Martyniuk, A.A., Yesalov, K.E.: Key features and formation of transactions in the case of using UTXO, EUTXO and account based data storage models. In 2022 International Conference on Modern Network Technologies (MoNeTec), pp. 1–7 (2022)
Ergo, D.: Ergo: A resilient platform for contractual money (2019)
Chepurnoy, A., Saxena, A.: On Contractual Money (2019)
Slesarenko, A.: ErgoTree Specification for Ergo Protocol 1.0 (2020)
Xie, J.: Cell Model, A generalized UTXO as state storage (2019)
M. A.-K. J. Yang, I.: The Nervos Network Positioning Paper. IEEE Network, pp. 166–173 (2019)
Nielson, S., Monson, C.: Asymmetric Encryption: Public/Private Keys. In: Practical Cryptography in Python, pp. 111–163 (2019)
Sallal, M., de Fréin, R., Malik, A.: Pvpbc: privacy-and verifiability-preserving e-voting based on permissioned blockchain. Future Internet 15(4), 121 (2023)
Sallal, M., Owenson, G., Adda, M.: Bitcoin network measurements for simulation validation and parametrisation. In: 11th International Network Conference (2016)
Owenson, G., Adda, M., et al.: Proximity awareness approach to enhance propagation delay on the bitcoin peer-to-peer network. In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), pp. 2411–2416. IEEE (2017)
Fadhil, M., Owenson, G., Adda, M.: A bitcoin model for evaluation of clustering to improve propagation delay in bitcoin network. In: 2016 IEEE intl conference on computational science and engineering (CSE) and IEEE intl conference on embedded and ubiquitous computing (EUC) and 15th intl symposium on distributed computing and applications for business engineering (DCABES), pp. 468–475. IEEE (2016)
Sloderbeck, M., Andrus, M., Langston, J., Steurer, M.: High-speed digital interface for a real-time digital simulator. In: Proceedings of the 2010 Conference on Grand Challenges in Modeling & Simulation, pp. 399–405 (2010)
Fadhil, M., Owenson, G., Adda, M.: Locality based approach to improve propagation delay on the bitcoin peer-to-peer network. In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), pp. 556–559. IEEE (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Fletcher-Smith, C., Sallal, M. (2023). Security Analysis of Blockchain Layer-One Sharding Based Extended-UTxO Model. In: Chen, H., Fan, P., Wang, L. (eds) Communications, Networking, and Information Systems. CNIS 2023. Communications in Computer and Information Science, vol 1839. Springer, Singapore. https://doi.org/10.1007/978-981-99-3581-9_7
Download citation
DOI: https://doi.org/10.1007/978-981-99-3581-9_7
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-99-3580-2
Online ISBN: 978-981-99-3581-9
eBook Packages: Computer ScienceComputer Science (R0)