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.

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

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

Efficient computation outsourcing for inverting a class of homomorphic functions

Verifiably Private Outsourcing Scheme for Multivariate Polynomial Evaluation

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

Verifiable Outsourcing Algorithms For Modular Exponentiations With Improved Checkability

Efficient Fair Conditional Payments for Outsourcing Computations

Outsourcing Large-Scale Quadratic Programming to A Public Cloud

An Improved Algorithm for Secure Outsourcing of Modular Exponentiations

Improved Algorithm for Secure Outsourcing of Modular Exponentiations with High Checkability

Secure Publicly Verifiable Computation With Polynomial Commitment In Cloud Computing

Blockchain-based Trustless Pair Payment Protocol for Verifiable Confidential Outsourcing Computation

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

A secure and efficient outsourced computation on data sharing scheme for privacy computing

Practical Secure Computation Outsourcing

A New Efficient Algorithm for Secure Outsourcing of Modular Exponentiations.

Securely Outsourcing Exponentiations With Single Untrusted Program For Cloud Storage

Efficient Algorithm for Secure Outsourcing of Modular Exponentiation with Single Server

Improved Outsourced Private Set Intersection Protocol Based on Polynomial Interpolation

Proof-Carrying Cloud Computation: the Case of Convex Optimization

Secure fully-verifiable outsourcing of modular exponentiation: two servers check each other