Unpredictability properties in Algorand consensus protocol

The Algorand consensus protocol, introduced by Chen and Micali in 2016, uses a pure proof-of-stake protocol based on Byzantine agreement rather than the well-known Bitcoin proof-of-work. In this paper, we analyze specific security properties of Algorand related to "unpredictability". The unpredictability property has been initially defined by Boneh et al. in the context of single secret leader ele...