Kaiping Xue

An Analysis of Blockchain Consistency in Asynchronous Networks: Deriving a Neat Bound

2019 · arXiv (Cornell University)

Formal analyses of blockchain protocols have received much attention recently. Consistency results of Nakamoto's blockchain protocol are often expressed in a quantity $c$, which denotes the expected number of network delays before some block is …