Proofs of Proofs of Work with Sublinear Complexity
Theoretical Bitcoin Attacks with less than Half of the Computational Power (draft)