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.

Noninteractive Verifiable Outsourcing Algorithm for Bilinear Pairing with Improved Checkability

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.

Secure Outsourcing Algorithm for Bilinear Pairings without Pre-Computation

Verifiable Outsourcing Algorithms For Modular Exponentiations With Improved Checkability

Blockchain-based system for secure outsourcing of bilinear pairings

Efficient Algorithm for Secure Outsourcing of Modular Exponentiation with Single Server

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

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

Identity-Based Encryption with Verifiable Outsourced Revocation

An Identity-Based Strong Designated Verifier Dual Signature Scheme with Constrained-Delegatability

Secure and Efficient Handover Authentication Based on Bilinear Pairing Functions

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

Private Outsourcing of Polynomial Evaluation and Matrix Multiplication using Multilinear Maps

Certificateless Two-Party Authenticated Key Agreement Protocol Based on Bilinear Pairings

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

Verifiable inner product computation on outsourced database for authenticated multi-user data sharing

Application of Bilinear Pairing in Cryptography

A Novel Threshold Distributed Authentication Scheme Using Bilinear Pairings

Distributed Algorithms that Solve Boolean Equations with Local and Differential Privacies