2022 · 16 citations · 9 references
ComputingComputer ScienceComputer SystemsContractsProgramming LanguagesSoftware EngineeringApplication Programming InterfacesAutomated Contracting SystemsData-flow AnalysisElectronic ContractingSmart ContractsSoftware DesignContract Representation LanguagesGas OptimizationSmart Contract Programming Languages
Currently, the number of smart contracts using Solidity language in Ethereum increases at a breakneck speed. In this context, optimizing gas fees in smart contracts becomes necessary to save costs for both developers and users who interact directly with these contracts. To optimize gas, developers typically need to have deep knowledge of blockchain and programming languages, making it a significant challenge for new programmers. In this paper, we introduce GasSaver - an open-source tool that analyzes Solidity-based contracts and suggests modifications to reduce transaction fees. Our tool, which relies on a set of seven rules for identifying non-optimized codes, shows that 6,333 in a total of 10,245 top most interactive contracts on Ethereum contain at least one optimization problem and the total problems are more than 30,000. Hence, the use of this tool can reduce a considerable cost for the deployment and interaction of smart contracts.
9
Making Smart Contracts Smarter
Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations
ContractFuzzer: fuzzing smart contracts for vulnerability detection
Bo Jiang, Ye Liu, W. K. Chan · 2018 · 798 citations · Full text
ZEUS: Analyzing Safety of Smart Contracts
Sukrit Kalra, Seep Goel, Mohan Dhawan et al. · 2018 · 710 citations · Full text
Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy et al. · 2018 · 652 citations · Full text
Christof Ferreira Torres, Julian Schütte, Radu State · 2018 · 426 citations · Full text