• ethereum
• blockchain
• smart contract
• flyclient

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.