As the cloud computing paradigm has gained prominence, the need for  verifiable computation  has grown urgent. Protocols for verifiable computation enable a weak  client to outsource difficult computations to a powerful, but untrusted, server. These protocols provide the client with a (probabilistic)  guarantee  that the server performed the requested computations correctly, without requiring the client to perform the computations herself.Engineering and Applied Science