Challenge to prove possession of file
This is called a proof of retrievability or provable data possession (slightly different definitions for these two concepts). You will find many papers discussing constructions. Two of the most cited papers in this area are:


Shacham &amp; Waters: Compact Proofs of Retrievability
Ateniese et al: Provable Data Possession at Untrusted Stores