Skip to Main content Skip to Navigation
Journal articles

Generic constructions of PoRs from codes and instantiations

Abstract : In this paper, we show how to construct, from any linear code, a Proof of Retrievability (PoR) which features very low computation complexity on both the client (Verifier) and server (Prover) side, as well as small client storage (typically 512 bits). We adapt the security model initiated by Juels and Kaliski [JK07] to fit into the framework of Paterson et al. [PSU13], from which our construction evolves. We thus provide a rigorous treatment of the security of our generic design; more precisely, we sharply bound the extraction failure of our protocol according to this security model. Next, we instantiate our formal construction with codes built from tensor-products as well as with Reed-Muller codes and lifted codes [GKS13], yielding PoRs with moderate communication complexity and (server) storage overhead, in addition to the aforementioned features.
Document type :
Journal articles
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download
Contributor : Julien Lavauzelle <>
Submitted on : Friday, March 1, 2019 - 3:57:09 PM
Last modification on : Tuesday, December 8, 2020 - 10:16:05 AM
Long-term archiving on: : Thursday, May 30, 2019 - 3:52:24 PM


Files produced by the author(s)




Julien Lavauzelle, Françoise Levy-Dit-Vehel. Generic constructions of PoRs from codes and instantiations. Journal of Mathematical Cryptology, De Gruyter, In press, 13 (2), pp.81--106. ⟨10.1515/jmc-2018-0018⟩. ⟨hal-02053948⟩



Record views


Files downloads