Garbled RAM Revisited, Part I

The notion of garbled random-access machines (garbled RAMs) was introduced by Lu and Ostrovsky (Eurocrypt 2013). It can be seen as an analogue of Yao’s garbled circuits, that allows a user to garble a RAM program directly, without performing the expensive step of converting it into a circuit. In particular, the size of the garbled program and the time it takes to create and evaluate it are only proportional to its running time on a RAM rather than its circuit size. Lu and Ostrovsky gave a candidate construction of this primitive based on pseudo-random functions (PRFs). The starting point of this work is a subtle yet dicult-to-overco me issue with the Lu-Ostrovsky construction, that prevents a proof of security from going through. Specically, the construction requires a complex \circular" use of Yao garbled circuits and PRFs. As our main result, we show how to remove this circularity and get a provably secure solution using identity-based encryption (IBE). We also abstract out, simplify and generalize the main ideas behind the Lu-Ostrovsky construction, making them easier to understand and analyze. In a companion work to ours (Part II), Lu and Ostrovsky show an alternative approach to solving the circularity problem. 1 Their approach relies only on the existence of one-way functions, at the price of higher overhead. Specically, our construction has overhead poly( )polylog(n) (with the security parameter and n the data size), while the Lu-Ostrovsky approach can achieve overhead poly( )n " for any constant " > 0. It remains as an open problem to achieve an overhead of poly( )polylog(n) assuming only the existence of one-way functions.