Batch Verifiable Computation with Public Verifiability for Outsourcing Polynomials and Matrix Computations
Batch Verifiable Computation with Public Verifiability for Outsourcing Polynomials and Matrix Computations
复制标题
DOI：
10.1007/978-3-319-40253-6_18
复制
发表时间：
2016-07
期刊：
影响因子：
--
通讯作者：
Yujuan Sun;Yu Yu-Yu;Xiangxue Li;Kai Zhang;Hai-feng Qian;Yuan Zhou
中科院分区：
文献类型：
--
作者：
Yujuan Sun;Yu Yu-Yu;Xiangxue Li;Kai Zhang;Hai-feng Qian;Yuan Zhou
在可实现计算(VC)方案中，客户端请求服务器执行一些外包计算，服务器返回结果作为响应。结果可以私下或公开核实。Fiore和Gennaro(CCS 2012)构造了用于安全外包多项式和矩阵计算的公开可验证协议，批处理可验证计算(BVC)方案允许客户在同一输入上外包多个函数，从而在不牺牲验证效率的情况下大大减少了服务器端的存储开销。然而，现有的BVC方案只支持私有可验证性(这只允许外包计算的客户来验证结果)。本文提出了具有公开可验证性的BVC方案，即任何第三方都可以有效地验证服务器返回的结果，而不需要访问密钥。要委派功能，我们的BVC方案只需要功能本身所需存储大小的两倍的云存储。我们还扩展了我们的计划，以满足更少的云存储开销。
In averifiable computation(VC) scheme, a client asks a server to perform some outsourced computations, and the latter returns the results as its response. The results can be verified privately or publicly. Fiore and Gennaro (CCS 2012) constructed publicly verifiable protocols for secure outsourcing polynomials and matrix computations.Batch verifiable computation(BVC) schemes allow a client to outsource multiple functions on a same input, and thus much reduce the storage overhead at the server side without sacrificing the efficiency of verification. However, existing BVC schemes only support private verifiability (which only allows the client who outsources the computations to verify the results). In this paper, we propose BVC schemes with public verifiability, i.e., any third party can efficiently verify the results returned by the server without accessing secret key. To delegatesfunctions, our BVC schemes require a cloud storage of onlytimes the storage size needed by thesfunctions themselves. We extend our schemes to meet less cloud storage overhead as well.