A common use case for blockchain smart contracts (SC) is that of governing interaction amongst mutually untrusted parties, by automatically enforcing rules for interaction. However, while many contributions in the literature assess SC computational expressiveness, an evaluation of their power in terms of coordination (i.e., governing interaction) is still missing. This is why in this paper we test mainstream SC implementations by evaluating their expressive power in coordinating both inter-users and inter-SC activities. To do so, we exploit the archetypal LINDA coordination model as a benchmark-a common practice in the field of coordination models and languages-by discussing to what extent mainstream blockchain technologies support its implementation. As they reveal some notable limitations (affecting, in particular, coordination between SC) we then show how Tenderfone, a custom blockchain implementation providing for a more expressive notion of SC, addresses the aforementioned limitations.

Blockchain-based coordination: Assessing the expressive power of smart contracts / Ciatto, G.; Mariani, S.; Maffi, A.; Omicini, A.. - In: INFORMATION. - ISSN 2078-2489. - 11:1(2020), pp. 52-72. [10.3390/info11010052]

Blockchain-based coordination: Assessing the expressive power of smart contracts

Mariani S.;Omicini A.
2020

Abstract

A common use case for blockchain smart contracts (SC) is that of governing interaction amongst mutually untrusted parties, by automatically enforcing rules for interaction. However, while many contributions in the literature assess SC computational expressiveness, an evaluation of their power in terms of coordination (i.e., governing interaction) is still missing. This is why in this paper we test mainstream SC implementations by evaluating their expressive power in coordinating both inter-users and inter-SC activities. To do so, we exploit the archetypal LINDA coordination model as a benchmark-a common practice in the field of coordination models and languages-by discussing to what extent mainstream blockchain technologies support its implementation. As they reveal some notable limitations (affecting, in particular, coordination between SC) we then show how Tenderfone, a custom blockchain implementation providing for a more expressive notion of SC, addresses the aforementioned limitations.
2020
11
1
52
72
Blockchain-based coordination: Assessing the expressive power of smart contracts / Ciatto, G.; Mariani, S.; Maffi, A.; Omicini, A.. - In: INFORMATION. - ISSN 2078-2489. - 11:1(2020), pp. 52-72. [10.3390/info11010052]
Ciatto, G.; Mariani, S.; Maffi, A.; Omicini, A.
File in questo prodotto:
File Dimensione Formato  
information-11-00052.pdf

Open access

Tipologia: Versione pubblicata dall'editore
Dimensione 696.72 kB
Formato Adobe PDF
696.72 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1208358
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 8
social impact