Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Interactive Verifiable Polynomial Evaluation   Cloud computing platforms have created the possibility for computationally
limited users to delegate demanding tasks to strong but untrusted servers.
Verifiable computing algorithms help build trust in such interactions by
enabling the server to provide a proof of correctness of his results which the
user can check very efficiently. In this paper, we present a doubly-efficient
interactive algorithm for verifiable polynomial evaluation. Unlike the
mainstream literature on verifiable computing, the soundness of our algorithm
is information-theoretic and cannot be broken by a computationally unbounded
server. By relying on basic properties of error correcting codes, our algorithm
enforces a dishonest server to provide false results to problems which become
progressively easier to verify. After roughly $\log d$ rounds, the user can
verify the response of the server against a look-up table that has been
pre-computed during an initialization phase. For a polynomial of degree $d$, we
achieve a user complexity of $O(d^{\epsilon})$, a server complexity of
$O(d^{1+\epsilon})$, a round complexity of $O(\log d)$ and an initialization
complexity of $O(d^{1+\epsilon})$.

36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom