Linear Consistency for Proof-of-Stake Blockchains.
Snow White: Provably Secure Proofs of Stake.