[Resource Topic] 2008/175: Proofs of Retrievability: Theory and Implementation

Welcome to the resource topic for 2008/175

Title:
Proofs of Retrievability: Theory and Implementation

Authors: Kevin D. Bowers, Ari Juels, Alina Oprea

Abstract:

A proof of retrievability (POR) is a compact proof by a file system (prover) to a client (verifier) that a target file F is intact, in the sense that the client can fully recover it. As PORs incur lower communication complexity than transmission of F itself, they are an attractive building block for high-assurance remote storage systems. In this paper, we propose a theoretical framework for the design of PORs. Our framework improves the previously proposed POR constructions of Juels-Kaliski and Shacham-Waters, and also sheds light on the conceptual limitations of previous theoretical models for PORs. It supports a fully Byzantine adversarial model, carrying only the restriction—fundamental to all PORs—that the adversary’s error rate \epsilon be bounded when the client seeks to extract F. Our techniques support efficient protocols across the full possible range of \epsilon, up to \epsilon non-negligibly close to 1. We propose a new variant on the Juels-Kaliski protocol and describe a prototype implementation. We demonstrate practical encoding even for files F whose size exceeds that of client main memory.

ePrint: https://eprint.iacr.org/2008/175

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .