Blockchain data structures maintained via the longest-chain rule have emerged as a powerful algorithmic tool for consensus algorithms. e technique-popularized by the Bitcoin protocol-has proven to be remarkably flexible and now supports consensus algorithms in a wide variety of se ings. Despite such broad applicability and adoption, current analytic understanding of the technique is highly dependent on details of the protocol's leader election scheme. A particular challenge appears in the proof-of-stake se ing, where existing analyses suffer from quadratic dependence on suffix length.We describe an axiomatic theory of blockchain dynamics that permits rigorous reasoning about the longestchain rule in quite general circumstances and establish bounds-optimal to within a constant-on the probability of a consistency violation. is se les a critical open question in the proof-of-stake se ing where we achieve linear consistency for the first time.Operationally, blockchain consensus protocols achieve consistency by instructing parties to remove a suffix of a certain length from their local blockchain. While the analysis of Bitcoin guarantees consistency with error 2 −k by removing O(k) blocks, recent work on proof-of-stake (PoS) blockchains has suffered from quadratic dependence: (PoS) blockchain protocols, exemplified by Ouroboros (Crypto 2017), Ouroboros Praos (Eurocrypt 2018) and Sleepy Consensus (Asiacrypt 2017), can only establish that the length of this suffix should be Θ(k 2 ).is consistency guarantee is a fundamental design parameter for these systems, as the length of the suffix is a lower bound for the time required to wait for transactions to se le. Whether this gap is an intrinsic limitation of PoS-due to issues such as the "nothing-at-stake" problem-has been an urgent open question, as deployed PoS blockchains further rely on consistency for protocol correctness: in particular, security of the protocol itself relies on this parameter. Our general theory directly improves the required suffix length from Θ(k 2 ) to Θ(k). us we show, for the first time, how PoS protocols can match proof-of-work blockchain protocols for exponentially decreasing consistency error.Our analysis focuses on the articulation of a two-dimensional stochastic process that captures the features of interest, an exact recursive closed form for the critical functional of the process, and tail bounds established for associated generating functions that dominate the failure events. Finally, the analysis provides an explicit polynomial-time algorithm for exactly computing the exponentially-decaying error function which can directly inform practice.Direct consequences. Our results establish consistency bounds in a quite general se ing-see below: In particular, they directly imply exp(−Θ(k)) consistency for the Sleepy consensus (Snow White) [21], Ouroboros [13], Ouroboros Praos [6], and Ouroboros Genesis [2] blockchain protocols. ( e Ouroboros Praos and Ouroboros Genesis analyses in fact directly relied on an earlier e-print version of the present...
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.