Cargando…

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

Ejemplares similares

Synthesis of Super-Optimized Smart Contracts Using Max-SMT
por: Albert, Elvira, et al.
Publicado: (2020)

Learn Ethereum: build your own decentralized applications with Ethereum and smart contracts
por: Wu, Xun (Brian), et al.
Publicado: (2019)

Hands-On Smart Contract Development with Solidity and Ethereum
por: Solorio, Kevin
Publicado: (2019)

Ethereum cookbook: over 100 recipes covering Ethereum-based tokens, games, wallets, smart contracts, protocols, and Dapps
por: Mukhopadhyay, Mayukh
Publicado: (2018)

Building games with Ethereum smart contracts: intermediate projects for Solidity developers
por: Iyer, Kedar, et al.
Publicado: (2018)

Smart-Contract Aware Ethereum and Client-Fog-Cloud Healthcare System
por: Lakhan, Abdullah, et al.
Publicado: (2021)

The Structural Role of Smart Contracts and Exchanges in the Centralisation of Ethereum-Based Cryptoassets
por: De Collibus, Francesco Maria, et al.
Publicado: (2022)

Ethereum projects for beginners: build blockchain-based cryptocurrencies, smart contracts, and DApps
por: Vaneetvelde, Kenny
Publicado: (2018)

Beginning Ethereum Smart Contracts Programming: With Examples in Python, Solidity, and JavaScript
por: Lee, Wei-Meng
Publicado: (2019)

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
por: Park, Daejun, et al.
Publicado: (2020)

Using Ethereum blockchain to store and query pharmacogenomics data via smart contracts
por: Gürsoy, Gamze, et al.
Publicado: (2020)

Using Ethereum Smart Contracts to Store and Share COVID-19 Patient Data
por: Batchu, Sai, et al.
Publicado: (2022)

Solidity programming essentials: a beginner's guide to build smart contracts for Ethereum and blockchain
por: Modi, Ritesh
Publicado: (2018)

Ethereum smart contract development: build blockchain-based decentralized applications using solidity
por: Mukhopadhyay, Mayukh
Publicado: (2018)

Mastering blockchain programming with solidity: write production-ready smart contracts for ethereum blockchain with solidity
por: Chittoda, Jitendra
Publicado: (2019)

A Smart Contract-Based P2P Energy Trading System with Dynamic Pricing on Ethereum Blockchain
por: Song, Jae Geun, et al.
Publicado: (2021)

Building Ethereum Dapps: decentralized applications on the Ethereum blockchain
por: Infante, Roberto
Publicado: (2019)

Ethereum for dummies
por: Laurence, Tiana, et al.
Publicado: (2019)

Mastering Ethereum
por: Antonopoulos, Andreas
Publicado: (2018)

Ethereum: Tools & Skills
por: Skvorc, Bruno
Publicado: (2018)

Ethereum for web developers: learn to build web applications on top of the Ethereum Blockchain
por: Palladino, Santiago
Publicado: (2019)

A Developer's Guide to Ethereum
por: Skvorc, Bruno
Publicado: (2018)

Mastering Ethereum: implement advanced blockchain applications using Ethereum-supported tools, services, and protocols
por: Grincalaitis, Merunas
Publicado: (2019)

Social Sensing and Individual Brands in Sports: Lessons Learned from English-Language Reactions on Twitter to Pau Gasol’s Retirement Announcement
por: León-Quismondo, Jairo
Publicado: (2023)

Build your first Ethereum DApp
por: Škvorc, Bruno
Publicado: (2018)

Blockchain developer's guide: develop smart applications with Blockchain technologies, Ethereum, JavaScript, Hyperledger Fabric, and Corda
por: Hill, Brenn
Publicado: (2018)

Securing Blockchain Networks like Ethereum and Hyperledger Fabric
por: Parisi, Alessandro
Publicado: (2020)

Approaching the Communication Constraints of Ethereum-Based Decentralized Applications
por: Pustišek, Matevž, et al.
Publicado: (2019)

Cryptocurrencies on the road to sustainability: Ethereum paving the way for Bitcoin
por: De Vries, Alex
Publicado: (2022)

Ethereum for architects and developers: with case studies and code samples in Solidity
por: Mohanty, Debajani
Publicado: (2018)

Introducing Ethereum and Solidity: foundations of cryptocurrency and blockchain programming for beginners
por: Dannen, Chris
Publicado: (2017)

Truffle quick start guide: learn the fundamentals of Ethereum development
por: Bhaskar, Nikhil
Publicado: (2018)

RZcoin: Ethereum-Based Decentralized Payment with Optional Privacy Service
por: Zhao, Hong, et al.
Publicado: (2020)

A Scalable Implementation of Anonymous Voting over Ethereum Blockchain
por: Song, Jae-Geun, et al.
Publicado: (2021)

Detection of Ponzi scheme on Ethereum using machine learning algorithms
por: Onu, Ifeyinwa Jacinta, et al.
Publicado: (2023)

Detailed analysis of Ethereum network on transaction behavior, community structure and link prediction
por: Said, Anwar, et al.
Publicado: (2021)

A Systematic Comparison between the Ethereum and Hyperledger Fabric Blockchain Platforms for Attribute-Based Access Control in Smart Home IoT Environments
por: Pancari, Stefan, et al.
Publicado: (2023)

Are Bitcoin and Ethereum safe-havens for stocks during the COVID-19 pandemic?
por: Dwita Mariana, Christy, et al.
Publicado: (2021)

Edge Computing to Secure IoT Data Ownership and Trade with the Ethereum Blockchain
por: Nawaz, Anum, et al.
Publicado: (2020)

An Ethereum-Based Distributed Application for Enhancing Food Supply Chain Traceability
por: Kechagias, Evripidis P., et al.
Publicado: (2023)

Cannot write session to /tmp/vufind_sessions/sess_1u2oc4uko1fv65oe4il4pgd8bg