ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-10282021-174828


Thesis type
Tesi di laurea magistrale
Author
XEFRAJ, RICCARDO
URN
etd-10282021-174828
Thesis title
SmartFlies - an Ethereum Blockchain Smart Contract for IoT transaction verification
Department
INGEGNERIA DELL'INFORMAZIONE
Course of study
COMPUTER ENGINEERING
Supervisors
relatore Prof. Dini, Gianluca
relatore Prof. Perazzo, Pericle
relatore Dott. Basile, Mariano
Keywords
  • ethereum
  • blockchain
  • smart contract
  • flyclient
Graduation session start date
19/11/2021
Availability
Withheld
Release date
19/11/2091
Summary
To verify a cryptocurrency transaction, a node must also download and verify the validity of the entire blockchain. Bitcoin and Ethereum offers a fast synchronization mechanism known as Simplified Payment Verification (SPV) that is able to verify the validity of the blockchain by downloading only the block header of each block in the chain. The SPV solution is not suitable for IoT devices since it requires to download more than 4GB of block headers and the IoT devices have usually strong memory constraints.
In August 2020 the paper "FlyClient: Super-Light Clients for Cryptocurrencies" introduced a theoretical super light verification protocol that decrease by a factor of 6000 the memory required to verify the blockchain compared to the SPV solution. The FlyClient verification protocol uses Merkle Mountain Range(MMR) commitments and requires that the MMR root must be stored in a new field in the Ethereum Block Header.
The introduction of a new field in the Ethereum Blockchain imposes a chain fork and consequently the upgrade of the software present in every node. SmartFlies develops a real architecture including a Smart Contract deployed on the Ethereum Blockchain to implement the FlyClient concept without the need of a fork.
File