Much attention has been paid in recent years to the use of smart contracts. A smart contract is a transaction protocol that executes the terms of an agreement. Ethereum is a widely used platform for executing smart contracts, defined by using a Turing-complete language. Various studies have been performed in order to analyse smart contract data from different perspectives. In our study we gather a wide range of verified smart contracts written by using the Solidity language and we analyse their code. A similar study is carried out on Solidity compilers. The aim of our investigation is the identification of the smart contract functionalities, i.e. opcodes, that play a crucial role in practice, and single out those functionalities that are not practically relevant.
Analysis of Ethereum Smart Contracts and Opcodes / S. Bistarelli G. Mazzante M. Micheletti L. Mostarda F. Tiezzi; Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Tiezzi, Francesco. - STAMPA. - (2019), pp. 546-558. [10.1007/978-3-030-15032-7_46]
Analysis of Ethereum Smart Contracts and Opcodes
Tiezzi, Francesco
2019
Abstract
Much attention has been paid in recent years to the use of smart contracts. A smart contract is a transaction protocol that executes the terms of an agreement. Ethereum is a widely used platform for executing smart contracts, defined by using a Turing-complete language. Various studies have been performed in order to analyse smart contract data from different perspectives. In our study we gather a wide range of verified smart contracts written by using the Solidity language and we analyse their code. A similar study is carried out on Solidity compilers. The aim of our investigation is the identification of the smart contract functionalities, i.e. opcodes, that play a crucial role in practice, and single out those functionalities that are not practically relevant.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.