Verifiable Matrix Multiplication

It is a cryptographic scheme that enables a cloud provider to compute the multiplication of a given vector with the matrix and to prove to a user that the output is actually correct. The goal of the solution is to render the verification of the proof as efficient as possible.

Security Primitive: 
Processing verifiability
Security Requirements Addressed: