In cryptocurrency networks, transaction-fee revenue serves as the primary financial incentive for miners to participate in the consensus mechanism, securing the network by validating transactions and extending the blockchain. Maximizing this revenue is therefore a key optimization problem for miners. While this has been studied for UTXO blockchains like Bitcoin, where transaction fees are fixed, we focus on Ethereum, where the challenge is significantly greater. On Ethereum, the fee paid by a transaction depends on its execution cost (gas), which can change based on the ordering of preceding transactions in a block. This creates a combinatorial explosion, as miners must select not only a subset of transactions but also their optimal permutation to maximize revenue.
In this work, we present a randomized framework to address this problem. Our approach first uses randomized testing, executing sample permutations of pending transactions to profile their gas usage. From this data, we employ decision trees to learn transaction interdependencies, identifying a small “neighborhood” of transactions that influence each other’s execution costs. These dependencies are then encoded as a set of logical rules that predict gas usage based on local transaction ordering. Finally, we translate these rules and other constraints (e.g., block gas limit, nonce ordering) into an integer linear programming (ILP) instance, which we solve to find a block composition that maximizes total tip revenue. Our experimental results demonstrate significant gains: our method outperforms real-world Ethereum miners by an average of 73.45 percent per block, which corresponds to roughly 63 million USD per annum.
Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
14:00 - 15:30 | Testing and Analysis 19Research Track at Oceania II Chair(s): Nasir Eisty University of Tennessee-Knoxville | ||
14:00 15mTalk | E-Test: E'er-Improving Test Suites Research Track Ketai Qiu USI Università della Svizzera Italiana, Luca Di Grazia University of St. Gallen, Leonardo Mariani University of Milano-Bicocca, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca Pre-print | ||
14:15 15mTalk | AssertFlip: Reproducing Bugs via Inversion of LLM-Generated Passing Tests Research Track Lara Khatib University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Mei Nagappan University of Waterloo | ||
14:30 15mTalk | Boosting Gas Revenues of Ethereum Miners Research Track Togzhan Barakbayeva HKUST, Soroush Farokhnia Hong Kong University of Science and Technology, Amir K. Goharshady University of Oxford, Sergei Novozhilov The Hong Kong University of Science and Technology | ||
14:45 15mTalk | LLM4Perf: Large Language Models Are Effective Samplers for Multi-Objective Performance Modeling Research Track Xin Wang The Hong Kong University of Science and Technology (Guangzhou), Zhenhao Li York University, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou) Pre-print | ||
15:00 15mTalk | On the Robustness of Fairness Practices: A Causal Framework for Systematic Evaluation Research Track Verya Monjezi University of Illinois Chicago, Ashish Kumar Pennsylvania State University, Ashutosh Trivedi University of Colorado Boulder, Gang (Gary) Tan Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago | ||
15:15 15mTalk | Characterizing Regression Bug‑Inducing Changes and Improving LLM‑Based Regression Bug Detection Research Track Xuezhi Song Fudan University, Yijian Wu Fudan University, Bihuan Chen Fudan University, Zhengjie Lu Fudan University, Shuning Liu Fudan University, Xin Peng Fudan University Pre-print Media Attached | ||