Skip to Main content Skip to Navigation
Conference papers

A True Concurrent Model of Smart Contracts Executions

Abstract : The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state of smart contracts is collaboratively maintained by a peer-to-peer network of mutually untrusted nodes, which collect from users a set of transactions (representing the required actions on contracts), and execute them in some order. Once this sequence of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we propose a true concurrent model of smart contracts execution. Based on this, we show how static analysis of smart contracts can be exploited to parallelize the execution of transactions.
Complete list of metadata

https://hal.inria.fr/hal-03273986
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, June 29, 2021 - 4:12:48 PM
Last modification on : Tuesday, June 29, 2021 - 4:30:46 PM
Long-term archiving on: : Thursday, September 30, 2021 - 7:12:59 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia. A True Concurrent Model of Smart Contracts Executions. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.243-260, ⟨10.1007/978-3-030-50029-0_16⟩. ⟨hal-03273986⟩

Share

Metrics

Record views

15