Analysis of smart contracts balances

We define a technique for analyzing updates of smart contracts balances due to transfers of digital assets. The analysis addresses a lightweight smart contract language and consists of a two-step translation. First, we define the input-output behaviours of smart contract functions by means of a simp...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Cosimo Laneve, Claudio Sacerdoti Coen
Formato:	article
Lenguaje:	EN
Publicado:	Elsevier 2021
Materias:	Smart contracts Blockchain Static analysis Cost analysis Cryptocurrency Movements Information technology T58.5-58.64
Acceso en línea:	https://doaj.org/article/85878b2ad6054b3fa21df6209ff901bd
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:doaj.org-article:85878b2ad6054b3fa21df6209ff901bd
record_format	dspace
spelling	oai:doaj.org-article:85878b2ad6054b3fa21df6209ff901bd2021-12-04T04:33:40ZAnalysis of smart contracts balances2666-953610.1016/j.bcra.2021.100020https://doaj.org/article/85878b2ad6054b3fa21df6209ff901bd2021-09-01T00:00:00Zhttp://www.sciencedirect.com/science/article/pii/S2096720921000154https://doaj.org/toc/2666-9536We define a technique for analyzing updates of smart contracts balances due to transfers of digital assets. The analysis addresses a lightweight smart contract language and consists of a two-step translation. First, we define the input-output behaviours of smart contract functions by means of a simple functional language with static dispatch. Then we associate the terms of this intermediate language with cost equations that compute the loss or gain of digital assets. The resulting equations can be fed to an off-the-shelf cost analyzer to provide upper bounds to the loss or gain. Our analysis has been prototyped and we report its assessments and discuss extensions with additional features.Cosimo LaneveClaudio Sacerdoti CoenElsevierarticleSmart contractsBlockchainStatic analysisCost analysisCryptocurrencyMovementsInformation technologyT58.5-58.64ENBlockchain: Research and Applications, Vol 2, Iss 3, Pp 100020- (2021)
institution	DOAJ
collection	DOAJ
language	EN
topic	Smart contracts Blockchain Static analysis Cost analysis Cryptocurrency Movements Information technology T58.5-58.64
spellingShingle	Smart contracts Blockchain Static analysis Cost analysis Cryptocurrency Movements Information technology T58.5-58.64 Cosimo Laneve Claudio Sacerdoti Coen Analysis of smart contracts balances
description	We define a technique for analyzing updates of smart contracts balances due to transfers of digital assets. The analysis addresses a lightweight smart contract language and consists of a two-step translation. First, we define the input-output behaviours of smart contract functions by means of a simple functional language with static dispatch. Then we associate the terms of this intermediate language with cost equations that compute the loss or gain of digital assets. The resulting equations can be fed to an off-the-shelf cost analyzer to provide upper bounds to the loss or gain. Our analysis has been prototyped and we report its assessments and discuss extensions with additional features.
format	article
author	Cosimo Laneve Claudio Sacerdoti Coen
author_facet	Cosimo Laneve Claudio Sacerdoti Coen
author_sort	Cosimo Laneve
title	Analysis of smart contracts balances
title_short	Analysis of smart contracts balances
title_full	Analysis of smart contracts balances
title_fullStr	Analysis of smart contracts balances
title_full_unstemmed	Analysis of smart contracts balances
title_sort	analysis of smart contracts balances
publisher	Elsevier
publishDate	2021
url	https://doaj.org/article/85878b2ad6054b3fa21df6209ff901bd
work_keys_str_mv	AT cosimolaneve analysisofsmartcontractsbalances AT claudiosacerdoticoen analysisofsmartcontractsbalances
_version_	1718372979280183296

Analysis of smart contracts balances

Ejemplares similares