LedgerHedger: Gas Reservation for Smart Contract Security

被引:0
作者
Tsabary, Itay [1 ]
Manuskin, Alex [1 ]
Bar-Zur, Roi [1 ]
Eyal, Ittay [1 ]
机构
[1] Technion, Haifa, Israel
来源
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2024, PT I | 2025年 / 14744卷
关键词
Blockchains; Cryptocurrency; Smart Contracts; Hedging; Gas Price; RISK-AVERSION;
D O I
10.1007/978-3-031-78676-1_14
中图分类号
F8 [财政、金融];
学科分类号
0202 ;
摘要
In smart contract blockchain platforms such as Ethereum, users interact with the system by issuing transactions. System operators called miners or validators add those transactions to the blockchain. Users attach to each transaction a fee, which is collected by the miner who placed it in the blockchain. Miners naturally prioritize better-paying transactions. This process creates a volatile fee market due to limited throughput and fluctuating demand. The fee required to place a transaction in the future is unknown; yet, ensuring timely transaction confirmation is critical for securing smart contracts that represent billions of dollars and underpin prominent blockchain scaling solutions. We present LEDGERHEDGER, a novel mechanism that guarantees the confirmation of a transaction within a specified time frame. Due to the absence of external enforcement in decentralized systems, LEDGERHEDGER uses incentives. Its core is a hedging agreement between a transaction issuer and a second party, possibly a miner. The issuing party pays for the transaction upfront while the second party commits to paying any necessary fees when the transaction is issued in the future, even if they exceed the original payment. LEDGERHEDGER gives rise to a strategic game, where the issuing party deposits the transaction payment and the committing party deposits a collateral. During the target time frame, the latter is required to confirm the transaction if it exists, or they have the option to withdraw the payment and the collateral if the transaction is not presented. We demonstrate that for a broad range of parameters, a subgame perfect equilibrium exists where both parties are incentivized to act as desired, thereby guaranteeing transaction confirmation. We implement LEDGERHEDGER and deploy it on an Ethereum test network, showcasing its efficacy and minor overhead.
引用
收藏
页码:248 / 270
页数:23
相关论文
共 50 条
[41]   Smart Contract Interactions in Coq [J].
Nielsen, Jakob Botsch ;
Spitters, Bas .
FORMAL METHODS. FM 2019 INTERNATIONAL WORKSHOPS, PT I, 2020, 12232 :380-391
[42]   Securi-Chain: Enhancing Smart Contract Security in Blockchain Systems Through Optimized Access Control [J].
Swart, Keanu ;
Baror, Stacey Omeleze ;
Venter, Hein .
PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY, ICCWS 2024, 2024, 19 :583-591
[43]   Enhancing smart contract security: Leveraging pre-trained language models for advanced vulnerability detection [J].
He F. ;
Li F. ;
Liang P. .
IET Blockchain, 2024, 4 (S1) :543-554
[44]   An improved smart contract-based bring your own device (BYOD) security control framework [J].
Almarhabi, Khalid A. .
ALEXANDRIA ENGINEERING JOURNAL, 2024, 105 :598-612
[45]   Unveiling crypto analysis secrets : A comprehensive analysis of smart contract security within blockchain network environments [J].
Vats, Prashant ;
Vats, Shailender Kumar ;
Peddi, Prasadu .
JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2024, 27 (04) :1121-1128
[46]   Analyzing smart contract interactions and contract level state consensus [J].
Hu, Yao-Chieh ;
Lee, Ting-Ting ;
Chatzopoulos, Dimitris ;
Hui, Pan .
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (12)
[47]   Exploring Smart Contract Recommendation: Towards Efficient Blockchain Development [J].
Jiang, Zigui ;
Zheng, Zibin ;
Chen, Kai ;
Luo, Xiapu ;
Tang, Xiuwen ;
Li, Yin .
IEEE TRANSACTIONS ON SERVICES COMPUTING, 2023, 16 (03) :1822-1832
[48]   Embedding Smart Contract in Blockchain Transactions to Improve Flexibility for the IoT [J].
Su, Hong ;
Guo, Bing ;
Shen, Yan ;
Suo, Xinhua .
IEEE INTERNET OF THINGS JOURNAL, 2022, 9 (19) :19073-19085
[49]   PaVM: A Parallel Virtual Machine for Smart Contract Execution and Validation [J].
Fang, Yaozheng ;
Zhou, Zhiyuan ;
Dai, Surong ;
Yang, Jinni ;
Zhang, Hui ;
Lu, Ye .
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2024, 35 (01) :186-202
[50]   Smart Contract Application for Managing Land Administration System Transactions [J].
Stefanovic, Miroslav ;
Przulj, Dorde ;
Ristic, Sonja ;
Stefanovic, Darko ;
Nikolic, Danilo .
IEEE ACCESS, 2022, 10 :39154-39176