PoReps: Proofs of Space on Useful Data.
Secure code update for embedded devices via proofs of secure erasure