Abstract: In the cloud computing paradigm, clients outsource computation to professional service providers. However, service providers may be error-prone or otherwise not entirely trustworthy, and therefore oftentimes the returned results need to be thoroughly verified. As such, the problem of verifiable computation has been motivating a rapidly-growing body of research, yielding increasingly-efficient systems, which currently achieve nearly-practical verifiable computation. Most recent solutions firstly transform the computation task into an arithmetic circuit, and then based on this circuit they design a verification protocol using argument systems.
Publication Year: 2015
Publication Date: 2015-04-14
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot