Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Private Outsourcing of Polynomial Evaluation and Matrix Multiplication
  using Multilinear Maps   {\em Verifiable computation} (VC) allows a computationally weak client to
outsource the evaluation of a function on many inputs to a powerful but
untrusted server. The client invests a large amount of off-line computation and
gives an encoding of its function to the server. The server returns both an
evaluation of the function on the client's input and a proof such that the
client can verify the evaluation using substantially less effort than doing the
evaluation on its own. We consider how to privately outsource computations
using {\em privacy preserving} VC schemes whose executions reveal no
information on the client's input or function to the server. We construct VC
schemes with {\em input privacy} for univariate polynomial evaluation and
matrix multiplication and then extend them such that the {\em function privacy}
is also achieved. Our tool is the recently developed {mutilinear maps}. The
proposed VC schemes can be used in outsourcing {private information retrieval
(PIR)}.

32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph