this sounds like what filecoin tried to do but without the shitcoin. proof of storage with merkle proofs and bitcoin payments would be huge. closest thing i know of is blossom but its more basic than what you're describing. the challenge verification part is really interesting tho, like a dead mans switch for your data