An interactive proof system for verifying that provers are dedicating unique resources to storing retrievable replicas of a data file.