Unit:
Department of Informatics and TelecommunicationsΠληροφορική
Author:
Cheilaris Ioannis
Supervisors info:
Yannis Smaragdakis, Professor, Department of Informatics and Telecommunications, National and Kapodistriand University of Athens
Neville Grech, Lecturer, University of Malta
Original Title:
Macaron - A tool for examining solidity smart contract transactions on the ethereum blockchain
Translated title:
Macaron - A tool for examining solidity smart contract transactions on the ethereum blockchain
Summary:
In recent years, blockchain technologies have seen continuous expansion. One such
case is Ethereum, with its smart contracts finding widespread use. However, there is a
lack of development toolsets for the inspection and interpretation of smart contracts. Our
prototype aims to provide something new in this field, offering multi-level examination -
allowing the user to take in the greater picture of a transaction whilst still being able to
focus on the actual source code that was executed. Our tool makes extended use of
the solidity compiler, using its Abstract Syntax Tree representation of a contract’s source
code to facilitate a translation between the bytecode executed and the source code related
to said bytecode. Finally, as part of out case study we have included in our report the
a comparison between our tool and similar ones already developed, an analysis of its
accuracy, and our findings after running our tool in the wild, on a part of the Ethereum
blockchain.
Main subject category:
Technology - Computer science
Keywords:
Smart Contracts, Ethereum, Solidity, Blockchain, Visualization
