Jonah Brown-Cohen, Arvind Narayanan, Alexandros Psomas, S. Matthew Weinberg. Formal Barriers to Longest-Chain Proof-of-Stake Protocols. In Anna Karlin, Nicole Immorlica, Ramesh Johari, editors, Proceedings of the 2019 ACM Conference on Economics and Computation, EC 2019, Phoenix, AZ, USA, June 24-28, 2019. pages 459-473, ACM, 2019. [doi]
Abstract is missing.