Proofs of Proofs of Work with Sublinear Complexity
Inclusive Block Chain Protocols