Abstract:With the development of cloud computing, verifiable computation (VC) has attracted considerable attentions due to its importance. However, the existing VC schemes suffer from two substantial shortcomings that limit their usefulness: (i) they have to invest expensive computational tasks in the preprocessing stage, which has exceeded the available computation capacity of the client, and (ii) they do not support frequent updates, so that each update needs to perform the computation from scratch. To resolve these problems, we propose a novel primitive called verifiable outsourced computation with full delegation (FD-VC), which greatly reduces the computation cost of the client by delegating the preprocessing to the cloud. During this phase, the cloud cannot obtain any knowledge of the verification key. To the best of our knowledge, it is the first VC scheme not only supporting full delegation but also supporting dynamic update. The highlight of our scheme is that verification and update cost are constant and independent of the degree of the polynomial. Our scheme is provably correct and secure based on bilinear pairing and the hardness assumption of Bilinear Diffie-Hellman Exponent problem, and our analyses show that our scheme is very practical and suitable for the real world applications.

Publicly Verifiable Delegation of Matrix Operation

New Publicly Verifiable Computation for Batch Matrix Multiplication

EPVM: efficient and publicly verifiable computation for matrix multiplication with privacy preservation

EPP-DMM: An Efficient and Privacy-Protected Delegation Scheme for Matrix Multiplication

Md-Vc(Matrix): an Efficient Scheme for Publicly Verifiable Computation of Outsourced Matrix Multiplication

Securely Verifiable Outsourcing Schemes of Matrix Calculation.

Verifiable Outsourced Computation with Full Delegation.

Enabling efficient publicly verifiable outsourcing computation for matrix multiplication

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

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

Verifiable and secure outsourcing of matrix calculation and its application

Verifiably Private Outsourcing Scheme for Multivariate Polynomial Evaluation

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

Verifiable Evaluation of Private Polynomials

Cloud Outsourcing Computing Security Protocol of Matrix Multiplication Computation Based on Similarity Transformation

Publicly Verifiable Delegation of Set Intersection

Secure Publicly Verifiable Computation With Polynomial Commitment In Cloud Computing

Private Outsourcing of Polynomial Evaluation and Matrix Multiplication using Multilinear Maps

Practical Verifiable Computation on Encrypted Data

Practical and Secure Outsourcing of Linear Algebra in the Cloud.

VEPP:A Verifiable, Highly Efficient and Privacy-Preserving Protocol for Outsourcing Large Matrix Multiplication