Abstract
In this chapter we provide formal definitions for verifiable computing schemes and their relevant properties. More precisely, first, we define verifiable computing schemes in general and privately verifiable computing schemes and publicly verifiable computing schemes in particular. Then, we provide a definition for weak and adaptive security. Following, we discuss the different types of privacy protection, i.e. input privacy w.r.t. the server, input privacy w.r.t. the verifier, output privacy w.r.t. the server, output privacy w.r.t. the verifier and give a definition for each property. Finally, we define efficiency distinguishing between efficiency and amortized efficiency. Many verifiable computing schemes presented in the subsequent chapters are constructed with the help of cryptographic primitives that come with additional definitions for the underlying hardness assumptions. However, since these are very specific to the individual solutions they are presented in Appendix A.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
S. Benabbas, R. Gennaro, Y. Vahlis, Verifiable delegation of computation over large datasets, in Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Proceedings, Santa Barbara, CA, 14–18 August 2011, pp. 111–131
R. Gennaro, C. Gentry, B. Parno, Non-interactive verifiable computing: outsourcing computation to untrusted workers, in Advances in Cryptology - CRYPTO 2010, 30th Annual Cryptology Conference, Proceedings, Santa Barbara, CA, 15–19 August 2010, pp. 465–482
B. Parno, M. Raykova, V. Vaikuntanathan, How to delegate and verify in public: verifiable computation from attribute-based encryption, in Theory of Cryptography - 9th Theory of Cryptography Conference, TCC 2012, Proceedings, Taormina, Sicily, 19–21 March 2012, pp. 422–439
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 The Author(s)
About this chapter
Cite this chapter
Demirel, D., Schabhüser, L., Buchmann, J. (2017). Preliminaries. In: Privately and Publicly Verifiable Computing Techniques. SpringerBriefs in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-53798-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-53798-6_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-53797-9
Online ISBN: 978-3-319-53798-6
eBook Packages: Computer ScienceComputer Science (R0)