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.

Efficient And Verifiable Outsourcing Scheme Of Sequence Comparisons

A Compressive Integrity Auditing Protocol for Secure Cloud Storage

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

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

Verifiable Outsourcing Algorithms For Modular Exponentiations With Improved Checkability

Outsourcing Large-Scale Quadratic Programming to A Public Cloud

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

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

Efficient Algorithm for Secure Outsourcing of Modular Exponentiation with Single Server

Proof-Carrying Cloud Computation: the Case of Convex Optimization

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

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

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

Secure outsourced calculations with homomorphic encryption

An Efficient and Secure Outsourcing Algorithm for Bilinear Pairing Computation

CASO: Cost-Aware Secure Outsourcing of General Computational Problems

Verifiable Quantum Homomorphic Encryption Based on Garbled Evaluation

Secure Bilinear Pairing Outsourcing Made More Efficient and Flexible.

Publicly Verifiable Boolean Query over Outsourced Encrypted Data.

Efficiency Optimizations on Yao's Garbled Circuits and Their Practical Applications

Practical Secure Computation Outsourcing