An Empirical Study of Protocols in Smart Contracts
Programming Languages
2021-10-19 v1 Cryptography and Security
Abstract
Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers, leading to financial losses. Understanding state machine protocols in smart contracts has been identified as important to catching common bugs, improving documentation, and optimizing smart contracts. We analyze Solidity smart contracts deployed on the Ethereum blockchain and study the prevalence of protocols and protocol-based bugs, as well as opportunities for gas optimizations.
Keywords
Cite
@article{arxiv.2110.08983,
title = {An Empirical Study of Protocols in Smart Contracts},
author = {Timothy Mou and Michael Coblenz and Jonathan Aldrich},
journal= {arXiv preprint arXiv:2110.08983},
year = {2021}
}
Comments
10 pages. In HATRA 2021