We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Cryptography and Security

Title: VESPo: Verified Evaluation of Secret Polynomials

Abstract: We consider the problem of efficiently evaluating a secret polynomial at a given public point, when the polynomial is stored on an untrusted server. The server performs the evaluation and returns a certificate, and the client can efficiently check that the evaluation is correct using some pre-computed keys. 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. As an important application, we show how these new techniques can be used to instantiate a Dynamic Proof of Retrievability (DPoR) for arbitrary outsourced data storage that achieves low server storage size and audit complexity. Our methods rely only on linearly homomorphic encryption and pairings, and preliminary timing results indicate reasonable performance for polynomials with millions of coefficients, and efficient DPoR with for instance 1TB size databases.
Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)
Cite as: arXiv:2110.02022 [cs.CR]
  (or arXiv:2110.02022v4 [cs.CR] for this version)

Submission history

From: Jean-Guillaume Dumas [view email]
[v1] Tue, 5 Oct 2021 13:11:04 GMT (34kb,D)
[v2] Fri, 21 Jan 2022 09:04:02 GMT (36kb,D)
[v3] Mon, 21 Feb 2022 14:54:22 GMT (37kb,D)
[v4] Mon, 9 May 2022 08:33:20 GMT (42kb,D)

Link back to: arXiv, form interface, contact.