Abstract:With the development of cloud computing, users are more inclined to outsource complex computing tasks to cloud servers with strong computing capacity, and the cloud returns the final calculation results. However, the cloud is not completely trustworthy, which may leak the data of user and even return incorrect calculations on purpose. Therefore, it is important to verify the results of computing tasks without revealing the privacy of the users. Among all the computing tasks, the polynomial calculation is widely used in information security, linear algebra, signal processing and other fields. Most existing polynomial-based verifiable computation schemes require that the input of the polynomial function must come from a single data source, which means that the data must be signed by a single user. However, the input of the polynomial may come from multiple users in the practical application. In order to solve this problem, the researchers have proposed some schemes for multi-source outsourced data, but these schemes have the common problem of low efficiency. To improve the efficiency, this paper proposes an efficient polynomial-based verifiable computation scheme on multi-source outsourced data. We optimize the polynomials using Horner's method to increase the speed of verification, in which the addition gate and the multiplication gate can be interleaved to represent the polynomial function. In order to adapt to this structure, we design the corresponding homomorphic verification tag, so that the input of the polynomial can come from multiple data sources. We prove the correctness and rationality of the scheme, and carry out numerical analysis and evaluation research to verify the efficiency of the scheme. The experimental indicate that data contributors can sign 1000 new data in merely 2 s, while the verification of a delegated polynomial function with a power of 100 requires only 18 ms. These results confirm that the proposed scheme is better than the existing scheme.

Fully Verifiable Algorithm for Secure Outsourcing of Bilinear Pairing in Cloud Computing

An Efficient and Secure Outsourcing Algorithm for Bilinear Pairing Computation

Secure Bilinear Pairing Outsourcing Made More Efficient and Flexible.

Noninteractive Verifiable Outsourcing Algorithm for Bilinear Pairing with Improved Checkability

Secure Outsourcing Algorithm for Bilinear Pairings without Pre-Computation

Secure Outsourcing Algorithms of Modular Exponentiations with Optimal Checkability Based on a Single Untrusted Cloud Server

Outsourcing Eigen-Decomposition and Singular Value Decomposition of Large Matrix to a Public Cloud

Outsourcing Large-Scale Quadratic Programming to A Public Cloud

Verifiable Outsourcing Algorithms For Modular Exponentiations With Improved Checkability

Proof-Carrying Cloud Computation: the Case of Convex Optimization

Secure and Verifiable Outsourcing Algorithm for Large-Scale Matrix Multiplication on Public Cloud Server

Blockchain-based system for secure outsourcing of bilinear pairings

Secure outsourced computation of the characteristic polynomial and eigenvalues of matrix

A rational and reliable model for outsourcing polynomial two-party computation

Privacy preserving, verifiable and efficient outsourcing algorithm for matrix multiplication to a malicious cloud server

Blockchain-based efficient verifiable outsourced attribute-based encryption in cloud

Efficient Algorithm for Secure Outsourcing of Modular Exponentiation with Single Server

Verifiable Outsourced Ciphertext-Policy Attribute-Based Encryption in Cloud Computing

An efficient polynomial-based verifiable computation scheme on multi-source outsourced data

Outsourcing Large-Scale Systems of Linear Matrix Equations in Cloud Computing.

Towards dependable and trustworthy outsourced computing: A comprehensive survey and tutorial