基于格密码的矩阵乘可验证计算方案

A Lattice-Based Verifiable Computation Schemefor Matrix Multiplication

云计算近年来快速发展,其可信性成为了其能否广泛应用的重要决定因素,而可验证计算协议可以为用户提供以较小计算开销对服务器端返回的结果进行验证的途径。总结分析现有的针对大尺度矩阵乘的应用场景的可验证外包计算协议。基于现有的同态加密算法,构建一个用于外包计算矩阵乘的具有隐私保护的可验证外包计算协议。与国内外现有的相关协议相比,具有更低的本地计算开销。

With the great development of cloud computing,the trustworthiness has become a critical factor for the popularity of cloud computing. Verifiable computation gives the client a method to check the correctness of the result returned from the server with a smaller overhead. This paper covers the verifiable computation scheme for large-scale matrix multiplication. Based on an existing homomorphic encryption scheme,we construct a privacy-preserving verifiable computation scheme for large-scale matrix multiplication. Compared with the existing scheme,our scheme has smaller local overhead.