Smart contract development: Challenges and opportunities

W Zou, D Lo, PS Kochhar, XBD Le, X ** cost-effective blockchain-powered applications: A case study of the gas usage of smart contract transactions in the ethereum blockchain platform
AA Zarir, GA Oliva, ZM Jiang, AE Hassan - ACM Transactions on …, 2021 - dl.acm.org
Ethereum is a blockchain platform that hosts and executes smart contracts. Executing a
function of a smart contract burns a certain amount of gas units (aka, gas usage). The total …

[HTML][HTML] AgriOnBlock: Secured data harvesting for agriculture sector using blockchain technology

H Patel, B Shrimali - ICT Express, 2023 - Elsevier
The existing agriculture system is having several components such as supply chain
management, crop insurance, the shipment of goods, and it involves numerous untrusted …

Safer smart contract programming with Scilla

I Sergey, V Nagaraj, J Johannsen, A Kumar… - Proceedings of the …, 2019 - dl.acm.org
The rise of programmable open distributed consensus platforms based on the blockchain
technology has aroused a lot of interest in replicated stateful computations, aka smart …

Gaschecker: Scalable analysis for discovering gas-inefficient smart contracts

T Chen, Y Feng, Z Li, H Zhou, X Luo… - … on Emerging Topics …, 2020 - ieeexplore.ieee.org
Ethereum, the largest blockchain for running smart contracts, charges the people who send
transactions to deploy or invoke smart contracts for thwarting resource abuse. The amount of …

[HTML][HTML] Transaction fees optimization in the Ethereum blockchain

A Laurent, L Brotcorne, B Fortz - Blockchain: Research and Applications, 2022 - Elsevier
In blockchains, transaction fees are fixed by the users. The probability for a transaction to be
processed quickly increases with the fee level. In this paper, we study the transaction fee …

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 …