RT Conference Proceedings
T1 GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
A1 Albert Albiol, Elvira María
A1 Correas, Jesús
A1 Román-Díez, Guillermo
A1 Gordillo Alguacil, Pablo
A1 Rubio, Albert
AB We present the main concepts, components, and usage of Gasol, a Gas AnalysiS and Optimization tooL for Ethereum smart contracts. Gasol offers a wide variety of cost models that allow inferring the gas consumption associated to selected types of EVM instructions and/or inferring the number of times that such types of bytecode instructions are executed. Among others, we have cost models to measure only storage opcodes, to measure a selected family of gas-consumption opcodes following the Ethereum’s classification, to estimate the cost ofa selected program line, etc. After choosing the desired cost model and the function of interest, Gasol returns to the user an upper bound of the cost for this function. As the gas consumption is often dominated by the instructions that access the storage, Gasol uses the gas analysis to detect under-optimized storage patterns, and includes an (optional)automatic optimization of the selected function. Our tool can be used within an Eclipse plugin for Solidity which displays the gas and instructions bounds and, when applicable, the gas-optimized Solidity function.
SN 9783030452360
SN 9783030452377
SN 0302-9743
SN 1611-3349
YR 2020
FD 2020-04-17
LK https://hdl.handle.net/20.500.14352/96456
UL https://hdl.handle.net/20.500.14352/96456
LA eng
DS Docta Complutense
RD 6 abr 2025