Paper 2015/1082

Delegating RAM Computations with Adaptive Soundness and Privacy

Prabhanjan Ananth, Yu-Chi Chen, Kai-Min Chung, Huijia Lin, and Wei-Kai Lin

Abstract

We consider the problem of delegating RAM computations over persistent databases. A user wishes to delegate a sequence of computations over a database to a server, where each computation may read and modify the database and the modifications persist between computations. Delegating RAM computations is important as it has the distinct feature that the run-time of computations maybe sub-linear in the size of the database. We present the first RAM delegation scheme that provide both soundness and privacy guarantees in the adaptive setting, where the sequence of delegated RAM programs are chosen adaptively, depending potentially on the encodings of the database and previously chosen programs. Prior works either achieved only adaptive soundness without privacy [Kalai and Paneth, ePrint'15], or only security in the selective setting where all RAM programs are chosen statically [Chen et al. ITCS'16, Canetti and Holmgren ITCS'16]. Our scheme assumes the existence of indistinguishability obfuscation ($\iO$) for circuits and the decisional Diffie-Hellman (DDH) assumption. However, our techniques are quite general and in particular, might be applicable even in settings where iO is not used. We provide a "security lifting technique" that "lifts" any proof of selective security satisfying certain special properties into a proof of adaptive security, for arbitrary cryptographic schemes. We then apply this technique to the delegation scheme of Chen et al. and its selective security proof, obtaining that their scheme is essentially already adaptively secure. Because of the general approach, we can also easily extend to delegating parallel RAM (PRAM) computations. We believe that the security lifting technique can potentially find other applications and is of independent interest.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. Minor revision. TCC 2016-B
Keywords
delegationRAM computationadaptive securitysecurity liftinghistroy-less accumulators
Contact author(s)
kmchung @ iis sinica edu tw
rachel lin @ cs ucsb edu
prabhanjan @ cs ucla edu
wycchen @ iis sinica edu tw
wklin @ iis sinica edu tw
History
2016-10-18: revised
2015-11-09: received
See all versions
Short URL
https://ia.cr/2015/1082
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2015/1082,
      author = {Prabhanjan Ananth and Yu-Chi Chen and Kai-Min Chung and Huijia Lin and Wei-Kai Lin},
      title = {Delegating RAM Computations with Adaptive Soundness and Privacy},
      howpublished = {Cryptology ePrint Archive, Paper 2015/1082},
      year = {2015},
      note = {\url{https://eprint.iacr.org/2015/1082}},
      url = {https://eprint.iacr.org/2015/1082}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.