FWIW: For the simpler case of two single entities there is a non-probabilistic (whole data needed for proof) proof-of-retrievability concept: https://www.researchgate.net/publication/4326385_Reliable_Ev... Disclaimer: I am one of the authors.