Compact Proofs of Retrievability
Effective erasure codes for reliable computer communication protocols