Bitcoin's Latency–Security Analysis Made Simple

Simple closed-form upper and lower bounds are developed for the security of the Nakamoto consensus as a function of the confirmation depth, the honest and adversarial block mining rates, and an upper bound on the block propagation delay. The bounds are exponential in the confirmation depth and apply regardless of the adversary’s attack strategy. The gap between the upper and lower bounds is small for Bitcoin’s parameters. For example, assuming an average block interval of 10 minutes, a network delay bound of ten seconds, and 10% adversarial mining power, the widely used 6-block confirmation rule yields a safety violation between 0.11% and 0.35% probability.

[1]  Alexander Russell,et al.  Practical Settlement Bounds for Proof-of-Work Blockchains , 2022, IACR Cryptol. ePrint Arch..

[2]  Dongning Guo,et al.  Close latency-security trade-off for the Nakamoto consensus , 2020, AFT.

[3]  Aggelos Kiayias,et al.  Tight Consistency Bounds for Bitcoin , 2020, IACR Cryptol. ePrint Arch..

[4]  David Tse,et al.  Everything is a Race and Nakamoto Always Wins , 2020, IACR Cryptol. ePrint Arch..

[5]  Dongning Guo,et al.  Liveness and Consistency of Bitcoin and Prism Blockchains: The Non-lockstep Synchronous Case , 2020, 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).

[6]  Ling Ren,et al.  Analysis of Nakamoto Consensus , 2019, IACR Cryptol. ePrint Arch..

[7]  Abhi Shelat,et al.  A Better Method to Analyze Blockchain Consistency , 2018, CCS.

[8]  Elaine Shi,et al.  Rethinking Large-Scale Consensus , 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).

[9]  Abhi Shelat,et al.  Analysis of the Blockchain Protocol in Asynchronous Networks , 2017, EUROCRYPT.

[10]  Aviv Zohar,et al.  Bitcoin's Security Model Revisited , 2016, ArXiv.

[11]  Angelika Bayer,et al.  A First Course In Probability , 2016 .

[12]  Aggelos Kiayias,et al.  The Bitcoin Backbone Protocol: Analysis and Applications , 2015, EUROCRYPT.

[13]  S. Nakamoto,et al.  Bitcoin: A Peer-to-Peer Electronic Cash System , 2008 .

[14]  Sheldon M. Ross,et al.  Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.

[15]  L. Goddard Information Theory , 1962, Nature.