Publicly verifiable linear algebra delegated computation system

Abstract

The invention discloses a publicly verifiable linear algebra entrusted calculation system, which includes: an entrusted module and a third-party verification module. Through the above method, the present invention discloses a verifiable linear algebra entrusted computing system, which expands the private verifiability of entrusted computing to public verifiability, so that not only the entruster has the ability to verify, but any third party can efficiently verify the results In this way, it basically solves the detection of occasional errors in cloud server calculations and malicious deceptions of cloud computing service providers in cloud computing, and uses quadruple matrix multiplication to indirectly realize the matrix inversion scheme. In addition, it has closed performance Pseudo-random function to achieve verification efficiency.

Description

technical field [0001] The invention relates to the field of network systems, in particular to a publicly verifiable linear algebra entrusted computing system. Background technique [0002] With the development of cloud computing and the popularity of mobile devices, it is becoming more and more important for customers to entrust heavy computing tasks to servers with powerful computing capabilities. [0003] However, the security of cloud servers has become a key technology to be solved urgently in the development of cloud computing. The security here mainly refers to the fact that customers (or even other users) can verify the correctness of the calculation results performed by the server, that is, Verifiability, and the calculated data is kept secret from the server, that is, confidentiality. [0004] The concept of "public verifiability" was proposed by Bryan Parno et al., but there is currently no system that can study the public verifiability of linear algebra delegate...

AI Technical Summary

Problems solved by technology

[0004] The concept of "public verifiability" was proposed by Bryan Parno et al., but there is currently no system that can study the public verifiability of linear algebra delegated calculations, that is, it is not yet possible for any third party to be able to perform the calculation without knowing the content of the delegated calculations. , only use the public verification information provided by the entrusting party to verify the correctness of the results returned by the server, so people need a more open and verifiable linear algebra entrusted computing system that meets the requirements

Images