Is There an Oblivious RAM Lower Bound for Online Reads?

Mor Weiss, Daniel Wichs

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

Oblivious RAM (ORAM), introduced by Goldreich (STOC 1987) and Ostrovsky (STOC 1990), can be used to read and write to memory in a way that hides which locations are being accessed. The best known ORAM schemes have an O(log n) overhead per access, where n is the data size. The work of Goldreich and Ostrovsky (JACM 1996) gave a lower bound, showing that this is optimal for ORAM schemes that operate in a “balls and bins” model, where memory blocks can only be shuffled between different locations but not manipulated otherwise (and the server is used solely as remote storage). The lower bound even extends to weaker settings such as offline ORAM, where all of the accesses to be performed need to be specified ahead of time, and read-only ORAM, which only allows reads but not writes. But can we get lower bounds for general ORAM, beyond “balls and bins”? The work of Boyle and Naor (ITCS 2016) shows that this is unlikely in the offline setting. In particular, they construct an offline ORAM with o(log n) overhead assuming the existence of small sorting circuits. Although we do not have instantiations of the latter, ruling them out would require proving new circuit lower bounds. On the other hand, the recent work of Larsen and Nielsen (CRYPTO 2018) shows that there indeed is an Ω (log n) lower bound for general online ORAM. This still leaves the question open for online read-only ORAM or for read/write ORAM where we want very small overhead for the read operations. In this work, we show that a lower bound in these settings is also unlikely. In particular, our main result is a construction of online ORAM, in which the server is used solely as remote storage, where reads (but not writes) have an o(log n) overhead, assuming the existence of small sorting circuits as well as very good locally decodable codes (LDCs). Although we do not have instantiations of either of these with the required parameters, ruling them out is beyond current lower bounds.

Original languageEnglish
Article number18
JournalJournal of Cryptology
Volume34
Issue number3
DOIs
StatePublished - Jul 2021

Bibliographical note

Publisher Copyright:
© 2021, The Author(s), under exclusive licence to International Association for Cryptologic Research.

Funding

We thank the anonymous Journal of Cryptology reviewers for their comments, which helped us improve the paper. This research was supported by NSF Grants CNS-1314722, CNS-1413964, CNS-1750795 and the Alfred P. Sloan Research Fellowship. The first author was supported in part by The Eric and Wendy Schmidt Postdoctoral Grant for Women in Mathematical and Computing Sciences.

FundersFunder number
National Science FoundationCNS-1750795, CNS-1413964, CNS-1314722
Alfred P. Sloan Foundation

    Fingerprint

    Dive into the research topics of 'Is There an Oblivious RAM Lower Bound for Online Reads?'. Together they form a unique fingerprint.

    Cite this