Public delegation & verifiability of matrix multiplication to a malicious cloud server

Abstract

The rapid development of cloud computing services and expansion of mobile computing devices have made computation outsourcing a promising solution for execution of extensive computation. In this framework, a computationally weak client outsources its large computation load to a cloud server. However, outsourcing of data and computation to a cloud server brings many security and privacy concern. In this paper, we are addressing matrix multiplication (MM) problem, because MM is a computation-intensive problem and useful in many domains. In the proposed MM outsourcing algorithm, the client outsources input dataset to the cloud server without revealing to them both the input dataset and the output. The algorithm is a non-interactive solution to the client, it sends only input and receives output along with the proof of verification from the cloud server. Further, this work extends the definition of verifiable computation to public verifiable computation, which allows participating worker (not only the client) to verify the correctness of the result computed on the cloud server. The analytical analysis shows that the algorithm is successfully meeting the challenges of correctness, security, verifiability, and efficiency. The practical evaluation validates the proposed algorithm. The result analysis shows that the algorithm is highly efficient and endorses the practical usability of the algorithm.