{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T10:32:32Z","timestamp":1772793152971,"version":"3.50.1"},"reference-count":46,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T00:00:00Z","timestamp":1753401600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1016\/j.future.2025.108023","type":"journal-article","created":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T23:01:37Z","timestamp":1753484497000},"page":"108023","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Scalable UTXO smart contracts via fine-grained distributed state"],"prefix":"10.1016","volume":"175","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3796-9774","authenticated-orcid":false,"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[]},{"given":"Riccardo","family":"Marchesin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9630-429X","authenticated-orcid":false,"given":"Roberto","family":"Zunino","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.future.2025.108023_b1","series-title":"POST","first-page":"217","article-title":"SoK: unraveling bitcoin smart contracts","author":"Atzei","year":"2018"},{"key":"10.1016\/j.future.2025.108023_b2","series-title":"EUTXO handbook","author":"Cardano","year":"2022"},{"key":"10.1016\/j.future.2025.108023_b3","series-title":"Financial Cryptography and Data Security Workshops","first-page":"525","article-title":"The extended UTXO model","author":"Chakravarty","year":"2020"},{"key":"10.1016\/j.future.2025.108023_b4","unstructured":"A. Knispel, J. Chapman, J. J\u00e4\u00e4ger, U. Norell, O. Melkonian, A. Hill, W. DeMeo, Formal specification of the Cardano blockchain ledger, mechanized in Agda, in: Workshop on Formal Methods for Blockchains, FMBC, 2024."},{"key":"10.1016\/j.future.2025.108023_b5","series-title":"ISoLA","first-page":"73","article-title":"Utxo- vs account-based smart contract blockchain programming paradigms","author":"Br\u00fcnjes","year":"2020"},{"key":"10.1016\/j.future.2025.108023_b6","doi-asserted-by":"crossref","DOI":"10.1016\/j.future.2024.107563","article-title":"Smart contract languages: A comparative analysis","volume":"164","author":"Bartoletti","year":"2025","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2025.108023_b7","series-title":"IEEE\/ACM International Conference on Software Engineering","first-page":"2315","article-title":"Utilizing parallelism in smart contracts on decentralized blockchains by taming application-inherent conflicts","author":"Garamv\u00f6lgyi","year":"2022"},{"key":"10.1016\/j.future.2025.108023_b8","series-title":"ACM Symposium on Principles of Distributed Computing","first-page":"303","article-title":"Adding concurrency to smart contracts","author":"Dickerson","year":"2017"},{"key":"10.1016\/j.future.2025.108023_b9","series-title":"Euromicro Int. Conf. on Parallel, Distributed, and Network-Based Processing","first-page":"83","article-title":"An efficient framework for optimistic concurrent execution of smart contracts","author":"Anjana","year":"2019"},{"key":"10.1016\/j.future.2025.108023_b10","series-title":"EuroSys","first-page":"30:1","article-title":"Hyperledger fabric: a distributed operating system for permissioned blockchains","author":"Androulaki","year":"2018"},{"key":"10.1016\/j.future.2025.108023_b11","series-title":"ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming","first-page":"232","article-title":"Block-STM: Scaling blockchain execution by turning ordering curse to a performance blessing","author":"Gelashvili","year":"2023"},{"key":"10.1016\/j.future.2025.108023_b12","series-title":"International Conference on Parallel Processing","first-page":"193","article-title":"BlockPilot: A proposer-validator parallel execution framework for blockchain","author":"Zhang","year":"2023"},{"issue":"4","key":"10.1016\/j.future.2025.108023_b13","article-title":"A theory of transaction parallelism in blockchains","volume":"17","author":"Bartoletti","year":"2021","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.future.2025.108023_b14","series-title":"ACM SIGPLAN International Conference on Programming Language Design and Implementation","first-page":"1327","article-title":"Practical smart contract sharding with ownership and commutativity analysis","author":"P\u00eerlea","year":"2021"},{"key":"10.1016\/j.future.2025.108023_b15","series-title":"Inline datums","author":"Jones","year":"2021"},{"key":"10.1016\/j.future.2025.108023_b16","series-title":"Disco_sim: a simulator for a hybrid utxo-\/account- based blockchain supporting truly distributed smart contracts","author":"Bartoletti","year":"2025"},{"key":"10.1016\/j.future.2025.108023_b17","series-title":"Financial Cryptography","first-page":"541","article-title":"A formal model of bitcoin transactions","author":"Atzei","year":"2018"},{"key":"10.1016\/j.future.2025.108023_b18","series-title":"How to write a scalable plutus app \u2013 UTXO congestion","author":"IOHK","year":"2022"},{"key":"10.1016\/j.future.2025.108023_b19","series-title":"Scalable UTXO smart contracts via fine-grained distributed state","author":"Bartoletti","year":"2024"},{"key":"10.1016\/j.future.2025.108023_b20","series-title":"Financial Cryptography Workshops","first-page":"126","article-title":"Bitcoin covenants","author":"M\u00f6ser","year":"2016"},{"key":"10.1016\/j.future.2025.108023_b21","series-title":"Financial Cryptography Workshops","article-title":"Enhancing Bitcoin transactions with covenants","author":"O\u2019Connor","year":"2017"},{"key":"10.1016\/j.future.2025.108023_b22","series-title":"Reference inputs","author":"Jones","year":"2021"},{"key":"10.1016\/j.future.2025.108023_b23","series-title":"Nightpaper - a litepaper introducing midnight","author":"Input Output Global, Inc.","year":"2024"},{"key":"10.1016\/j.future.2025.108023_b24","series-title":"Ergo: A resilient platform for contractual money","author":"Ergo Developers","year":"2019"},{"key":"10.1016\/j.future.2025.108023_b25","series-title":"IEEE\/ACM International Conference on Automated Software Engineering","first-page":"262","article-title":"Demystifying loops in smart contracts","author":"Mariano","year":"2020"},{"key":"10.1016\/j.future.2025.108023_b26","series-title":"IEEE Symposium on Security and Privacy","first-page":"622","article-title":"Clockwork finance: Automated analysis of economic security in smart contracts","author":"Babel","year":"2023"},{"key":"10.1016\/j.future.2025.108023_b27","unstructured":"C.F. Torres, R. Camino, R. State, Frontrunner Jones and the Raiders of the Dark Forest: An empirical study of frontrunning on the Ethereum blockchain, in: USENIX Security Symposium, 2021, pp. 1343\u20131359."},{"key":"10.1016\/j.future.2025.108023_b28","series-title":"Solana documentation: Transactions and instructions","author":"Solana Foundation","year":"2024"},{"key":"10.1016\/j.future.2025.108023_b29","series-title":"Groundhog: Linearly-scalable smart contracting via commutative transaction semantics","author":"Ramseyer","year":"2024"},{"issue":"1","key":"10.1016\/j.future.2025.108023_b30","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","article-title":"Sequential and concurrent behaviour in petri net theory","volume":"55","author":"Best","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.future.2025.108023_b31","series-title":"Proc. ACM Program. Lang. 3 (OOPSLA)","first-page":"185:1","article-title":"Safer smart contract programming with scilla","author":"Sergey","year":"2019"},{"key":"10.1016\/j.future.2025.108023_b32","series-title":"ACM SIGSAC Conference on Computer and Communications Security","first-page":"17","article-title":"A secure sharding protocol for open blockchains","author":"Luu","year":"2016"},{"key":"10.1016\/j.future.2025.108023_b33","series-title":"Solana: A new architecture for a high performance blockchain v0.8.13","author":"Yakovenko","year":"2017"},{"key":"10.1016\/j.future.2025.108023_b34","series-title":"All about parallelization","author":"SUI Foundation","year":"2024"},{"key":"10.1016\/j.future.2025.108023_b35","series-title":"Network - blockchain - execution","author":"APTOS Foundation","year":"2024"},{"issue":"11","key":"10.1016\/j.future.2025.108023_b36","doi-asserted-by":"crossref","first-page":"2314","DOI":"10.14778\/3476249.3476283","article-title":"SlimChain: Scaling blockchain transactions through off-chain storage and parallel processing","volume":"14","author":"Xu","year":"2021","journal-title":"Proc. VLDB Endow."},{"key":"10.1016\/j.future.2025.108023_b37","series-title":"Network and Distributed System Security Symposium","article-title":"Chainspace: A sharded smart contracts platform","author":"Al-Bassam","year":"2018"},{"key":"10.1016\/j.future.2025.108023_b38","series-title":"Communications, Networking, and Information Systems","first-page":"95","article-title":"Security analysis of blockchain layer-one sharding based extended-utxo model","author":"Fletcher-Smith","year":"2023"},{"issue":"3","key":"10.1016\/j.future.2025.108023_b39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3616022","article-title":"Eality-based UTXO ledger","volume":"2","author":"M\u00fcller","year":"2023","journal-title":"Distrib. Ledger Technol. Res. Pr."},{"key":"10.1016\/j.future.2025.108023_b40","series-title":"DNS security extensions (DNSSEC)","author":"Hoffman","year":"2023"},{"key":"10.1016\/j.future.2025.108023_b41","series-title":"2020 IEEE Symposium on Security and Privacy","first-page":"947","article-title":"ZEXE: enabling decentralized private computation","author":"Bowe","year":"2020"},{"key":"10.1016\/j.future.2025.108023_b42","series-title":"2014 IEEE Symposium on Security and Privacy","first-page":"459","article-title":"Zerocash: Decentralized anonymous payments from bitcoin","author":"Ben Sasson","year":"2014"},{"key":"10.1016\/j.future.2025.108023_b43","doi-asserted-by":"crossref","unstructured":"M. Bartoletti, R. Marchesin, R. Zunino, Secure compilation of rich smart contracts on poor UTXO blockchains, in: IEEE European Symposium on Security and Privacy, 2024.","DOI":"10.1109\/EuroSP60621.2024.00021"},{"key":"10.1016\/j.future.2025.108023_b44","series-title":"Workshop on Trusted Smart Contracts","first-page":"150","article-title":"Message-passing in the extended utxo ledger","author":"Vinogradova","year":"2024"},{"key":"10.1016\/j.future.2025.108023_b45","series-title":"IEEE Computer Security Foundations Symposium","first-page":"1","article-title":"Computationally sound bitcoin tokens","author":"Bartoletti","year":"2021"},{"key":"10.1016\/j.future.2025.108023_b46","article-title":"Taproot: SegWit version 1 spending rules","volume":"341","author":"Pieter Wuille","year":"2020","journal-title":"BIP"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X25003188?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X25003188?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T08:11:56Z","timestamp":1772784716000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167739X25003188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":46,"alternative-id":["S0167739X25003188"],"URL":"https:\/\/doi.org\/10.1016\/j.future.2025.108023","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[2026,2]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Scalable UTXO smart contracts via fine-grained distributed state","name":"articletitle","label":"Article Title"},{"value":"Future Generation Computer Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.future.2025.108023","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"108023"}}