Snow White: Provably Secure Proofs of Stake.
Analysis of the Blockchain Protocol in Asynchronous Networks