Cryptology ePrint Archive: Report 2016/459
Non-Interactive RAM and Batch NP Delegation from any PIR
Zvika Brakerski and Justin Holmgren and Yael Kalai
Abstract: We present an adaptive and non-interactive protocol for verifying arbitrary efficient computations in fixed polynomial time. Our protocol is computationally sound and can be based on any computational PIR scheme, which in turn can be based on standard polynomial-time cryptographic assumptions (e.g. the worst case hardness of polynomial-factor approximation of short-vector lattice problems). In our protocol, the prover and the verifier do not need to interact at all: The verifier sets up a public key ahead of time, and this key can be used by any prover to prove arbitrary statements in a completely adaptive manner. Verification is done using a secret verification key, and soundness relies on this key not being known to the prover. Our protocol further allows to prove statements about computations of arbitrary RAM machines.
Previous works either relied on knowledge assumptions, or could only offer non-adaptive two-message protocols (where the first message could not be re-used), and required either obfuscation-based assumptions or super-polynomial hardness assumptions.
We show that our techniques can also be applied to construct a new type of (non-adaptive) 2-message delegation protocols for batch NP statements. Specifically, we can simultaneously prove the membership of multiple instances in a given NP language, with communication complexity proportional to the length of a single witness.
Category / Keywords: public-key cryptography / Delegation, No-Signaling, Adaptive Soundness, RAM, Batch Protocols
Date: received 11 May 2016, last revised 8 Aug 2016
Contact author: holmgren at mit edu
Available format(s): PDF | BibTeX Citation
Version: 20160808:211852 (All versions of this report)
Short URL: ia.cr/2016/459
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]