GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

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 t...

Descripción completa

Detalles Bibliográficos
Autores principales: Albert, Elvira, Correas, Jesús, Gordillo, Pablo, Román-Díez, Guillermo, Rubio, Albert
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2014
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480697/
http://dx.doi.org/10.1007/978-3-030-45237-7_7

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480697/
http://dx.doi.org/10.1007/978-3-030-45237-7_7

Ejemplares similares