Asparagus: Automated synthesis of parametric gas upper-bounds for smart contracts

Z Cai, S Farokhnia, AK Goharshady… - Proceedings of the ACM …, 2023 - dl.acm.org
Modern programmable blockchains have built-in support for smart contracts, ie ‍programs
that are stored on the blockchain and whose state is subject to consensus. After a smart …

Implementation of hybrid blockchain in a pre-owned electric vehicle supply chain

G Subramanian, AS Thampy - IEEE Access, 2021 - ieeexplore.ieee.org
Ecumenical carbon dioxide (CO 2) emission emanates from car, bus, taxi, and motorcycle is
around 45%. Electric vehicle could be the major contributor to abbreviate the pollution level …

Smart contracts refinement for gas optimization

K Nelaturu, SM Beillahi, F Long… - 2021 3rd conference on …, 2021 - ieeexplore.ieee.org
Smart contracts facilitate the execution of programmable code on a blockchain. The cost for
executing smart contract code is metered using gas-the exact amount of which is based on …

Profiling gas consumption in solidity smart contracts

A Di Sorbo, S Laudanna, A Vacca, CA Visaggio… - Journal of Systems and …, 2022 - Elsevier
Nowadays, more and more applications are developed for running on a distributed ledger
technology, namely dApps. The business logic of dApps is usually implemented within smart …

Characterizing and detecting gas-inefficient patterns in smart contracts

QP Kong, ZY Wang, Y Huang, XP Chen… - Journal of Computer …, 2022 - Springer
Ethereum blockchain is a new internetware with tens of millions of smart contracts running
on it. Different from general programs, smart contracts are decentralized, tamper-resistant …

Pre-deployment Analysis of Smart Contracts--A Survey

S Munir, W Taha - arXiv preprint arXiv:2301.06079, 2023 - arxiv.org
Smart contracts are programs that execute transactions involving independent parties and
cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and …

Smart money wasting: Analyzing gas cost drivers of ethereum smart contracts

B Severin, M Hesenius, F Blum… - … and Evolution (ICSME …, 2022 - ieeexplore.ieee.org
Users must pay a fee depending on resource consumption when using smart contracts on
the Ethereum blockchain. As even the most basic operations cost several dollars under …

[HTML][HTML] Adoption of blockchain to develop a deployable secure healthcare solution: An analysis

K Agrawal, M Aggarwal, S Tanwar… - Cyber Security and …, 2024 - Elsevier
Blockchain technology has grown enormously in diverse, intelligent applications with high
security, transparency, and trust, but performance analysis is still a concern. Various …

Chaos engineering of ethereum blockchain clients

L Zhang, J Ron, B Baudry, M Monperrus - … Technologies: Research and …, 2023 - dl.acm.org
In this article, we present ChaosETH, a chaos engineering approach for resilience
assessment of Ethereum blockchain clients. ChaosETH operates in the following manner …

Meta-Learning: A Digital Learning Management Framework using Blockchain for Metaverses

M Golam, EA Tuli, RN Alief, DS Kim, JM Lee - IEEE Access, 2024 - ieeexplore.ieee.org
The worldwide education landscape has transformed due to the COVID-19 pandemic,
providing an opportunity to enhance virtual learning. Nevertheless, this transition has …