Proofs of Space-Time and Rational Proofs of Storage.
Proofs of retrievability: theory and implementation