Model Checking Bitcoin and other Proof-of-Work Consensus Protocols

被引:3
|
作者
DiGiacomo-Castillo, Max [1 ]
Liang, Yiyun [1 ]
Pal, Advay [1 ]
Mitchell, John C. [1 ]
机构
[1] Stanford Univ, Dept Comp Sci, Stanford, CA 94305 USA
关键词
D O I
10.1109/Blockchain50366.2020.00051
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The Bitcoin Backbone Protocol [4] is an abstraction of the bitcoin proof-of-work consensus protocol. We use a model-checking tool (UPPAAL-SMC) to examine the security of proof-of-work consensus by varying protocol parameters, using an adversary that leverages the selfish mining strategy introduced in [4]. We provide insights into modeling proof-of-work protocols and demonstrate trade-offs between operating parameters. Applying this methodology to protocol design, we show that the uniform tie-breaking rule from [11], an attempt to mitigate selfish mining, improves chain quality but decreases the common prefix probability. This trade-off illustrates how design decisions affect desirable protocol properties, within a range of concrete operating conditions, in a manner that is not evident from prior asymptotic analysis.
引用
收藏
页码:351 / 358
页数:8
相关论文
共 50 条
  • [1] A new proof-of-work mechanism for bitcoin
    Shi, Ning
    FINANCIAL INNOVATION, 2016, 2 (01)
  • [2] Serious Game for Blockchain Education Purposes (using Proof-of-Work consensus of Bitcoin)
    Oktian, Yustus Eko
    Singgih, Ivan Kristianto
    Ferdinand, Friska Natalia
    PROCEEDINGS OF 2019 5TH INTERNATIONAL CONFERENCE ON NEW MEDIA STUDIES (CONMEDIA 2019), 2019, : 177 - 183
  • [3] Analysis of Difficulty Control in Bitcoin and Proof-of-Work Blockchains
    Fullmer, Daniel
    Morse, A. Stephen
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 5988 - 5992
  • [4] Is the Cost of Proof-of-Work Consensus Quasilinear?
    Asgaonkar, Aditya
    Palande, Pranav
    Joshi, Ramprasad S.
    PROCEEDINGS OF THE ACM INDIA JOINT INTERNATIONAL CONFERENCE ON DATA SCIENCE AND MANAGEMENT OF DATA (CODS-COMAD'18), 2018, : 314 - 317
  • [5] Bitcoin: a new proof-of-work system with reduced variance
    Danilo Bazzanella
    Andrea Gangemi
    Financial Innovation, 9
  • [6] Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols' Security
    Zhang, Ren
    Preneel, Bart
    2019 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2019), 2019, : 175 - 192
  • [7] Proof-of-work consensus by quantum sampling
    Singh, Deepesh
    Muraleedharan, Gopikrishnan
    Fu, Boxiang
    Cheng, Chen-Mou
    Roussy Newton, Nicolas
    Rohde, Peter P.
    Brennen, Gavin K.
    QUANTUM SCIENCE AND TECHNOLOGY, 2025, 10 (02):
  • [8] Bitcoin: a new proof-of-work system with reduced variance
    Bazzanella, Danilo
    Gangemi, Andrea
    FINANCIAL INNOVATION, 2023, 9 (01)
  • [9] Optimal mining in proof-of-work blockchain protocols
    Soria, Jorge
    Moya, Jorge
    Mohazab, Amin
    FINANCE RESEARCH LETTERS, 2023, 53
  • [10] Bitcoin Message: Data Insertion on a Proof-of-Work Cryptocurrency System
    Sleiman, Matthew D.
    Lauf, Adrian P.
    Yampolskiy, Roman
    2015 INTERNATIONAL CONFERENCE ON CYBERWORLDS (CW), 2015, : 332 - 336