Erica Blum, Aggelos Kiayias, Cristopher Moore, Saad Quader, Alexander Russell. The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains. In Shuchi Chawla 0001, editor, Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, SODA 2020, Salt Lake City, UT, USA, January 5-8, 2020. pages 1135-1154, SIAM, 2020. [doi]
Abstract is missing.