Smart contracts are pieces of software stored on the blockchain that control the transfer of assets between parties under certain conditions. In this paper we analyze the bahaviour of smart contracts and the interaction with external actors in order to maximize objective functions. We define a core language of programs with a minimal set of smart contract primitives and we describe the whole system as a parallel composition of smart contracts and users. We therefore express the system behaviour as a first logic formula in Presburger arithmetics and study the maximum profit for each actor by solving arithmetic constraints.
On the Prediction of Smart Contracts’ Behaviours / Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele. - STAMPA. - 11865:(2019), pp. 397-415. (Intervento presentato al convegno Collquium in honour of Stefania Gnesi tenutosi a Porto nel 08/10/2019) [10.1007/978-3-030-30985-5_23].
On the Prediction of Smart Contracts’ Behaviours
Laneve, Cosimo
;Coen, Claudio Sacerdoti
;Veschetti, Adele
2019
Abstract
Smart contracts are pieces of software stored on the blockchain that control the transfer of assets between parties under certain conditions. In this paper we analyze the bahaviour of smart contracts and the interaction with external actors in order to maximize objective functions. We define a core language of programs with a minimal set of smart contract primitives and we describe the whole system as a parallel composition of smart contracts and users. We therefore express the system behaviour as a first logic formula in Presburger arithmetics and study the maximum profit for each actor by solving arithmetic constraints.| File | Dimensione | Formato | |
|---|---|---|---|
|
accepted_manuscript.pdf
accesso aperto
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
1.25 MB
Formato
Adobe PDF
|
1.25 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
