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 条
  • [1] Security Assurance for Smart Contract
    Zhou, Ence
    Hua, Song
    Pi, Bingfeng
    Sun, Jun
    Nomura, Yashihide
    Yamashita, Kazuhiro
    Kurihara, Hidetoshi
    2018 9TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2018,
  • [2] Smart Contract: Security and Privacy
    Alotaibi, Leena S.
    Alshamrani, Sultan S.
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2021, 38 (01): : 93 - 101
  • [3] Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
    Nassirzadeh, Behkish
    Sun, Huaiying
    Banescu, Sebastian
    Ganesh, Vijay
    MATHEMATICAL RESEARCH FOR BLOCKCHAIN ECONOMY, MARBLE 2022, 2023, : 143 - 167
  • [4] Smart Contract Security: a Practitioners' Perspective
    Wan, Zhiyuan
    Xia, Xin
    Lo, David
    Chen, Jiachi
    Luo, Xiapu
    Yang, Xiaohu
    2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021), 2021, : 1410 - 1422
  • [5] Security Code Recommendations for Smart Contract
    Zhou, Xiaocong
    Chen, Yingye
    Guo, Hanyang
    Chen, Xiangping
    Huang, Yuan
    2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING, SANER, 2023, : 190 - 200
  • [6] Smart grid security based on blockchain and smart contract
    Zhang, Ming
    Liu, Yutong
    Cheng, Qian
    Li, Hui
    Liao, Dan
    Li, Huiyong
    PEER-TO-PEER NETWORKING AND APPLICATIONS, 2024, 17 (04) : 2167 - 2184
  • [7] Smart Contract Vulnerability Analysis and Security Audit
    He, Daojing
    Deng, Zhi
    Zhang, Yuxing
    Chan, Sammy
    Cheng, Yao
    Guizani, Nadra
    IEEE NETWORK, 2020, 34 (05): : 276 - 282
  • [8] Smart Contract Security: A Software Lifecycle Perspective
    Huang, Yongfeng
    Bian, Yiyang
    Li, Renpu
    Zhao, J. Leon
    Shi, Peizhong
    IEEE ACCESS, 2019, 7 : 150184 - 150202
  • [9] Contractual Security and Privacy Security of Smart Contract: A System Mapping Study
    Hu T.-Y.
    Li Z.-C.
    Li B.-X.
    Bao Q.-H.
    Jisuanji Xuebao/Chinese Journal of Computers, 2021, 44 (12): : 2485 - 2514
  • [10] Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
    Brent, Lexi
    Grech, Neville
    Lagouvardos, Sifis
    Scholz, Bernhard
    Smaragdakis, Yannis
    PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 454 - 469