Proofs of Proofs of Work with Sublinear Complexity
The Bitcoin Backbone Protocol: Analysis and Applications