Paper 2023/1466

On Black-Box Verifiable Outsourcing

Amit Agarwal, University of Illinois Urbana-Champaign, USA
Navid Alamati, Visa Research, USA
Dakshita Khurana, University of Illinois Urbana-Champaign, USA
Srinivasan Raghuraman, Visa Research and MIT, USA
Peter Rindal, Visa Research, USA

We study verifiable outsourcing of computation in a model where the verifier has black-box access to the function being computed. We introduce the problem of oracle-aided batch verification of computation (OBVC) for a function class $\mathcal{F}$. This allows a verifier to efficiently verify the correctness of any $f \in \mathcal{F}$ evaluated on a batch of $n$ instances $x_1, \ldots, x_n$, while only making $\lambda$ calls to an oracle for $f$ (along with $O(n \lambda)$ calls to low-complexity helper oracles), for security parameter $\lambda$. We obtain the following positive and negative results: 1.) We build OBVC protocols for the class of all functions that admit random-self-reductions. Some of our protocols rely on homomorphic encryption schemes. 2.) We show that there cannot exist OBVC schemes for the class of all functions mapping $\lambda$-bit inputs to $\lambda$-bit outputs, for any $n = \mathsf{poly}(\lambda)$.

Note: Full version of the TCC 2023 paper.

Available format(s)
Publication info
A major revision of an IACR publication in TCC 2023
verifiable computationblackbox verificationrandom self reduction
Contact author(s)
amita2 @ illinois edu
nalamati @ visa com
dakshita @ illinois edu
srini131293 @ gmail com
perindal @ visa com
2023-09-27: approved
2023-09-24: received
See all versions
Short URL
Creative Commons Attribution-NonCommercial


      author = {Amit Agarwal and Navid Alamati and Dakshita Khurana and Srinivasan Raghuraman and Peter Rindal},
      title = {On Black-Box Verifiable Outsourcing},
      howpublished = {Cryptology ePrint Archive, Paper 2023/1466},
      year = {2023},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.