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
关键词
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 条
  • [31] Ethereum smart contract security research: survey and future research opportunities
    Zeli WANG
    Hai JIN
    Weiqi DAI
    KimKwang Raymond CHOO
    Deqing ZOU
    Frontiers of Computer Science, 2021, (02) : 137 - 154
  • [32] Proposal of a smart contract-based security token management system
    Fujimoto, Shingo
    Omote, Kazumasa
    2022 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2022), 2022, : 419 - 426
  • [33] Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
    Pan, Yu
    Xu, Zhichao
    Li, Levi Taiji
    Yang, Yunhe
    Zhang, Mu
    PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 1244 - 1256
  • [34] A Mixed-Methods Study of Security Practices of Smart Contract Developers
    Sharma, Tanusree
    Zhou, Zhixuan
    Miller, Andrew
    Wang, Yang
    PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 2545 - 2562
  • [35] Security tokens: architecture, smart contract applications and illustrations using SAFE
    Subramanian, Hemang
    MANAGERIAL FINANCE, 2020, 46 (06) : 735 - 748
  • [36] Reservation wage and optimal contract for experts
    Jun, Jooyong
    Yoon, Kyoung-Soo
    ECONOMICS LETTERS, 2012, 117 (03) : 619 - 623
  • [37] A mathematical model for a capacity reservation contract
    Park, Sung Il
    Kim, Jong Soo
    APPLIED MATHEMATICAL MODELLING, 2014, 38 (5-6) : 1866 - 1880
  • [38] Capacity sourcing using a reservation contract
    Hazra, Jishnu
    Mahadevan, B.
    2007 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1-4, 2007, : 1544 - 1548
  • [39] GOV: A Verification Method for Smart Contract Gas-Optimization
    Huang, Yuan
    Wang, Rong
    Chen, Xiangping
    Zhou, Xiaocong
    Wang, Ziyan
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 473 - 479
  • [40] An Interoperable Blockchain Security Frameworks Based on Microservices and Smart Contract in IoT Environment
    Alshudukhi, Khulud Salem
    Khemakhem, Maher Ali
    Eassa, Fathy Elbouraey
    Jambi, Kamal Mansur
    ELECTRONICS, 2023, 12 (03)