PoReps: Proofs of Space on Useful Data.
Proofs of retrievability: theory and implementation