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.resear

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_Evidence_of_Data_Integrity_from_an_Untrusted_Storage_Service https://www.researchgate.net/publication/4326385_Reliable_Ev... Disclaimer: I am one of the authors.