Linear Consistency for Proof-of-Stake Blockchains.
The Bitcoin Backbone Protocol with Chains of Variable Difficulty