A true concurrent model of smart contracts executions

Bartoletti M.
;Murgia M.
2020-01-01

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.
2020
Inglese
Coordination Models and Languages. 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
978-3-030-50028-3
978-3-030-50029-0
Springer
LECTURE NOTES IN COMPUTER SCIENCE
12134
243
260
18
2-s2.0-85087041299
22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020
Contributo
Comitato scientifico
15-19 June 2020
Valletta, Malta
internazionale
scientifica
no
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Bartoletti, M.; Galletta, L.; Murgia, M.
273
3
4.1 Contributo in Atti di convegno
reserved
info:eu-repo/semantics/conferencePaper
File in questo prodotto:
File Dimensione Formato  
main.pdf

Solo gestori archivio

Descrizione: Articolo principale
Tipologia: versione pre-print
Dimensione 632.02 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
632.02 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Questionario e social

Condividi su:
Impostazioni cookie