VESPo: Verified Evaluation of Secret Polynomials - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly
Conference Papers Year : 2023

VESPo: Verified Evaluation of Secret Polynomials


Proofs of Retrievability are protocols which allow a Client to store data remotely and to efficiently ensure, via audits, that the entirety of that data is still intact. Dynamic Proofs of Retrievability (DPoR) also support efficient retrieval and update of any small portion of the data. We propose a novel protocol for arbitrary outsourced data storage that achieves both low remote storage size and audit complexity. A key ingredient, that can be also of intrinsic interest, reduces to efficiently evaluating a secret polynomial at given public points, when the (encrypted) polynomial is stored on an untrusted Server. The Server performs the evaluations and also returns associated certificates. A Client can check that the evaluations are correct using the certificates and some pre-computed keys, more efficiently than re-evaluating the polynomial. Our protocols support two important features: the polynomial itself can be encrypted on the Server, and it can be dynamically updated by changing individual coefficients cheaply without redoing the entire setup. Our methods rely on linearly homomorphic encryption and pairings, and our implementation shows good performance for polynomial evaluations with millions of coefficients, and efficient DPoR with terabytes of data. For instance, for a 1TB database, compared to the state of art, we can reduce the Client storage by 5000x, communication size by 20x, and client-side audit time by 2x, at the cost of one order of magnitude increase in server-side audit time.
Fichier principal
Vignette du fichier
vespo.pdf (680.99 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03365854 , version 1 (05-10-2021)
hal-03365854 , version 2 (20-01-2022)
hal-03365854 , version 3 (21-02-2022)
hal-03365854 , version 4 (09-05-2022)
hal-03365854 , version 5 (13-03-2023)



Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche. VESPo: Verified Evaluation of Secret Polynomials: with application to low-storage dynamic proofs of retrievability. Privacy Enhancing Technologies Symposium, Jul 2023, Lausanne (CH), Switzerland. pp.354--374, ⟨10.56553/popets-2023-0085⟩. ⟨hal-03365854v5⟩
288 View
208 Download



Gmail Mastodon Facebook X LinkedIn More